2018

• A Distributed Fixed-Point Algorithm for Extended Dependency Graphs

  DALSGAARD Andreas E. ENEVOLDSEN Soren FOGH Peter JENSEN Lasse S. JENSEN Peter G. JEPSEN Tobias S. KAUFMANN Isabella LARSEN Kim G. NIELSEN Soren M. OLESEN Mads Chr. PASTVA Samuel SRBA Jiří

  Article in Periodical

  Fundamenta Informaticae, year: 2018, volume: 161, edition: 4, DOI

• Analytical Solution for Long Battery Lifetime Prediction in Nonadaptive Systems

  IVANOV Dmitry LARSEN Kim G. SCHUPP Sibylle SRBA Jiří

  Article in Proceedings

  Proceedings of the 15th International Conference on Quantitative Evaluation of SysTems (QEST'18), year: 2018

• Discrete and Continuous Strategies for Timed-Arc Petri Net Games

  JENSEN Peter G. LARSEN Kim G. SRBA Jiří

  Article in Periodical

  International Journal on Software Tools for Technology Transfer (STTT), year: 2018, volume: 20, edition: 5, DOI

• MCC'2017 - The Seventh Model Checking Contest

  KORDON F. GARAVEL H. HILLAH L.-M. PAVIOT-ADET E. JEZEQUEL L. HULIN-HUBARD F. AMPARORE E.G. BECCUTI M. BERTOMIEU B. EVRARD H. JENSEN P. LE BOTLAN D. LIEBKE T. MEIJER J. SRBA Jiří THIERRY-MIEG Y. POL J. van de WOLF K.

  Article in Proceedings

  Transactions on Petri Nets and Other Models of Concurrency XIII, year: 2018

• Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks

  SCHMID Stefan SRBA Jiří

  Article in Proceedings

  IEEE International Conference on Computer Communications (INFOCOM'18), year: 2018

• P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures

  JENSEN Jesper S. KROEGH Troels B. MADSEN Jonas S. SCHMID Stefan SRBA Jiří THORGERSEN Marc T.

  Article in Proceedings

  Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (CoNEXT'18), year: 2018

• Simplification of CTL Formulae for Efficient Model Checking of Petri Nets

  BOENNELAND F.M. DYHR J. JENSEN P.G. JOHANNSEN M. SRBA Jiří

  Article in Proceedings

  Proceedings of the 39th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets'18), year: 2018

• Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems

  BOENNELAND Frederik M. JENSEN Peter G. LARSEN Kim G. MUNIZ Marco SRBA Jiří

  Article in Proceedings

  Proceedings of the 30th International Conference on Computer Aided Verification (CAV'18), year: 2018

2017

• Extended Dependency Graphs and Efficient Distributed Fixed-Point Computation

  DALSGAARD Andreas E. ENEVOLDSEN Soren FOGH Peter JENSEN Lasse S. JEPSEN Tobias S. KAUFMANN Isabella LARSEN Kim G. NIELSEN Soren M. OLESEN Mads Chr. PASTVA Samuel SRBA Jiří

  Article in Proceedings

  Petri Nets 2017, year: 2017

• PTrie: Data Structure for Compressing and Storing Sets via Prefix Sharing

  JENSEN Peter G. LARSEN Kim G. SRBA Jiří

  Article in Proceedings

  Proceedings of the 14th International Colloquium on Theoretical Aspects of Computing (ICTAC'17), year: 2017