Conference Talks

• INFOCOM'24
  2024,Vancouver, Canda. SyPer: Synthesis of Perfectly Resilient Local Fast Re-Routing Rules for Highly Dependable Networks.
  
  
• TASE'22
  2022, Cluj-Napoca, Romania. AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences.
  
  
• NDN'22
  2022, Reykjavik, Iceland. Automatic Verification of MPLS Networks. Invited talk.
  
  
• TACAS'21
  2021, Virtual conference (video presentation). Resilient Capacity-Aware Routing
  
  
• RP'21
  2021, Virtual conference (online presentation). Improvements in Unfolding of Colored Petri Nets
  
  
• Petri Nets'21
  2021, Virtual conference (video teaser). Automatic Synthesis of Transiently Correct Network Updates via Petri Games .
  
  
• Petri Nets'20
  2020, Virtual conference (video teaser). On-the-Fly Synthesis for Strictly Alternating Games .
  
  
• CoNEXT'18
  2018, Heraklion, Greece. P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures.
  
  
• Petri Nets'17
  2017, Zaragoza, Spain. Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation. Best paper award.
  
  
• WATA'16
  2016, Aalborg, Denmark. Weighted Automata: Theory and Applications. Invited talk.
  
  
• Cassting'16
  2016, Eindhoven, Netherlads. Floor Heating Case Study.
  
  
• NWPT'15
  2015, Reykjavik, Iceland. Techniques and Tools for the Analysis of Timed Workflows. Invited talk.
  
  
• Non-Zero-Sum-Games and Control
  2015, Dagstuhl, Germany. Home Automation Synthesis: From Toy Examples to Realistic Scenarios
  
  
• Petri Nets'14
  2014, Tunis, Tunisia. Soundness of Timed-Arc Workflow Nets
  
  
• SSV'12
  2012, Sydney, Australia. Two talks.
  
  
• MEMICS'12
  2012, Znojmo, Czech Republic. Participation.
  
  
• TACAS'12
  2012, Tallinn, Estonia. TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
  
  
• FIT'12
  2012, Tallinn, Estonia. Beyond Modal Transition Systems. Invited talk.
  
  
• ICTAC'11
  2011, Mabalingwe Nature Resort, South Africa. Tutorial on Timed-Arc Petri Nets.
  
  
• SOFSEM'11
  2011, Novy Smokovec, Slovak Republic. Invited talk.
  
  
• EPEW'10
  2010, Bertinoro, Italy. Participation.
  
  
• CompSysTech'10
  2010, Sofia, Bulgaria.
  
  
• ICFEM'09
  2009, Rio de Janeiro , Brazil.
  
  
• ATVA'09
  2009, Macao SAR, China.
  
  
• ICTAC'09
  2009, Kuala Lumpur, Malaysia.
  
  
• STTI'09
  2009, Prague, Czech Republic. Invited talk.
  
  
• FORMATS'08
  2008, Saint Malo, France. Invited talk.
  
  
• Algorithmic-Logical Theory of Infinite Structures
  2007, Dagstuhl, Germany.
  
  
• ATVA'06
  2006, Beijing, China.
  
  
• CSL'06
  2006, Szeged, Hungary.
  
  
• FOSSACS'06
  2006, Vienna, Austria. Participation.
  
  
• FSTTCS'05
  2005, Hyderabad, India.
  
  
• CONCUR'05
  2005, San Francisco, California, USA. Organization of INFINITY'05
  
  
• ICATPN'05
  2005, Miami, Florida, USA.
  
  
• STTI'05
  2005, Prague, Czech Republic. Invited talk.
  
  
• TCS'04
  2004, Toulouse, France.
  
  
• WITS'04
  2004, Barcelona, Spain.
  
  
• INFINITY'03
  2003, Marseille, France.
  
  
• DLT'02
  2002, Kyoto, Japan.
  
  
• INFINITY'02 (short presentation - ps,pdf)
  2002, Brno, Czech Republic.
  
  
• CONCUR'02
  2002, Brno, Czech Republic.
  
  
• ICALP'02
  2002, Malaga, Spain.
  
  
• FOSSACS'02
  2002, Grenoble, France.
  
  
• STACS'02
  2002, Juan les Pins, France.
  
  
• FSTTCS'01
  2001, Bangalore, India.
  
  
• CONCUR'01
  2001, Aalborg, Denmark.
  
  
• EXPRESS'00
  2000, State College, Pennsylvania, USA.
  
  
