Stefan Haar

Slawomir Lasota

Fundam. Informaticae, 2021

2020

Concurrency in Boolean networks.

[BibT_eX]

[DOI]

Nat. Comput., 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 Schwoon

Proceedings of the Computational Methods in Systems Biology, 2020

2019

Parameter space abstraction and unfolding semantics of discrete regulatory networks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Algorithms for the Sequential Reprogramming of Boolean Networks.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics.

[BibT_eX]

[DOI]

Juraj Kolcák

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

Sequential Reprogramming of Boolean Networks Made Practical.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 2019

2018

The Complexity of Diagnosability and Opacity Verification for Petri Nets.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2018

Unfolding of Parametric Boolean Networks.

[BibT_eX]

[DOI]

Proceedings of SASB 2018, 2018

Most Permissive Semantics of Boolean Networks.

[BibT_eX]

[DOI]

CoRR, 2018

Hyper Partial Order Logic.

[BibT_eX]

[DOI]

Béatrice Bérard

Loïc Hélouët

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

Boolean Networks: Beyond Generalized Asynchronicity.

[BibT_eX]

[DOI]

Proceedings of the Cellular Automata and Discrete Complex Systems, 2018

2017

Message from the Guest Editors.

[BibT_eX]

[DOI]

Roland Meyer

ACM Trans. Embed. Comput. Syst., 2017

Belief, knowledge, lies and other utterances in an algebra for space and extrusion.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2017

Optimal constructions for active diagnosis.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2017

Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach.

[BibT_eX]

[DOI]

Salim Perchy

Frank Valencia

Int. J. Semantic Comput., 2017

D-SPACES: Implementing Declarative Semantics for Spatially Structured Information.

[BibT_eX]

[DOI]

Salim Perchy

Frank D. Valencia

Proceedings of the 11th IEEE International Conference on Semantic Computing, 2017

Temporal Reprogramming of Boolean Networks.

[BibT_eX]

[DOI]

Hugues Mandon

Proceedings of the Computational Methods in Systems Biology, 2017

2016

Model-based testing for concurrent systems: unfolding-based test selection.

[BibT_eX]

[DOI]

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

Cyclic Ordering Through Partial Orders.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2016

Forecasting Passenger Loads in Transportation Networks.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Practical Application of Stochastic Modeling, 2016

Decoupling Passenger Flows for Improved Load Prediction.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 13th International Conference, 2016

Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph.

[BibT_eX]

[DOI]

Hugues Mandon

Proceedings of the Hybrid Systems Biology - 5th International Workshop, 2016

Predicting traffic load in public transportation networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 American Control Conference, 2016

2015

Diagnosability under Weak Fairness.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2015

An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, 2015

Active diagnosis with observable quiescence.

[BibT_eX]

[DOI]

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

Unfolding-Based Process Discovery.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2015

Non-atomic Transition Firing in Contextual Nets.

[BibT_eX]

[DOI]

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

A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014

A Canonical Contraction for Safe Petri Nets.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2014

Model-based testing for concurrent systems with labelled event structures.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Closed Sets in Occurrence Nets with Conflicts.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Active Diagnosis for Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 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]

Christian Kern

Stefan Schwoon

Theor. Comput. Sci., 2013

Building Occurrence Nets from Reveals Relations.

[BibT_eX]

[DOI]

Sandie Balaguer

Fundam. Informaticae, 2013

Unfolding-Based Test Selection for Concurrent Conformance.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2013

Reveal Your Faults: It's Only Fair!

[BibT_eX]

[DOI]

César Rodríguez

Stefan Schwoon

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

Languages, Decidability, and Complexity.

[BibT_eX]

[DOI]

Tomás Masopust

Proceedings of the Control of Discrete-Event Systems, 2013

Diagnosis with Petri Net Unfoldings.

[BibT_eX]

[DOI]

Eric Fabre

Proceedings of the Control of Discrete-Event Systems, 2013

2012

A concurrency-preserving translation from time Petri nets to networks of timed automata.

[BibT_eX]

[DOI]

Sandie Balaguer

Formal Methods Syst. Des., 2012

What topology tells us about diagnosability in partial order semantics.

[BibT_eX]

[DOI]

Discret. Event Dyn. Syst., 2012

Conformance Relations for Labeled Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Tests and Proofs - 6th International Conference, 2012

2011

Building Tight Occurrence Nets from Reveals Relations.

[BibT_eX]

[DOI]

Sandie Balaguer

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., 2010

Unfolding-based diagnosis of systems with an evolving topology.

[BibT_eX]

[DOI]

Inf. Comput., 2010

Augmenting Petri nets to model health-care protocols.

[BibT_eX]

[DOI]

Proceedings of the 10th International Workshop on Discrete Event Systems, 2010

2009

Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net.

[BibT_eX]

[DOI]

Anne Bouillard

Sidney Rosario

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2009

Qualitative diagnosability of labeled petri nets revisited.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Monotonicity in Service Orchestrations.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 2009

Choice-point nets: A discrete-event modelling technique for analyzing health care protocols.

[BibT_eX]

[DOI]

Proceedings of the 47th Annual Allerton Conference on Communication, 2009

2008

Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2008

Monotony in Service Orchestrations

[BibT_eX]

[DOI]

CoRR, 2008

Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2008

Testing Systems Specified as Partial Order Input/Output Automata.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Event Structure Semantics of Orc.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, 4th International Workshop, 2007

End-to-end QoS of X-domain pipes.

[BibT_eX]

[DOI]

Proceedings of the 4th International ICST Conference on Heterogeneous Networking for Quality, 2007

Testing Input/Output Partial Order Automata.

[BibT_eX]

[DOI]

Claude Jard

Guy-Vincent Jourdan

Proceedings of the Testing of Software and Communicating Systems, 2007

Probabilistic QoS and soft contracts for transaction based Web services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

A protocol for QoS contract negotiation and its implementation using Web Services.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007

Unfold and cover: Qualitative diagnosability for Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Distributed End-to-End QoS Contract Negotiation.

[BibT_eX]

[DOI]

Proceedings of the Inter-Domain Management, 2007

2006

Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, 2006

Distributed Unfolding of Petri Nets.

[BibT_eX]

[DOI]

Paolo Baldan