| Diagnosis of asynchronous discrete-event systems: a net unfolding approach A Benveniste, E Fabre, S Haar, C Jard IEEE Transactions on Automatic Control 48 (5), 714-727, 2003 | 407 | 2003 |
| Probabilistic qos and soft contracts for transaction-based web services orchestrations S Rosario, A Benveniste, S Haar, C Jard IEEE Transactions on Services Computing 1 (4), 187-200, 2008 | 174 | 2008 |
| Distributed monitoring of concurrent and asynchronous systems E Fabre, A Benveniste, S Haar, C Jard Discrete Event Dynamic Systems 15 (1), 33-84, 2005 | 129 | 2005 |
| Markov nets: probabilistic models for distributed and concurrent systems A Benveniste, E Fabre, S Haar IEEE Transactions on Automatic Control 48 (11), 1936-1950, 2003 | 98 | 2003 |
| Diagnosis of asynchronous discrete event systems: datalog to the rescue! S Abiteboul, Z Abrams, S Haar, T Milo Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on …, 2005 | 74 | 2005 |
| Partial order diagnosability of discrete event systems using Petri net unfoldings S Haar, A Benveniste, E Fabre, C Jard 42nd IEEE International Conference on Decision and Control (IEEE Cat. No …, 2003 | 54 | 2003 |
| Reconciling qualitative, abstract, and scalable modeling of biological networks L Paulevé, J Kolčák, T Chatain, S Haar Nature communications 11 (1), 4256, 2020 | 52 | 2020 |
| Distributed Monitoring of Concurrent and Asynchronous Systems. A Benveniste, S Haar, E Fabre, C Jard CONCUR 2761, 1-26, 2003 | 49 | 2003 |
| Probabilistic QoS and soft contracts for transaction based Web services S Rosario, A Benveniste, S Haar, C Jard IEEE International Conference on Web Services (ICWS 2007), 126-133, 2007 | 48 | 2007 |
| Active diagnosis for probabilistic systems N Bertrand, E Fabre, S Haar, S Haddad, L Hélouët Foundations of Software Science and Computation Structures: 17th …, 2014 | 46 | 2014 |
| Characterization of reachable attractors using Petri net unfoldings T Chatain, S Haar, L Jezequel, L Paulevé, S Schwoon Computational Methods in Systems Biology: 12th International Conference …, 2014 | 45 | 2014 |
| Testing input/output partial order automata S Haar, C Jard, GV Jourdan Testing of Software and Communicating Systems: 19th IFIP TC6/WG6. 1 …, 2007 | 44 | 2007 |
| Testing systems specified as partial order input/output automata G Bochmann, S Haar, C Jard, GV Jourdan Testing of Software and Communicating Systems: 20th IFIP TC 6/WG 6.1 …, 2008 | 42 | 2008 |
| Types of asynchronous diagnosability and the reveals-relation in occurrence nets S Haar IEEE Transactions on Automatic Control 55 (10), 2310-2320, 2010 | 41 | 2010 |
| Sequential reprogramming of Boolean networks made practical H Mandon, C Su, S Haar, J Pang, L Paulevé Computational Methods in Systems Biology: 17th International Conference …, 2019 | 39 | 2019 |
| Unfolding-based process discovery H Ponce-de-León, C Rodríguez, J Carmona, K Heljanko, S Haar Automated Technology for Verification and Analysis: 13th International …, 2015 | 37 | 2015 |
| Event structure semantics of orc S Rosario, D Kitchin, A Benveniste, W Cook, S Haar, C Jard Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008 | 35 | 2008 |
| Diagnosability under weak fairness V Germanos, S Haar, V Khomenko, S Schwoon ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-19, 2015 | 31 | 2015 |
| Blocking a transition in a free choice net and what it tells about its throughput B Gaujal, S Haar, J Mairesse Journal of Computer and System Sciences 66 (3), 515-548, 2003 | 30 | 2003 |
| Optimal constructions for active diagnosis S Haar, S Haddad, T Melliti, S Schwoon IARCS Annual Conference on Foundations of Software Technology and …, 2013 | 29 | 2013 |
