Stefan Schwoon

Discret. Event Dyn. Syst., 2020

Active Prediction for Discrete Event Systems.

[BibT_eX]

[DOI]

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

Drawing the Line: Basin Boundaries in Safe Petri Nets.

[BibT_eX]

[DOI]

Stefan Haar

Loïc Paulevé

Proceedings of the Computational Methods in Systems Biology, 2020

2018

The Complexity of Diagnosability and Opacity Verification for Petri Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

2017

Optimal constructions for active diagnosis.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2017

2015

Diagnosability under Weak Fairness.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2015

Test Case Generation for Concurrent Systems Using Event Structures.

[BibT_eX]

[DOI]

Konstantinos Athanasiou

Hernán Ponce de León

Proceedings of the Tests and Proofs - 9th International Conference, 2015

Active diagnosis with observable quiescence.

[BibT_eX]

[DOI]

Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Non-atomic Transition Firing in Contextual Nets.

[BibT_eX]

[DOI]

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2015

2014

Computing Information Flow Using Symbolic Model-Checking.

[BibT_eX]

[DOI]

Rohit Chadha

Umang Mathur

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Characterization of Reachable Attractors Using Petri Net Unfoldings.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2014

2013

Computing the reveals relation in occurrence nets.

[BibT_eX]

[DOI]

Stefan Haar

Christian Kern

Theor. Comput. Sci., 2013

Computation of Summaries Using Net Unfoldings.

[BibT_eX]

[DOI]

Loïg Jezequel

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2013

An Improved Construction of Petri Net Unfoldings.

[BibT_eX]

[DOI]

Proceedings of the 1st French Singaporean Workshop on Formal Methods and Applications, 2013

Cunf: A Tool for Unfolding and Verifying Petri Nets with Read Arcs.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2013

Contextual Merged Processes.

[BibT_eX]

[DOI]

Victor Khomenko

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Reveal Your Faults: It's Only Fair!

[BibT_eX]

[DOI]

Stefan Haar

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

Efficient verification of sequential and concurrent systems.

[BibT_eX]

[DOI]

, 2013

2012

Efficient unfolding of contextual Petri nets.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2012

Verification of Petri Nets with Read Arcs.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2011

Construction and SAT-Based Verification of Contextual Unfoldings.

[BibT_eX]

[DOI]

Proceedings of the Descriptional Complexity of Formal Systems, 2011

Efficient Contextual Unfolding.

[BibT_eX]

[DOI]

Paolo Baldan

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations - 5th International Conference, 2010

2009

Comparison of Algorithms for Checking Emptiness on Buechi Automata

[BibT_eX]

[DOI]

Andreas Gaiser

CoRR, 2009

Comparison of Algorithms for Checking Emptiness on Büchi Automata.

[BibT_eX]

[DOI]

Andreas Gaiser

Proceedings of the Annual Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2009

Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computational Structures, 2009

2008

McMillan's Complete Prefix for Contextual Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2008

A negative result on depth-first net unfoldings.

[BibT_eX]

[DOI]

Pradeep Kanade

Int. J. Softw. Tools Technol. Transf., 2008

Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems.

[BibT_eX]

[DOI]

Stefan Kiefer

J. Satisf. Boolean Model. Comput., 2008

SDSIrep: A Reputation System Based on SDSI.

[BibT_eX]

[DOI]

Ahmed Bouajjani

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

Symbolic Context-Bounded Analysis of Multithreaded Java Programs.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2008

2007

jMoped: A Test Environment for Java Programs.

[BibT_eX]

[DOI]

Felix Berger

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Weighted Pushdown Systems and Trust-Management Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Reducing the Dependence of SPKI/SDSI on PKI.

[BibT_eX]

[DOI]

Stuart G. Stubblebine

Proceedings of the Computer Security, 2006

Reachability analysis of multithreaded software with asynchronous communication.

[BibT_eX]

[DOI]

Proceedings of the Software Verification: Infinite-State Model Checking and Static Program Analysis, 19.02., 2006

<i>NETRA</i>: : seeing through access control.

[BibT_eX]

[DOI]

Proceedings of the 2006 ACM workshop on Formal methods in security engineering, 2006

Efficient Algorithms for Alternating Pushdown Systems with an Application to the Computation of Certificate Chains.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Weighted pushdown systems and their application to interprocedural dataflow analysis.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2005

jMoped: A Java Bytecode Checker Based on Moped.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

A Note on On-the-Fly Verification Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Locality-Based Abstractions.

[BibT_eX]

[DOI]

Pierre Ganty

Proceedings of the Static Analysis, 12th International Symposium, 2005

2004

Assembling molecules in ATOMIX is hard.

[BibT_eX]

[DOI]

Markus Holzer

Theor. Comput. Sci., 2004

2003

Model checking LTL with regular valuations for pushdown systems.

[BibT_eX]

[DOI]

Antonín Kucera

Inf. Comput., 2003

Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis.

[BibT_eX]

[DOI]

Thomas W. Reps

Somesh Jha

Proceedings of the Static Analysis, 10th International Symposium, 2003

On Generalized Authorization Problems.

[BibT_eX]

[DOI]

Somesh Jha

Thomas W. Reps

Stuart G. Stubblebine

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

The Model-Checking Kit.

[BibT_eX]

[DOI]

Claus Schröter

Proceedings of the Applications and Theory of Petri Nets 2003, 2003

2002

Model checking pushdown systems.

[BibT_eX]

[DOI]

PhD thesis, 2002

2001

Determinization and Complementation of Streett Automata.

[BibT_eX]

[DOI]

Proceedings of the Automata, 2001

A BDD-Based Model Checker for Recursive Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 13th International Conference, 2001

2000

A Uniform Framework for Problems on Context-Free Grammars.

[BibT_eX]

Peter Rossmanith