Stefan Haar - RankMe

113 papers A* 1A 2B 12C 7Journal 45Unranked 43

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