default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStefan Haar
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1998
[b1]Stefan Haar:
Kausalität, Nebenläufigkeit und Konflikt: elementare Netzsysteme aus topologisch-relationaler Sicht. University of Hamburg, Germany, Bertz 1998, ISBN 978-3-929470-59-8, pp. 1-305
Journal Articles
- 2024
- [j31]Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke:
Taking Complete Finite Prefixes To High Level, Symbolically. Fundam. Informaticae 192(3-4): 313-361 (2024) - 2021
- [j30]Susanna Donatelli, Stefan Haar, Slawomir Lasota:
Preface. Fundam. Informaticae 183(1-2) (2021) - 2020
- [j29]Thomas Chatain, Stefan Haar, Juraj Kolcák
, Loïc Paulevé, Aalok Thakkar:
Concurrency in Boolean networks. Nat. Comput. 19(1): 91-109 (2020) - 2019
- [j28]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): 1610-1619 (2019) - [j27]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: 120-144 (2019) - 2018
- [j26]Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon:
The Complexity of Diagnosability and Opacity Verification for Petri Nets. Fundam. Informaticae 161(4): 317-349 (2018) - 2017
- [j25]Stefan Haar, Salim Perchy, Frank Valencia:
Declarative Framework for Semantical Interpretations of Structured Information - An Applicative Approach. Int. J. Semantic Comput. 11(4): 451-472 (2017) - [j24]Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon:
Optimal constructions for active diagnosis. J. Comput. Syst. Sci. 83(1): 101-120 (2017) - [j23]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): 107-133 (2017) - [j22]Stefan Haar, Roland Meyer:
Message from the Guest Editors. ACM Trans. Embed. Comput. Syst. 16(2): 40:1 (2017) - 2016
- [j21]Stefan Haar:
Cyclic Ordering Through Partial Orders. J. Multiple Valued Log. Soft Comput. 27(2-3): 209-228 (2016) - [j20]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): 305-318 (2016) - 2015
- [j19]Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon:
Diagnosability under Weak Fairness. ACM Trans. Embed. Comput. Syst. 14(4): 69:1-69:19 (2015) - 2014
- [j18]Luca Bernardinello, Carlo Ferigato, Stefan Haar, Lucia Pomello:
Closed Sets in Occurrence Nets with Conflicts. Fundam. Informaticae 133(4): 323-344 (2014) - [j17]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): 558-590 (2014) - [j16]Thomas Chatain, Stefan Haar:
A Canonical Contraction for Safe Petri Nets. Trans. Petri Nets Other Model. Concurr. 9: 83-98 (2014) - 2013
- [j15]Sandie Balaguer, Thomas Chatain, Stefan Haar:
Building Occurrence Nets from Reveals Relations. Fundam. Informaticae 123(3): 245-272 (2013) - [j14]Stefan Haar, Christian Kern, Stefan Schwoon:
Computing the reveals relation in occurrence nets. Theor. Comput. Sci. 493: 66-79 (2013) - 2012
- [j13]Stefan Haar:
What topology tells us about diagnosability in partial order semantics. Discret. Event Dyn. Syst. 22(4): 383-402 (2012) - [j12]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): 330-355 (2012) - 2010
- [j11]Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König:
Unfolding-based diagnosis of systems with an evolving topology. Inf. Comput. 208(10): 1169-1192 (2010) - [j10]Stefan Haar:
Types of Asynchronous Diagnosability and the Reveals-Relation in Occurrence Nets. IEEE Trans. Autom. Control. 55(10): 2310-2320 (2010) - 2008
- [j9]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): 621-630 (2008) - [j8]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): 187-200 (2008) - 2005
- [j7]Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard:
Distributed Monitoring of Concurrent and Asynchronous Systems*. Discret. Event Dyn. Syst. 15(1): 33-84 (2005) - 2003
- [j6]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): 515-548 (2003) - [j5]Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard:
Diagnosis of asynchronous discrete-event systems: a net unfolding approach. IEEE Trans. Autom. Control. 48(5): 714-727 (2003) - [j4]Albert Benveniste, Eric Fabre, Stefan Haar:
Markov nets: probabilistic models for distributed and concurrent systems. IEEE Trans. Autom. Control. 48(11): 1936-1950 (2003) - 2002
- [j3]Stefan Haar:
Probabilistic Cluster Unfoldings. Fundam. Informaticae 53(3-4): 281-314 (2002) - 2001
- [j2]Stefan Haar:
Clusters, Confusion and Unfoldings. Fundam. Informaticae 47(3-4): 259-270 (2001) - 2000
- [j1]Stefan Haar:
Occurrence Net Logics. Fundam. Informaticae 43(1-4): 105-127 (2000)
Conference and Workshop Papers
- 2024
- [c62]Stefan Haar, Serge Haddad:
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets. Petri Nets 2024: 109-131 - 2023
- [c61]Nick Würdemann, Thomas Chatain, Stefan Haar:
Taking Complete Finite Prefixes to High Level, Symbolically. Petri Nets 2023: 123-144 - 2022
- [c60]Giann Karlo Aguirre-Samboní, Cédric Gaucherel, Stefan Haar, Franck Pommereau:
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs. PNSE@Petri Nets 2022: 213-214 - [c59]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: 178-193 - 2020
- [c58]Stefan Haar, Loïc Paulevé, Stefan Schwoon:
Drawing the Line: Basin Boundaries in Safe Petri Nets. CMSB 2020: 321-336 - [c57]Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye:
Active Prediction for Discrete Event Systems. FSTTCS 2020: 48:1-48:16 - 2019
- [c56]Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, Loïc Paulevé:
Sequential Reprogramming of Boolean Networks Made Practical. CMSB 2019: 3-19 - [c55]Stefan Haar, Juraj Kolcák, Loïc Paulevé:
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. VMCAI 2019: 555-576 - 2018
- [c54]Thomas Chatain, Stefan Haar, Loïc Paulevé:
Boolean Networks: Beyond Generalized Asynchronicity. Automata 2018: 29-42 - [c53]Béatrice Bérard, Stefan Haar, Loïc Hélouët:
Hyper Partial Order Logic. FSTTCS 2018: 20:1-20:21 - [c52]Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé:
Unfolding of Parametric Boolean Networks. SASB 2018: 67-90 - 2017
- [c51]Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon:
The Complexity of Diagnosability and Opacity Verification for Petri Nets. Petri Nets 2017: 200-220 - [c50]Hugues Mandon, Stefan Haar, Loïc Paulevé:
Temporal Reprogramming of Boolean Networks. CMSB 2017: 179-195 - [c49]Stefan Haar, Salim Perchy, Frank D. Valencia:
D-SPACES: Implementing Declarative Semantics for Spatially Structured Information. ICSC 2017: 227-233 - 2016
- [c48]Stefan Haar, Simon Theissing:
Predicting traffic load in public transportation networks. ACC 2016: 821-826 - [c47]Hugues Mandon, Stefan Haar, Loïc Paulevé:
Relationship Between the Reprogramming Determinants of Boolean Networks and Their Interaction Graph. HSB 2016: 113-127 - [c46]Stefan Haar, Simon Theissing:
Decoupling Passenger Flows for Improved Load Prediction. QEST 2016: 364-379 - [c45]Stefan Haar, Simon Theissing:
Forecasting Passenger Loads in Transportation Networks. PASM 2016: 49-69 - 2015
- [c44]Stefan Haar, Simon Theissing:
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems. ADHS 2015: 236-241 - [c43]Thomas Chatain, Stefan Haar, Maciej Koutny, Stefan Schwoon:
Non-atomic Transition Firing in Contextual Nets. Petri Nets 2015: 117-136 - [c42]Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar:
Unfolding-Based Process Discovery. ATVA 2015: 31-47 - [c41]Stanislav Böhm, Stefan Haar, Serge Haddad, Piotr Hofman, Stefan Schwoon:
Active diagnosis with observable quiescence. CDC 2015: 1663-1668 - [c40]Stefan Haar, Salim Perchy, Camilo Rueda, Frank D. Valencia:
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic. PPDP 2015: 161-172 - 2014
- [c39]Vasileios Germanos, Stefan Haar, Victor Khomenko, Stefan Schwoon:
Diagnosability under Weak Fairness. ACSD 2014: 132-141 - [c38]Thomas Chatain, Stefan Haar, Loïg Jezequel, Loïc Paulevé, Stefan Schwoon:
Characterization of Reachable Attractors Using Petri Net Unfoldings. CMSB 2014: 129-142 - [c37]Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët:
Active Diagnosis for Probabilistic Systems. FoSSaCS 2014: 29-42 - [c36]Hernán Ponce de León, Stefan Haar, Delphine Longuet:
Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue. ICTAC 2014: 369-387 - 2013
- [c35]Stefan Haar, César Rodríguez, Stefan Schwoon:
Reveal Your Faults: It's Only Fair! ACSD 2013: 120-129 - [c34]Thomas Chatain, Stefan Haar:
A Canonical Contraction for Safe Petri Nets. PNSE+ModPE 2013: 25-39 - [c33]Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon:
Optimal Constructions for Active Diagnosis. FSTTCS 2013: 527-539 - [c32]Hernán Ponce de León, Stefan Haar, Delphine Longuet:
Unfolding-Based Test Selection for Concurrent Conformance. ICTSS 2013: 98-113 - 2012
- [c31]Hernán Ponce de León, Stefan Haar, Delphine Longuet:
Conformance Relations for Labeled Event Structures. TAP@TOOLS 2012: 83-98 - 2011
- [c30]Sandie Balaguer, Thomas Chatain, Stefan Haar:
Building Tight Occurrence Nets from Reveals Relations. ACSD 2011: 44-53 - [c29]Stefan Haar, Christian Kern, Stefan Schwoon:
Computing the Reveals Relation in Occurrence Nets. GandALF 2011: 31-44 - 2010
- [c28]Sandie Balaguer, Thomas Chatain, Stefan Haar:
A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata. TIME 2010: 77-84 - [c27]Stefan Haar:
What topology tells us about diagnosability in partial order semantics. WODES 2010: 211-216 - [c26]Sarah-Jane Whittaker, Karen Rudie, P. James McLellan, Stefan Haar:
Augmenting Petri nets to model health-care protocols. WODES 2010: 331-336 - 2009
- [c25]Sarah-Jane Whittaker, Karen Rudie, P. James McLellan, Stefan Haar:
Choice-point nets: A discrete-event modelling technique for analyzing health care protocols. Allerton 2009: 652-659 - [c24]Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar:
Monotonicity in Service Orchestrations. Petri Nets 2009: 263-282 - [c23]Stefan Haar:
Qualitative diagnosability of labeled petri nets revisited. CDC 2009: 1248-1253 - [c22]Anne Bouillard, Stefan Haar, Sidney Rosario:
Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net. FORMATS 2009: 43-57 - 2008
- [c21]Paolo Baldan, Thomas Chatain, Stefan Haar, Barbara König:
Unfolding-Based Diagnosis of Systems with an Evolving Topology. CONCUR 2008: 203-217 - [c20]Gregor von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Systems Specified as Partial Order Input/Output Automata. TestCom/FATES 2008: 169-183 - 2007
- [c19]Hélia Pouyllau, Stefan Haar:
Distributed End-to-End QoS Contract Negotiation. AIMS 2007: 180-183 - [c18]Stefan Haar:
Unfold and cover: Qualitative diagnosability for Petri Nets. CDC 2007: 1886-1891 - [c17]Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard:
Probabilistic QoS and soft contracts for transaction based Web services. ICWS 2007: 126-133 - [c16]Hélia Pouyllau, Stefan Haar:
A protocol for QoS contract negotiation and its implementation using Web Services. ICWS 2007: 168-175 - [c15]Stefan Haar, Claude Jard, Guy-Vincent Jourdan:
Testing Input/Output Partial Order Automata. TestCom/FATES 2007: 171-185 - [c14]Hélia Pouyllau, Stefan Haar:
End-to-end QoS of X-domain pipes. QSHINE 2007: 17 - [c13]Sidney Rosario, David Kitchin, Albert Benveniste, William R. Cook, Stefan Haar, Claude Jard:
Event Structure Semantics of Orc. WS-FM 2007: 154-168 - 2006
- [c12]Hélia Pouyllau, Armen Aghasaryan, Laurent Ciarletta, Stefan Haar:
X-domain QoS budget negotiation using Dynamic Programming. AICT/ICIW 2006: 35 - [c11]Paolo Baldan, Stefan Haar, Barbara König:
Distributed Unfolding of Petri Nets. FoSSaCS 2006: 126-141 - [c10]Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard:
Foundations for Web Services Orchestrations: Functional and QoS Aspects, Jointly. ISoLA 2006: 309-316 - 2005
- [c9]Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo:
Diagnosis of asynchronous discrete event systems: datalog to the rescue! PODS 2005: 358-367 - 2004
- [c8]Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan:
Algorithms for Distributed Fault Management in Telecommunications Networks. ICT 2004: 820-825 - 2003
- [c7]Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard:
Distributed and asynchronous discrete event systems diagnosis. CDC 2003: 3742-3747 - [c6]Stefan Haar, Albert Benveniste, Eric Fabre, Claude Jard:
Partial order diagnosability of discrete event systems using petri net unfoldings. CDC 2003: 3748-3753 - [c5]Albert Benveniste, Stefan Haar, Eric Fabre, Claude Jard:
Distributed Monitoring of Concurrent and Asynchronous Systems. CONCUR 2003: 1-26 - [c4]Stefan Haar:
Distributed semi-Markov processes in stochastic T-timed Petri nets. PNPM 2003: 114-123 - 2002
- [c3]Stefan Haar:
Probabilistic Unfoldings and Partial Order Fairness in Petri Nets. PAPM-PROBMIV 2002: 95-114 - 2001
- [c2]Albert Benveniste, Eric Fabre, Stefan Haar:
Markov nets: probabilistic models for distributed and concurrent systems. CDC 2001: 5010-5015 - 1998
- [c1]Stefan Haar:
Branching Processes of general S/T-Systems and their properties. MFCS Workshop on Concurrency 1998: 65-74
Parts in Books or Collections
- 2013
- [p2]Stefan Haar, Tomás Masopust:
Languages, Decidability, and Complexity. Control of Discrete-Event Systems 2013: 23-43 - [p1]Stefan Haar, Eric Fabre:
Diagnosis with Petri Net Unfoldings. Control of Discrete-Event Systems 2013: 301-317
Editorship
- 2019
- [e1]Susanna Donatelli, Stefan Haar:
Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings. Lecture Notes in Computer Science 11522, Springer 2019, ISBN 978-3-030-21570-5 [contents]
Informal and Other Publications
- 2024
- [i10]Giann Karlo Aguirre-Samboní, Stefan Haar, Loïc Paulevé, Stefan Schwoon, Nick Würdemann:
Attractor Basins in Concurrent Systems. CoRR abs/2409.01079 (2024) - 2023
- [i9]Nick Würdemann, Thomas Chatain, Stefan Haar, Lukas Panneke:
Taking Complete Finite Prefixes To High Level, Symbolically. CoRR abs/2311.11443 (2023) - 2019
- [i8]Thomas Chatain, Stefan Haar, Juraj Kolcák, Loïc Paulevé, Aalok Thakkar:
Concurrency in Boolean networks. CoRR abs/1905.13467 (2019) - 2018
- [i7]Juraj Kolcák, David Safránek, Stefan Haar, Loïc Paulevé:
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks. CoRR abs/1803.06157 (2018) - [i6]Thomas Chatain, Stefan Haar, Loïc Paulevé:
Most Permissive Semantics of Boolean Networks. CoRR abs/1808.10240 (2018) - [i5]Stefan Haar, Juraj Kolcák, Loïc Paulevé:
Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics. CoRR abs/1811.12377 (2018) - 2016
- [i4]Hugues Mandon, Stefan Haar, Loïc Paulevé:
Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. CoRR abs/1608.05552 (2016) - 2015
- [i3]Hernán Ponce de León, César Rodríguez, Josep Carmona, Keijo Heljanko, Stefan Haar:
Unfolding-Based Process Discovery. CoRR abs/1507.02744 (2015) - 2008
- [i2]Anne Bouillard, Sidney Rosario, Albert Benveniste, Stefan Haar:
Monotony in Service Orchestrations. CoRR abs/0804.4896 (2008) - 2007
- [i1]Bruno Gaujal, Stefan Haar, Jean Mairesse:
Blocking a transition in a Free Choice net and what it tells about its throughput. CoRR abs/0707.4372 (2007)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