• MFCS'00
  2000, Bratislava, Slovak Republic.
  
  
• ICALP'99
  1999, Prague, Czech Republic. Participation.
  
  
• SOFSEM'99
  1999, Milovy, Czech Republic.
  
  
• MFCS'98
  1998, Brno, Czech Republic. Best student paper award.
  
  

Other Talks

• AI and Reinforcement Learning for Development of Intelligent Water Management Systems
  31. 10. 2024, Digital Tech Summit, Copenhagen, Denmark.
  
  
• Learning Optimal Control Strategies for Storm Water Detention Ponds
  9. 11. 2023, Digital Tech Summit, Copenhagen, Denmark.
  
  
• Reduction of Energy Consumption for Domestic Heating
  9. 11. 2023, Digital Tech Summit, Copenhagen, Denmark.
  
  
• Verification and Modelling Techniques for Timed-Arc Petri Nets
  26. 3. 2021, Siemens Corporate Technology, USA.
  
  
• CAAL: Concurrency Workbench, Aalborg Edition
  27. 10. 2015, CASSTING Workshop, Cachan, France.
  
  
• Soundness of Timed-Arc Workflow Nets
  30. 10. 2014, CASSTING Workshop, RWTH Aachen, Germany.
  
  
• A Forward Reachability Algorithm for Bounded Timed-Arc Petri Nets
  26. 9. 2014, IDEA4CPS Workshop, Aalborg, Denmark.
  
  
• Dual-Priced Parametric Modal Transition Systems
  18. 11. 2013, Copenhagen Meeting on Variability Analysis, ITU, Copenhagen, Denmark.
  
  
• Local Model Checking of Weighted CTL
  31. 10. 2013, MT-LAB, ITU, Copenhagen, Denmark.
  
  
• TAPAAL Tool Demo
  21. 11. 2011, UNU-IIST, Macao SAR, China.
  
  
• Specification Theories of Modal Transition Systems
  10. 11. 2011, UNU-IIST, Macao SAR, China.
  
  
• Multi-Weighted Energy Games and Modal Specifications
  24. 10. 2011, DTU, Copenhagen, Denmark.
  
  
• Model Checking of Visibly Pushdown Automata
  19. 3. 2009, IT University, Copenhagen, Denmark.
  
  
• Translations between Timed Automata and Petri Nets with Time
  18. 12. 2007, Faculty of Informatics, Masaryk University, Brno, Czech Republic.
  
  
• Timed-Arc Petri Nets vs. Networks of Timed Automata
  23. 11. 2007, Faculty of Informatics, Complutense University of Madrid, Spain.
  
  
• Can UPPAAL Verify a Petri Net Extended with Time Features?
  24. 10. 2007, Seminar Talk, Aalborg Univesity, Denmark.
  
  
• Verification of Recursive Ping-Pong Protocols
  20. 12. 2006, Faculty of Informatics, Masaryk Univesity, Brno, Czech Republic.
  
  
• Verification Techniques for Visibly Pushdown Automata
  15. 12. 2006, Faculty of Informatics, Masaryk University, Brno, Czech Republic.
  
  
• Verification Techniques for Visibly Pushdown Automata
  29. 11. 2006, BRICS Seminars Series, Aalborg, Denmark.
  
  
• Distributed Timed-Arc Petri Nets
  14. 11. 2002, BRICS Seminars Series, Aalborg, Denmark.
  
  
• Bisimilarity Checking of Simple Process Algebras: Complexity Lower Bounds
  17. 6. 2002, Oberseminar, Freiburg, Germany.
  
  
• Complexity of Bisimilarity Problems for Simple Process Algebras
  14. 2. 2002, BRICS Seminars Series, Aalborg, Denmark.
  
  
• Interleaving and Independence Models in Concurrency (qualifying exam)
  24. 1. 2001, Basic Research in Computer Science, Aarhus, Denmark.
  
  
• Pattern Equations and Equations with Stuttering
  19. 11. 1999, Basic Research in Computer Science, Aarhus, Denmark.
  
  
• Process Theory of Commutative Context-Free Grammars
  24. 3. 1999, Faculty of Informatics, Masaryk University, Brno, Czech Republic.
  
  
• Applications of Semigroups in Basic Parallel Processes
  19. 11. 1998, Faculty of Science, Dept. of Mathematics, Masaryk University, Brno, Czech Republic.
  
  
• Context-Free Process Algebras Extended with Deadlocks
  5. 3. 1998, Faculty of Informatics, Masaryk University, Brno, Czech Republic.