Talks
Neural Word Embeddings for Software Requirements, NLPaSE, Taipei, Taiwan, December 2021 (virtual event due to Covid-19)
Sector Classification for Crowd-Based Software Requirements, ACM SERI, IIT Ropar, India, July 2021 (virtual event due to Covid-19)
Sector Classification for Crowd-Based Software Requirements, SAC, Gwangju, South Korea, March 2021 (virtual event due to Covid-19)
A Generalized Semantic Filter for Glossary Term Extraction from Large-Sized Software Requirements, ISEC, Bhubaneswar, India, February 2021 (virtual event due to Covid-19)
Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirements, SERI, IIIT Hyderabad, India, July 2020 (virtual event due to Covid-19)
Automatic Word Embeddings-Based Glossary Term Extraction from Large-Sized Software Requirements, REFSQ, Pisa, Italy, June 2020 (virtual event due to Covid-19)
Machine Learning for Software Requirements, Fourth Paradigm Conference, IISER Bhopal, India, January 2020
The Linear Time-Branching Time Spectrum of Equivalences for Stochastic Systems with Non-determinism, ICTAC, Hammamet, Tunisia, November 2019
Revisiting Trace Equivalences For Markov Automata, FACS, CWI Amsterdam, The Netherlands, October 2019
Stuttering for Markov Automata, TASE, Guilin, China, July 2019
Non-Bisimulation Based Behavioral Relations for Markov Automata, FORMATS, Beijing, China, September 2018
Trace Relations and Logical Preservation for Markov Automata , FORMATS, Beijing, China, September 2018
Trace Relations and Logical Preservation for Continuous-Time Markov Decision Processes, ICTAC, Hanoi, Vietnam, October 2017
Interactive Markovian Equivalence, EPEW, Berlin, Germany, September 2017
Analysis of Markov Models via Generating Functions, CINA Workshop, Civitanova, Italy, January 2016
Probabilistic Model Checking, Introductory Seminar, Florence, Italy, June 2015
Reduction Techniques for Nondeterministic and Probabilistic Systems, RWTH, Aachen, Germany, January 2015
Layered Reduction for Abstract Probabilistic Automata, ACSD, Tunis, Tunisia, June 2014
Layered Reduction for Modal Specification Theories, FACS, Nanchang, China, October 2013
A Two Step Perspective for Kripke Structure Reduction, SOFSEM, Spindleruv Mlyn, Czech Republic, January 2013
Weighted Probabilistic Equivalence Preserves omega-Regular Properties, MMB/DFT, Kaiserslautern, Germany, March 2012
State Space Minimization of Markov Chains, Bad Neuenahr, Germany, November 2011
Weighted Lumpability on Markov Chains, PSI, Novosibirsk, Akademgorodok, Russia, June 2011
Weighted Lumpability on Markov Chains, ROCKS, Saarbrücken, Germany, March 2011