Stefan Haar
Stefan Haar
INRIA and LSV, CNRS and ENS Paris Saclay, Université Paris-Saclay
Dirección de correo verificada de inria.fr - Página principal
Título
Citado por
Citado por
Año
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
3892003
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
1582008
Distributed monitoring of concurrent and asynchronous systems
E Fabre, A Benveniste, S Haar, C Jard
Discrete Event Dynamic Systems 15 (1), 33-84, 2005
1222005
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
892003
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
612005
Event structure semantics of orc
S Rosario, D Kitchin, A Benveniste, W Cook, S Haar, C Jard
International Workshop on Web Services and Formal Methods, 154-168, 2007
502007
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
502003
Distributed monitoring of concurrent and asynchronous systems
A Benveniste, S Haar, E Fabre, C Jard
International Conference on Concurrency Theory, 1-26, 2003
472003
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
452007
Testing input/output partial order automata
S Haar, C Jard, GV Jourdan
Testing of software and communicating systems, 171-185, 2007
432007
Active diagnosis for probabilistic systems
N Bertrand, E Fabre, S Haar, S Haddad, L Hélouët
International Conference on Foundations of Software Science and Computation …, 2014
402014
Testing systems specified as partial order input/output automata
G Bochmann, S Haar, C Jard, GV Jourdan
Testing of software and communicating systems, 169-183, 2008
402008
Types of asynchronous diagnosability and the reveals-relation in occurrence nets
S Haar
IEEE Transactions on Automatic Control 55 (10), 2310-2320, 2010
342010
Characterization of reachable attractors using Petri net unfoldings
T Chatain, S Haar, L Jezequel, L Paulevé, S Schwoon
International Conference on Computational Methods in Systems Biology, 129-142, 2014
302014
Optimal constructions for active diagnosis
S Haar, S Haddad, T Melliti, S Schwoon
IARCS Annual Conference on Foundations of Software Technology and …, 2013
292013
Diagnosability under weak fairness
V Germanos, S Haar, V Khomenko, S Schwoon
ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-19, 2015
272015
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
272003
Equivalence of timed state machines and safe TPN
S Haar, L Kaiser, F Simonot-Lion, J Toussaint
Sixth International Workshop on Discrete Event Systems, 2002. Proceedings …, 2002
272002
Occurrence net logics
S Haar
Fundamenta Informaticae 43 (1-4), 105-127, 2000
252000
Unfolding-based process discovery
H Ponce-de-León, C Rodríguez, J Carmona, K Heljanko, S Haar
International Symposium on Automated Technology for Verification and …, 2015
232015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20