Jirí Srba (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

51 Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba: TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS 2012: 492-497

46 Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba: opaal: A Lattice Model Checker. NASA Formal Methods 2011: 487-493

40 Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba: TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. ATVA 2009: 84-89

38 Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba: An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. ICFEM 2009: 698-716

Selection of 4 from 52 records - Jirí Srba has 38 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

51		Alexandre David, Lasse Jacobsen, Morten Jacobsen, Kenneth Yrke Jørgensen, Mikael H. Møller, Jirí Srba: TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets. TACAS 2012: 492-497
46		Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba: opaal: A Lattice Model Checker. NASA Formal Methods 2011: 487-493
40		Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba: TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri Nets. ATVA 2009: 84-89
38		Joakim Byg, Kenneth Yrke Jørgensen, Jirí Srba: An Efficient Translation of Timed-Arc Petri Nets to Networks of Timed Automata. ICFEM 2009: 698-716