×
Compute Distance To:
Author ID: haar.stefan Recent zbMATH articles by "Haar, Stefan"
Published as: Haar, Stefan

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 135 times in 94 Documents Cited by Year
Diagnosis of asynchronous discrete-event systems: a net unfolding approach. Zbl 1364.93452
Benveniste, Albert; Fabre, Eric; Haar, Stefan; Jard, Claude
36
2003
Distributed monitoring of concurrent and asynchronous systems. Zbl 1077.68059
Fabre, Eric; Benveniste, Albert; Haar, Stefan; Jard, Claude
16
2005
Markov nets: probabilistic models for distributed and concurrent systems. Zbl 1364.93451
Benveniste, Albert; Fabre, Eric; Haar, Stefan
10
2003
Types of asynchronous diagnosability and the reveals-relation in occurrence nets. Zbl 1368.68262
Haar, Stefan
6
2010
Active diagnosis for probabilistic systems. Zbl 1405.68223
Bertrand, Nathalie; Fabre, Éric; Haar, Stefan; Haddad, Serge; Hélouët, Loïc
6
2014
Distributed monitoring of concurrent and asynchronous systems. Zbl 1274.68221
Benveniste, Albert; Haar, Stefan; Fabre, Eric; Jard, Claude
5
2003
Distributed unfolding of Petri nets. Zbl 1180.68185
Baldan, Paolo; Haar, Stefan; König, Barbara
5
2006
Blocking a transition in a free choice net and what it tells about its throughput. Zbl 1054.68093
Gaujal, Bruno; Haar, Stefan; Mairesse, Jean
5
2003
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Zbl 1353.68203
Guzman, Michell; Haar, Stefan; Perchy, Salim; Rueda, Camilo; Valencia, Frank D.
5
2017
Computing the reveals relation in occurrence nets. Zbl 1294.68112
Haar, Stefan; Kern, Christian; Schwoon, Stefan
4
2013
Building occurrence nets from reveals relations. Zbl 1293.68199
Balaguer, Andie; Chatain, Thomas; Haar, Stefan
4
2013
Critical paths in the partial order unfolding of a stochastic Petri net. Zbl 1262.68135
Bouillard, Anne; Haar, Stefan; Rosario, Sidney
3
2009
Monotonicity in service orchestrations. Zbl 1242.68009
Bouillard, Anne; Rosario, Sidney; Benveniste, Albert; Haar, Stefan
3
2009
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2010
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2008
Optimal constructions for active diagnosis. Zbl 1350.68052
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2017
Clusters, confusion and unfoldings. Zbl 1004.68115
Haar, Stefan
2
2001
Optimal constructions for active diagnosis. Zbl 1359.68169
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2013
What topology tells us about diagnosability in partial order semantics. Zbl 1267.93108
Haar, Stefan
2
2012
Occurrence net logics. Zbl 0965.68060
Haar, Stefan
1
2000
A limit semantics for timed PN. Zbl 1009.68088
Gaujal, Bruno; Haar, Stefan
1
2000
The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan
1
2018
Parameter space abstraction and unfolding semantics of discrete regulatory networks. Zbl 1423.68313
Kolčák, Juraj; Šafránek, David; Haar, Stefan; Paulevé, Loïc
1
2019
Temporal reprogramming of Boolean networks. Zbl 1416.92092
Mandon, Hugues; Haar, Stefan; Paulevé, Loïc
1
2017
Sequential reprogramming of Boolean networks made practical. Zbl 1422.92057
Mandon, Hugues; Su, Cui; Haar, Stefan; Pang, Jun; Paulevé, Loïc
1
2019
Unfolding-based process discovery. Zbl 1471.68171
Ponce-de-León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan
1
2015
Distributed testing of concurrent systems: vector clocks to the rescue. Zbl 1432.68317
Ponce-de-León, Hernán; Haar, Stefan; Longuet, Delphine
1
2014
Diagnosis with Petri net unfoldings. Zbl 1304.93056
Haar, Stefan; Fabre, Eric
1
2013
Closed sets in occurrence nets with conflicts. Zbl 1315.68189
Bernardinello, Luca; Ferigato, Carlo; Haar, Stefan; Pomello, Lucia
1
2014
Probabilistic cluster unfoldings. Zbl 1062.68080
Haar, Stefan
1
2003
Conformance relations for labeled event structures. Zbl 1354.68202
Ponce de León, Hernán; Haar, Stefan; Longuet, Delphine
1
2012
A concurrency-preserving translation from time Petri nets to networks of timed automata. Zbl 1252.68200
Balaguer, Sandie; Chatain, Thomas; Haar, Stefan
1
2012
Parameter space abstraction and unfolding semantics of discrete regulatory networks. Zbl 1423.68313
Kolčák, Juraj; Šafránek, David; Haar, Stefan; Paulevé, Loïc
1
2019
Sequential reprogramming of Boolean networks made practical. Zbl 1422.92057
Mandon, Hugues; Su, Cui; Haar, Stefan; Pang, Jun; Paulevé, Loïc
1
2019
The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan
1
2018
Belief, knowledge, lies and other utterances in an algebra for space and extrusion. Zbl 1353.68203
Guzman, Michell; Haar, Stefan; Perchy, Salim; Rueda, Camilo; Valencia, Frank D.
5
2017
Optimal constructions for active diagnosis. Zbl 1350.68052
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2017
Temporal reprogramming of Boolean networks. Zbl 1416.92092
Mandon, Hugues; Haar, Stefan; Paulevé, Loïc
1
2017
Unfolding-based process discovery. Zbl 1471.68171
Ponce-de-León, Hernán; Rodríguez, César; Carmona, Josep; Heljanko, Keijo; Haar, Stefan
1
2015
Active diagnosis for probabilistic systems. Zbl 1405.68223
Bertrand, Nathalie; Fabre, Éric; Haar, Stefan; Haddad, Serge; Hélouët, Loïc
6
2014
Distributed testing of concurrent systems: vector clocks to the rescue. Zbl 1432.68317
Ponce-de-León, Hernán; Haar, Stefan; Longuet, Delphine
1
2014
Closed sets in occurrence nets with conflicts. Zbl 1315.68189
Bernardinello, Luca; Ferigato, Carlo; Haar, Stefan; Pomello, Lucia
1
2014
Computing the reveals relation in occurrence nets. Zbl 1294.68112
Haar, Stefan; Kern, Christian; Schwoon, Stefan
4
2013
Building occurrence nets from reveals relations. Zbl 1293.68199
Balaguer, Andie; Chatain, Thomas; Haar, Stefan
4
2013
Optimal constructions for active diagnosis. Zbl 1359.68169
Haar, Stefan; Haddad, Serge; Melliti, Tarek; Schwoon, Stefan
2
2013
Diagnosis with Petri net unfoldings. Zbl 1304.93056
Haar, Stefan; Fabre, Eric
1
2013
What topology tells us about diagnosability in partial order semantics. Zbl 1267.93108
Haar, Stefan
2
2012
Conformance relations for labeled event structures. Zbl 1354.68202
Ponce de León, Hernán; Haar, Stefan; Longuet, Delphine
1
2012
A concurrency-preserving translation from time Petri nets to networks of timed automata. Zbl 1252.68200
Balaguer, Sandie; Chatain, Thomas; Haar, Stefan
1
2012
Types of asynchronous diagnosability and the reveals-relation in occurrence nets. Zbl 1368.68262
Haar, Stefan
6
2010
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1214.68242
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2010
Critical paths in the partial order unfolding of a stochastic Petri net. Zbl 1262.68135
Bouillard, Anne; Haar, Stefan; Rosario, Sidney
3
2009
Monotonicity in service orchestrations. Zbl 1242.68009
Bouillard, Anne; Rosario, Sidney; Benveniste, Albert; Haar, Stefan
3
2009
Unfolding-based diagnosis of systems with an evolving topology. Zbl 1160.68453
Baldan, Paolo; Chatain, Thomas; Haar, Stefan; König, Barbara
3
2008
Distributed unfolding of Petri nets. Zbl 1180.68185
Baldan, Paolo; Haar, Stefan; König, Barbara
5
2006
Distributed monitoring of concurrent and asynchronous systems. Zbl 1077.68059
Fabre, Eric; Benveniste, Albert; Haar, Stefan; Jard, Claude
16
2005
Diagnosis of asynchronous discrete-event systems: a net unfolding approach. Zbl 1364.93452
Benveniste, Albert; Fabre, Eric; Haar, Stefan; Jard, Claude
36
2003
Markov nets: probabilistic models for distributed and concurrent systems. Zbl 1364.93451
Benveniste, Albert; Fabre, Eric; Haar, Stefan
10
2003
Distributed monitoring of concurrent and asynchronous systems. Zbl 1274.68221
Benveniste, Albert; Haar, Stefan; Fabre, Eric; Jard, Claude
5
2003
Blocking a transition in a free choice net and what it tells about its throughput. Zbl 1054.68093
Gaujal, Bruno; Haar, Stefan; Mairesse, Jean
5
2003
Probabilistic cluster unfoldings. Zbl 1062.68080
Haar, Stefan
1
2003
Clusters, confusion and unfoldings. Zbl 1004.68115
Haar, Stefan
2
2001
Occurrence net logics. Zbl 0965.68060
Haar, Stefan
1
2000
A limit semantics for timed PN. Zbl 1009.68088
Gaujal, Bruno; Haar, Stefan
1
2000
all top 5

