Æȷοì
Stefan Haar
Stefan Haar
INRIA and Université Paris-Saclay
inria.frÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
4102003
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
1782008
Distributed monitoring of concurrent and asynchronous systems
E Fabre, A Benveniste, S Haar, C Jard
Discrete Event Dynamic Systems 15 (1), 33-84, 2005
1282005
Reconciling qualitative, abstract, and scalable modeling of biological networks
L Paulevé, J Kolčák, T Chatain, S Haar
Nature communications 11 (1), 4256, 2020
1092020
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
1032003
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
782005
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
532014
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
522003
Distributed monitoring of concurrent and asynchronous systems
A Benveniste, S Haar, E Fabre, C Jard
International Conference on Concurrency Theory, 1-26, 2003
502003
Optimal constructions for active diagnosis
S Haar, S Haddad, T Melliti, S Schwoon
Journal of Computer and System Sciences 83 (1), 101-120, 2017
492017
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
492014
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
472007
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
452019
Types of asynchronous diagnosability and the reveals-relation in occurrence nets
S Haar
IEEE Transactions on Automatic Control 55 (10), 2310-2320, 2010
432010
Testing input/output partial order automata
S Haar, C Jard, GV Jourdan
International Workshop on Formal Approaches to Software Testing, 171-185, 2007
432007
Testing systems specified as partial order input/output automata
G Bochmann, S Haar, C Jard, GV Jourdan
International Workshop on Formal Approaches to Software Testing, 169-183, 2008
412008
Boolean networks: beyond generalized asynchronicity
T Chatain, S Haar, L Paulevé
Cellular Automata and Discrete Complex Systems: 24th IFIP WG 1.5 ¡¦, 2018
382018
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
382015
Concurrency in Boolean networks
T Chatain, S Haar, J Kolčák, L Paulevé, A Thakkar
Natural Computing 19, 91-109, 2020
322020
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
322003
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20