Stefan Haar

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 42

Top Venues

University of Hamburg, Germany (PHD)

Education History

University of Hamburg, Germany

PHD

Publications

Stefan Haar, Serge Haddad
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets (2024)
Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke
Taking Complete Finite Prefixes To High Level, Symbolically. CoRR (2023)
Nick Würdemann, Thomas Chatain, Stefan Haar
Taking Complete Finite Prefixes to High Level, Symbolically. Petri Nets (2023)
Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets. GandALF (2022)
Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. PNSE@Petri Nets (2022)
Susanna Donatelli, Stefan Haar, Slawomir Lasota
Preface. Fundam. Informaticae 183 (1-2) (2021)
Stefan Haar, Loïc Paulevé, Stefan Schwoon
Drawing the Line: Basin Boundaries in Safe Petri Nets. CMSB (2020)
Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye
Active Prediction for Discrete Event Systems. FSTTCS (2020)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. Nat. Comput. 19 (1) (2020)
Stefan Haar, Juraj Kolcák, Loïc Paulevé
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. VMCAI (2019)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Parameter space abstraction and unfolding semantics of discrete regulatory networks. Theor. Comput. Sci. 765 (2019)
Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar, Loïc Paulevé
Algorithms for the Sequential Reprogramming of Boolean Networks. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé
Sequential Reprogramming of Boolean Networks Made Practical. CMSB (2019)
Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar
Concurrency in Boolean networks. CoRR (2019)
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
The Complexity of Diagnosability and Opacity Verification for Petri Nets. Fundam. Informaticae 161 (4) (2018)
Stefan Haar, Juraj Kolcák, Loïc Paulevé
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. CoRR (2018)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks. CoRR (2018)
Thomas Chatain, Stefan Haar, Loïc Paulevé
Boolean Networks: Beyond Generalized Asynchronicity. Automata (2018)
Thomas Chatain, Stefan Haar, Loïc Paulevé
Most Permissive Semantics of Boolean Networks. CoRR (2018)
Béatrice Bérard, Stefan Haar, Loïc Hélouët
Hyper Partial Order Logic. FSTTCS (2018)
Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé
Unfolding of Parametric Boolean Networks. SASB 335 (2018)
Stefan Haar, Salim Perchy, Frank D. Valencia
D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. ICSC (2017)
Stefan Haar, Salim Perchy, Frank Valencia
Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach. Int. J. Semantic Comput. 11 (4) (2017)
Michell Guzmán, Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. J. Log. Algebraic Methods Program. 86 (1) (2017)
Stefan Haar, Roland Meyer
Message from the Guest Editors. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Hugues Mandon, Stefan Haar, Loïc Paulevé
Temporal Reprogramming of Boolean Networks. CMSB (2017)
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
Optimal constructions for active diagnosis. J. Comput. Syst. Sci. 83 (1) (2017)
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon
The Complexity of Diagnosability and Opacity Verification for Petri Nets. Petri Nets (2017)
Stefan Haar, Simon Theissing
Decoupling Passenger Flows for Improved Load Prediction. QEST (2016)
Hugues Mandon, Stefan Haar, Loïc Paulevé
Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph. HSB (2016)
Stefan Haar
Cyclic Ordering Through Partial Orders. J. Multiple Valued Log. Soft Comput. 27 (2-3) (2016)
Stefan Haar, Simon Theissing
Predicting traffic load in public transportation networks. ACC (2016)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Model-based testing for concurrent systems: unfolding-based test selection. Int. J. Softw. Tools Technol. Transf. 18 (3) (2016)
Hugues Mandon, Stefan Haar, Loïc Paulevé
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. CoRR (2016)
Stefan Haar, Simon Theissing
Forecasting Passenger Loads in Transportation Networks. Electron. Notes Theor. Comput. Sci. 327 (2016)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. CoRR (2015)
Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. PPDP (2015)
Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon
Non-atomic Transition Firing in Contextual Nets. Petri Nets (2015)
Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar
Unfolding-Based Process Discovery. ATVA (2015)
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
Diagnosability under Weak Fairness. ACM Trans. Embed. Comput. Syst. 14 (4) (2015)
Stefan Haar, Simon Theissing
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems. ADHS (2015)
Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon
Active diagnosis with observable quiescence. CDC (2015)
Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon
Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB (2014)
Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
Active Diagnosis for Probabilistic Systems. FoSSaCS (2014)
Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon
Diagnosability under Weak Fairness. ACSD (2014)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Model-based testing for concurrent systems with labelled event structures. Softw. Test. Verification Reliab. 24 (7) (2014)
Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello
Closed Sets in Occurrence Nets with Conflicts. Fundam. Informaticae 133 (4) (2014)
Thomas Chatain, Stefan Haar
A Canonical Contraction for Safe Petri Nets. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. ICTAC (2014)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Unfolding-Based Test Selection for Concurrent Conformance. ICTSS (2013)
Sandie Balaguer, Thomas Chatain, Stefan Haar
Building Occurrence Nets from Reveals Relations. Fundam. Informaticae 123 (3) (2013)
Thomas Chatain, Stefan Haar
A Canonical Contraction for Safe Petri Nets. PNSE+ModPE (2013)
Stefan Haar, Christian Kern, Stefan Schwoon
Computing the reveals relation in occurrence nets. Theor. Comput. Sci. 493 (2013)
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon
Optimal Constructions for Active Diagnosis. FSTTCS (2013)
Stefan Haar, César Rodríguez, Stefan Schwoon
Reveal Your Faults: It's Only Fair! ACSD (2013)
Sandie Balaguer, Thomas Chatain, Stefan Haar
A concurrency-preserving translation from time Petri nets to networks of timed automata. Formal Methods Syst. Des. 40 (3) (2012)
Hernán Ponce de León, Stefan Haar, Delphine Longuet
Conformance Relations for Labeled Event Structures. TAP@TOOLS (2012)
Stefan Haar
What topology tells us about diagnosability in partial order semantics. Discret. Event Dyn. Syst. 22 (4) (2012)
Sandie Balaguer, Thomas Chatain, Stefan Haar
Building Tight Occurrence Nets from Reveals Relations. ACSD (2011)
Stefan Haar, Christian Kern, Stefan Schwoon
Computing the Reveals Relation in Occurrence Nets GandALF (2011)
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208 (10) (2010)
Stefan Haar
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets. IEEE Trans. Autom. Control. 55 (10) (2010)
Stefan Haar
What topology tells us about diagnosability in partial order semantics. WODES (2010)
Sarah-Jane Whittaker, Karen Rudie, James McLellan, Stefan Haar
Augmenting Petri nets to model health-care protocols. WODES (2010)
Sandie Balaguer, Thomas Chatain, Stefan Haar
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. TIME (2010)
Sarah-Jane Whittaker, Karen Rudie, James McLellan, Stefan Haar
Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. Allerton (2009)
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
Monotonicity in Service Orchestrations. Petri Nets (2009)
Anne Bouillard, Stefan Haar, Sidney Rosario
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. FORMATS (2009)
Stefan Haar
Qualitative diagnosability of labeled petri nets revisited. CDC (2009)
Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar
Monotony in Service Orchestrations CoRR (2008)
Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König
Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR (2008)
Hélia Pouyllau, Stefan Haar
Distributed Busacker-Gowen algorithm for end-to-end QoS pipe negotiation in X-domain networks. Ann. des Télécommunications 63 (11-12) (2008)
Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan
Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES (2008)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations. IEEE Trans. Serv. Comput. 1 (4) (2008)
Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard
Event Structure Semantics of Orc. WS-FM (2007)
Hélia Pouyllau, Stefan Haar
A protocol for QoS contract negotiation and its implementation using Web Services. ICWS (2007)
Hélia Pouyllau, Stefan Haar
End-to-end QoS of X-domain pipes. QSHINE (2007)
Stefan Haar, Claude Jard, Guy-Vincent Jourdan
Testing Input/Output Partial Order Automata. TestCom/FATES (2007)
Bruno Gaujal, Stefan Haar, Jean Mairesse
Blocking a transition in a Free Choice net and what it tells about its throughput CoRR (2007)
Hélia Pouyllau, Stefan Haar
Distributed End-to-End QoS Contract Negotiation. AIMS (2007)
Stefan Haar
Unfold and cover: Qualitative diagnosability for Petri Nets. CDC (2007)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Probabilistic QoS and soft contracts for transaction based Web services. ICWS (2007)
Paolo Baldan, Stefan Haar, Barbara König
Distributed Unfolding of Petri Nets. FoSSaCS (2006)
Hélia Pouyllau, Armen Aghasaryan, Laurent Ciarletta, Stefan Haar
X-domain QoS budget negotiation using Dynamic Programming. AICT/ICIW (2006)
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA (2006)
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard
Distributed Monitoring of Concurrent and Asynchronous Systems*. Discret. Event Dyn. Syst. 15 (1) (2005)
Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo
Diagnosis of asynchronous discrete event systems: datalog to the rescue! PODS (2005)
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan
Algorithms for Distributed Fault Management in Telecommunications Networks. ICT (2004)
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
Distributed and asynchronous discrete event systems diagnosis. CDC (2003)
Stefan Haar
Distributed semi-Markov processes in stochastic T-timed Petri nets. PNPM (2003)
Albert Benveniste, Eric Fabre, Stefan Haar
Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. Autom. Control. 48 (11) (2003)
Bruno Gaujal, Stefan Haar, Jean Mairesse
Blocking a transition in a free choice net and what it tells about its throughput. J. Comput. Syst. Sci. 66 (3) (2003)
Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard
Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR (2003)
Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard
Partial order diagnosability of discrete event systems using petri net unfoldings. CDC (2003)
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard
Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans. Autom. Control. 48 (5) (2003)
Stefan Haar
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. PAPM-PROBMIV (2002)
Stefan Haar
Probabilistic Cluster Unfoldings. Fundam. Informaticae 53 (3-4) (2002)
Stefan Haar
Clusters, Confusion and Unfoldings. Fundam. Informaticae 47 (3-4) (2001)
Albert Benveniste, Eric Fabre, Stefan Haar
Markov nets: probabilistic models for distributed and concurrent systems. CDC (2001)
Stefan Haar
Occurrence Net Logics. Fundam. Informaticae 43 (1-4) (2000)

Stefan Haar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Haar