Cited by 178 Authors

8 Haar, Stefan
7 Lafortune, Stéphane
6 Benveniste, Albert
5 Abbes, Samy
5 Baldan, Paolo
5 Fabre, Eric
5 Giua, Alessandro
4 Gaujal, Bruno
4 Jard, Claude
3 Bouillard, Anne
3 Chatain, Thomas
3 Haddad, Serge
3 Hélouët, Loïc
3 König, Barbara
3 Lefaucheux, Engel
3 Marchand, Hervé
3 Paoli, Andrea
3 Schwoon, Stefan
3 Valencia, Frank D.
3 Yoo, Tae-Sic
2 Bertrand, Nathalie
2 Bruni, Roberto
2 Chen, Xiaoliang
2 Cocquempot, Vincent
2 Corradini, Andrea
2 Garcia, Humberto E.
2 Gazagnaire, Thomas
2 Guzmán, Michell
2 Hadjicostis, Christoforos N.
2 Heindel, Tobias
2 Jezequel, Loïg
2 Lefebvre, Dimitri
2 Mairesse, Jean
2 Melgratti, Hernán
2 Montanari, Ugo G.
2 Mukhopadhyay, Siddhartha
2 Pinna, G. Michele
2 Popova-Zeugmann, Louchka
2 Rosario, Sidney
2 Sarkar, Dipankar
2 Sobociński, Paweł
2 Virbitskaite, Irina B.
1 Al-Ahmari, Abdulrahman M.
1 Andreu, David
1 Armas-Cervantes, Abel
1 Ashley, Jeffrey
1 Bao, Yunxia
1 Basile, Francesco
1 Basilio, João Carlos
1 Basu, Anupam
1 Beggiato, Alessandro
1 Benevides, Mario R. F.
1 Berdjag, Denis
1 Bernardinello, Luca
1 Bhowal, Prodip
1 Biswas, Santosh
1 Boel, René K.
1 Bonet, Blai
1 Bordbar, Behzad
1 Borovlev, V. A.
1 Borovlyov, Victor
1 Brucker, Achim D.
1 Cabasino, Maria Paola
1 Carraro, Alberto
1 Casu, Giovanni
1 Chai, Xinwei
1 Chatterjee, Krishnendu
1 Chédor, Sébastien
1 Chmelík, Martin
1 Christophe, Cyrille
1 Comlan, Maurice
1 Contant, Olivier
1 Correcher, Antonio
1 Dandan, Ye
1 Delaplace, Franck
1 Delfieu, David
1 Dotoli, Mariagrazia
1 Du, Yuyue
1 Dumas, Marlon
1 El-Tamimi, Abdulaziz Mohammed
1 Falaschi, Moreno
1 Fanti, Maria Pia
1 Gabbrielli, Maurizio
1 García-Bañuelos, Luciano
1 García, Emilio
1 Genest, Blaise
1 Godary-dejean, Karen
1 Gößler, Gregor
1 Gougam, Houssam-Eddine
1 Grastien, Alban
1 Haslum, Patrik
1 Hickmott, Sarah L.
1 Holloway, Lawrence E.
1 Hongye, Su
1 Hu, Yihui
1 Inoue, Katsumi
1 Ivanov, Sergiu
1 Jiang, Bin
1 Jiang, Zhongyuan
1 Jiliang, Luo
...and 78 more Authors

Citations by Year