Jiri Srba

Presentations
 

Conference Talks

  • 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

  • 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.

 
 
 

Last modified: 2011-01-27 by Jiri Srba.            Back to my homepage