Stefan Haar

Statistics

Publications

Citations

1.2K

H-Index

Active since

2000

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

École Normale Supérieure Paris-Saclay

Centre National de la Recherche Scientifique

Institut de Recherche en Informatique et Systèmes Aléatoires

Laboratoire Spécification et Vérification

Stefan Haar is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and petri nets.

ORCID

Publications per year

2000–2020

Publications

Diagnosis of asynchronous discrete-event systems: a net unfolding approach

Albert Benveniste, Éric Fabre, Stefan Haar et al. · IEEE Transactions on Automatic Control · 2003 · 275 citations · Full text

Computing, Computer Science, Computer Systems +14

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

Sidney Rosario, Albert Benveniste, Stefan Haar et al. · IEEE Transactions on Services Computing · 2008 · 129 citations · Full text

Business, Systems Engineering, Contract Theory +12

Distributed Monitoring of Concurrent and Asynchronous Systems*

Éric Fabre, Albert Benveniste, Stefan Haar et al. · Discrete Event Dynamic Systems · 2005 · 102 citations · Full text

Computing, Computer Engineering, Computer Science +10

Reconciling qualitative, abstract, and scalable modeling of biological networks

Loïc Paulevé, Juri Kolčák, Thomas Chatain et al. · Nature Communications · 2020 · 95 citations · Full text

Engineering, Biology, Biological Systems Modeling +12

Diagnosis of asynchronous discrete event systems

Serge Abiteboul, Zoë Abrams, Stefan Haar et al. · 2005 · 60 citations

Computing, Computer Science, Computer Systems +14

1–5 of 35