 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-01250369v1
Direction d'ouvrage, Proceedings
Stefan Haar, Roland Meyer. Proceedings 15th International Conference on Application of Concurrency to System Design (ACSD), 2015 Stefan Haar and Roland Meyer. ACSD 2015, Jun 2015, Brussels, Belgium. IEEE 2015, IEEE, <10.1109/ACSD.2015.23>. <http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7352411> |
||
|
hal-01322956v1
Pré-publication, Document de travail
Stefan Haar, Simon Theissing. A Passenger-centric Multi-agent System Model for Multimodal Public Transportation 2016 |
||
|
hal-00926098v1
Communication dans un congrès
Stefan Haar, Serge Haddad, Tarek Melliti, Stefan Schwoon. Optimal Constructions for Active Diagnosis 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Dec 2013, Guwahati, India. pp.527-539, 2013, Leibniz International Proceedings in Informatics |
||
|
hal-00776783v1
Communication dans un congrès
Hernán Ponce de León, Stefan Haar, Delphine Longuet. Conformance Relations for Labeled Event Structures Brucker, Achim D. and Julliand, Jacques. Proceedings of the 6th International Conference on Tests and Proofs (TAP'12), 2012, Prague, Czech Republic. Springer, 7305, pp.83-98, 2012, <10.1007/978-3-642-30473-6_8> |
||
|
hal-00776774v1
Communication dans un congrès
Anoopam Agarwal, Agnes Madalinski, Stefan Haar. Effective Verification of Weak Diagnosability Proceedings of the 8th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS'12), 2012, Mexico City, Mexico. IFAC, 2012, <10.3182/20120829-3-MX-2028.00083> |
||
|
hal-00926190v1
Communication dans un congrès
Thomas Chatain, Stefan Haar. A Canonical Contraction for Safe Petri Nets Daniel Moldt ; Heiko Rölke. 7th International Workshop on Petri Nets and Software Engineering (PNSE'13), 2013, Germany. 969, pp.25-39, 2013, CEUR Workshop Proceedings |
||
|
hal-00926087v1
Chapitre d'ouvrage
Stefan Haar, Eric Fabre. Diagnosis with Petri Net Unfoldings Carla Seatzu and Manuel Silva and Jan H. van Schuppen. Control of Discrete-Event Systems - Automata and Petri Net Perspectives, Springer, pp.301-318, 2013, Lecture Notes in Control and Information Sciences, 978-1-4471-4276-8. <10.1007/978-1-4471-4276-8_15> |
||
|
hal-00926103v1
Communication dans un congrès
Hernán Ponce de León, Stefan Haar, Delphine Longuet. Unfolding-based Test Selection for Concurrent Conformance Springer. 25th IFIP International Conference on Testing Software and Systems (ICTSS'13), 2013, Turkey. 8254, pp.98-113, 2013, Lecture Notes in Computer Science |
||
|
inria-00099127v1
Communication dans un congrès
Bruno Gaujal, Stefan Haar. A limit Semantics for timed Petri Nets 5th Workshop on Discrete Event Systems - Wodes 2000, Aug 2000, Gent/Belgique, 8 p, 2000 |
||
|
inria-00504058v1
Rapport
Sandie Balaguer, Thomas Chatain, Stefan Haar. A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata [Research Report] RR-7338, INRIA. 2010, pp.22 |
||
|
inria-00100864v1
Communication dans un congrès
Stefan Haar, Laurent Kaiser, Françoise Simonot-Lion, Joël Toussaint. Equivalence of Timed State Machines and safe TPN Manuel Silva, Alessandro Giua, José M. Colom. 6th International Workshop on Discrete Event Systems - WODES'02, 2002, Zaragoza/Spain, Spain. IEEE, pp.119-126, 2002 |
||
|
hal-00350939v1
Communication dans un congrès
Samy Abbes, Albert Benveniste, Stefan Haar. A Petri net model for distributed estimation Sixteenth International Symposium on Mathematical Theory of Networks and Systems, 2004, Louvain, Belgium. pp.ISBN 90-5682-517-8, 2004 |
||
|
inria-00638322v1
Communication dans un congrès
Serge Abiteboul, Zoe Abrams, Stefan Haar, Tova Milo. Diagnosis of asynchronous discrete event systems: datalog to the rescue! Li, Chen. Proceedings of the 24th Annual ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'05), 2005, Baltimore, Maryland, USA, United States. ACM Press, pp.358-367, 2005, <10.1145/1065167.1065214> |
||
|
inria-00638342v1
Communication dans un congrès
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Distributed Monitoring of Concurrent and Asynchronous Systems Amadio, Roberto M. and Lugiez, Denis. Proceedings of the 14th International Conference on Concurrency Theory (CONCUR'03), 2003, Marseilles, France, France. Springer, 2761, pp.1-26, 2003 |
||
|
inria-00638345v1
Communication dans un congrès
Albert Benveniste, Eric Fabre, Stefan Haar, Claude Jard. Diagnosis of Asynchronous Discrete Event Systems, A~Net Unfolding Approach Proceedings of the 6th Workshop on Discrete Event Systems (WODES'02), 2002, Zaragoza, Spain, Spain. pp.182-190, 2002 |
||
|
inria-00638356v1
Communication dans un congrès
Stefan Haar. Branching Processes of General S/T-Systems and their Properties Jan\v car, Petr and Křetínský, Mojmír. Proceedings of the MFCS'98 Workshop on Concurrency, 1998, Brno, Czech Republic, Czech Republic. Elsevier Science Publishers, 18, pp.65-74, 1998, <10.1016/S1571-0661(05)80250-6> |
||
|
inria-00638283v1
Communication dans un congrès
Sandie Balaguer, Thomas Chatain, Stefan Haar. A~Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Markey, Nicolas and Wijsen, Jef. Proceedings of the 17th International Symposium on Temporal Representation and Reasoning (TIME'10), Sep 2010, Paris, France, France. IEEE Computer Society Press, pp.77-84, 2010, <10.1109/TIME.2010.12> |
||
|
inria-00638305v1
Communication dans un congrès
Gregor Von Bochmann, Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Systems Specified as Partial Order Input\slashOutput Automata Suzuki, Kenji and Higashino, Teruo and Ulrich, Andreas and Hasegawa, Toru. Proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'08) and 8th International Workshop on Formal Approaches to Testing of Software (FATES'08), 2008, Tokyo, Japan, Japan. Springer, 5047, pp.169-183, 2008, <10.1007/978-3-540-68524-1_13> |
||
|
inria-00638306v1
Communication dans un congrès
Stefan Haar, Claude Jard, Guy-Vincent Jourdan. Testing Input\slashOutput Partial Order Automata Petrenko, Alexandre and Veanes, Margus and Tretmans, Jan and Grieskamp, Wolfgang. Proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing of Software and Communicating Systems (TestCom'07) and 7th International Workshop on Formal Approaches to Testing of Software (FATES'07), 2007, Tallinn, Estonia. Springer, 4581, pp.171-185, 2007, <10.1007/978-3-540-73066-8_12> |
||
|
inria-00638308v1
Communication dans un congrès
Stefan Haar. Unfold and Cover: Qualitative Diagnosability for Petri Nets Proceedings of the 46th IEEE Conference on Decision and Control (CDC'07), 2007, New Orleans, LA, USA, United States. IEEE Control System Society, pp.1886-1891, 2007, <10.1109/CDC.2007.4434691> |
||
|
inria-00638349v1
Communication dans un congrès
Stefan Haar. Probabilistic Unfoldings and Partial Order Fairness in Petri Nets Hermanns, Holger and Segala, Roberto. Proceedings of the 2nd Joint Interbational Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification (PAPM-PROBMIV'02), 2002, Copenhagen, Denmark, Denmark. Springer, 2399, pp.95-114, 2002, <10.1007/3-540-45605-8_7> |
||
|
inria-00638285v1
Communication dans un congrès
Stefan Haar. What Topology Tells us about Diagnosability in Partial Order Semantics Proceedings of the 10th Workshop on Discrete Event Systems (WODES'10), Aug 2010, Berlin, Germany. pp.221-226, 2010 |
||
|
inria-00638299v1
Communication dans un congrès
Sidney Rosario, David Kitchin, Albert Benveniste, William Cook, Stefan Haar et al. Event Structure Semantics of Orc Dumas, Marlon and Heckel, Reiko. Proceedings of the 4th International Workshop on Web Services and Formal Methods (WS-FM'07), 2008, Brisbane, Australia, Australia. Springer, 4937, pp.154-168, 2008, <10.1007/978-3-540-79230-7_11> |
||
|
inria-00638311v1
Communication dans un congrès
Sidney Rosario, Albert Benveniste, Stefan Haar, Claude Jard. Probabilistic QoS and soft contracts for transaction based web services Proceedings of the 6th International Conference on Web Services (ICWS'07), 2007, Salt Lake City, Utah, USA, United States. IEEE Computer Society Press, pp.126-133, 2007, <10.1109/ICWS.2007.144> |
||
|
inria-00638325v1
Communication dans un congrès
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Armen Aghasaryan. Algorithms for Distributed Fault Management in Telecommunications Networks de Souza, José Neuman and Dini, Petre and Lorenz, Pascal. Proceedings of the 11th International Conference on Telecommunications (ICT'04), 2004, Fortaleza, Brazil, Brazil. Springer, 3124, pp.820-825, 2004 |
||
|
inria-00638333v1
Communication dans un congrès
Stefan Haar. Distributed Semi-Markov Processes in Stochastic T-Timed Petri Nets Proceedings of the 10th International Workshop on Petri Nets and Performance Models (PNPM'03), 2003, Urbana, IL, USA, United States. IEEE Computer Society Press, pp.114-123, 2003 |
||
|
hal-01286476v2
Pré-publication, Document de travail
Stefan Haar, Simon Theissing. Predicting traffic load in public transportation networks 2016 |
||
|
hal-01294498v1
Pré-publication, Document de travail
Stefan Haar, Simon Theissing. Decoupling Passenger Flows for Improved Load Prediction 2016 |
||
|
hal-01328189v4
Communication dans un congrès
Stefan Haar, Salim Perchy, Frank Valencia. D-SPACES: Implementing Declarative Semantics for Spatially Structured Information 11th International Conference on Semantic Computing , Jan 2017, San Diego, California, United States. 11, 2017, IEEE ICSC 2017. <http://icsc.eecs.uci.edu/2017/> |
||
|
hal-01484476v1
Communication dans un congrès
Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon. The Complexity of Diagnosability and Opacity Verification for Petri Nets Wil van der Aalst; Eike Best. Petri nets 2017, 2017, Zaragoza, Spain. Springer, Lecture Notes in Computer Science |
||
|
|
||