 |
 |
 |
 |
|
|
||
|---|---|---|
|
hal-00350478v1
Communication dans un congrès
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Synthesis of Optimal Strategies Using HyTech Workshop on Games in Design and Verification (GDV'04), 2004, Boston, United States. Elsevier, 119 (1), pp.11-31, 2005, Electronic Notes in Theoretical Computer Science. <10.1016/j.entcs.2004.07.006> |
||
|
hal-00350488v1
Communication dans un congrès
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit. Are Timed Automata Updatable ? 12th International Conference on Computer Aided Verification (CAV'2000), 2000, Chicago, United States. Springer, 1855, pp.464-479, 2000, Lecture Notes in Computer Science. <10.1007/10722167_35> |
||
|
hal-00350483v1
Communication dans un congrès
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen. Optimal Strategies in Priced Timed Game Automata 24th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04), 2004, Chennai, India. Springer, 3328, pp.148-160, 2004, Lecture Notes in Computer Science. <10.1007/b104325_13> |
||
|
hal-00350490v1
Communication dans un congrès
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit. Expressiveness of Updatable Timed Automata 25th International Symposium of Mathematical Foundation of Computer Science (MFCS'2000), 2000, Bratislava, Slovakia. Springer, 1893, pp.232-242, 2000, <10.1007/3-540-44612-5_19> |
||
|
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-00350486v1
Communication dans un congrès
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen. Static Guards Analysis in Timed Automata Verification 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03), 2003, Varsovie, Poland. Springer, 2619, pp.254-270, 2003, Lecture Notes in Computer Science. <10.1007/3-540-36577-X_18> |
||
|
hal-00772676v1
Communication dans un congrès
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains FOSSACS, Mar 2009, York, United Kingdom. pp.440-455, 2009 |
||
|
hal-00772771v1
Communication dans un congrès
Benedikt Bollig, Manuela-Lidia Grindei, Peter Habermehl. Realizability of Concurrent Recursive Programs de Alfaro, Luca. Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), 2009, York, UK, United Kingdom. Springer, 5504, pp.410-424, 2009, <10.1007/978-3-642-00596-1_29> |
||
|
hal-00772665v1
Chapitre d'ouvrage
Paul Gastin, Madhavan Mukund, K. Narayan Kumar. Reachability and boundedness in time-constrained MSC graphs Lodaya, Kamal and Mukund, Madhavan and Ramanujam, R. Perspectives in Concurrency Theory, Universities Press, pp.157-183, 2009 |
||
|
hal-00772667v1
Communication dans un congrès
Paul Gastin, Nathalie Sznajder, Thomas Chatain. Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems Nielsen, Mogens and Ku\v cera, Antonín and Bro Miltersen, Peter and Palamidessi, Catuscia and T\ruma, Petr and Valencia, Franck. Proceedings of the 35th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM'09), Jan 2009, Mlýn, Czech Republic. Springer, 5404, pp.141-152, 2009, <10.1007/978-3-540-95891-8_16> |
||
|
hal-00772670v1
Article dans une revue
Morten Kühnrich, Stefan Schwoon, Jirí Srba, Stefan Kiefer. Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains CoRR, Arxive, 2009, abs/0901.0501 |
||
|
hal-00772679v1
Communication dans un congrès
Paul Gastin, Benedikt Bollig. Weighted versus Probabilistic Logics Diekert, Volker and Nowotka, Dirk. Proceedings of the 13th International Conference on Developments in Language Theory (DLT'09), 2009, Stuttgart, Germany, Germany. Springer, 5583, pp.18-38, 2009, <10.1007/978-3-642-02737-6_2> |
||
|
hal-00772637v1
Communication dans un congrès
Thomas Chatain, Alexandre David, Kim Guldstrand Larsen. Playing Games with Timed Games Giua, Alessandro and Silva, Manuel and Zaytoon, Janan. Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Sep 2009, Zaragoza, Spain, Spain. 2009 |
||
|
hal-00772638v1
Communication dans un congrès
Peter Bulychev, Alexandre David, Kim Guldstrand Larsen, Thomas Chatain. Checking simulation relation between timed game automata Ouaknine, Joël and Vaandrager, Frits. Proceedings of the 7th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS'09), Sep 2009, Budapest, Hungary, Hungary. Springer, 5813, pp.73-87, 2009, <10.1007/978-3-642-04368-0_8> |
||
|
hal-00772642v1
Chapitre d'ouvrage
Manfred Droste, Paul Gastin. Weighted automata and weighted logics Kuich, Werner and Vogler, Heiko and Droste, Manfred. Handbook of Weighted Automata, Springer, pp.175-211, 2009 |
||
|
hal-00772632v1
Communication dans un congrès
Andreas Gaiser, Stefan Schwoon. Comparison of Algorithms for Checking Emptiness on Büchi Automata MEMICS, Nov 2009, Znojmo, Czech Republic. 2009 |
||
|
hal-00772633v1
Communication dans un congrès
Mahdi Zargayouna, Flavien Balbo, Serge Haddad. Agents Secure Interaction in Data Driven Languages Dastani, Mehdi and El~Fallah Seghrouchni, Amal and Leite, João and Torroni, Paolo. Revised Selected Papers of the 2nd Workshop on LAnguages, methodologies and Development tools for multi-agent systemS (LADS'09), Sep 2009, Torino, Italy, Italy. Springer, 6039, pp.72-91, 2009, <10.1007/978-3-642-13338-1_5> |
||
|
hal-00776598v1
Communication dans un congrès
César Rodríguez, Stefan Schwoon. Verification of Petri Nets with Read Arcs Koutny, Maciej and Ulidowski, Irek. Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, United Kingdom. Springer, 7454, pp.471-485, 2012, <10.1007/978-3-642-32940-1_33> |
||
|
hal-00776574v1
Communication dans un congrès
Sandie Balaguer, Thomas Chatain. Avoiding Shared Clocks in Networks of Timed Automata Koutny, Maciej and Ulidowski, Irek. Proceedings of the 23rd International Conference on Concurrency Theory (CONCUR'12), 2012, Newcastle, UK, United Kingdom. Springer, 7454, pp.100-114, 2012, <10.1007/978-3-642-32940-1_9> |
||
|
inria-00077037v1
Rapport
Yvon Jégou. Implementation of Page Management in Mome, a User-Level DSM [Research Report] RR-4999, INRIA. 2003 |
||
|
hal-00776601v1
Chapitre d'ouvrage
Stéphane Demri, Paul Gastin. Specification and Verification using Temporal Logics D'Souza, Deepak and Shankar, Priti. Modern applications of automata theory, 2, World Scientific, pp.457-494, 2012 |
||
|
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> |
||
|
inria-00001070v1
Rapport
Gabriel Antoniu, Loïc Cudennec, Sébastien Monnet. Extending the entry consistency model to enable efficient visualization for code-coupling grid applications [Research Report] PI 1779, 2006, pp.17 |
||
|
inria-00001069v1
Rapport
Loïc Cudennec, Sébastien Monnet. Extension du modèle de cohérence à l'entrée pour la visualisation dans les applications de couplage de codes sur grille [Rapport de recherche] PI 1778, 2006, pp.8 |
||
|
hal-00772668v1
Communication dans un congrès
Serge Haddad, Nihal Pekergin. Using Stochastic Comparison for Efficient Model Checking of Uncertain Markov Chains Proceedings of the 6th International Conference on Quantitative Evaluation of Systems (QEST'09), Sep 2009, Budapest, Hungary, Hungary. IEEE Computer Society Press, pp.177-186, 2009, <10.1109/QEST.2009.42> |
||
|
hal-00772636v1
Communication dans un congrès
Peter Habermehl, Carsten Kern, Martin Leucker, Benedikt Bollig. Angluin-Style Learning of~NFA Boutilier, Craig. Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI'09), Jul 2009, Pasadena, CA, USA, United States. AAAI Press, pp.1004-1009, 2009 |
||
|
hal-00772643v1
Chapitre d'ouvrage
Volker Diekert, Paul Gastin. Local safety and local liveness for distributed systems Lodaya, Kamal and Mukund, Madhavan and Ramanujam, R. Perspectives in Concurrency Theory, Universities Press, pp.86-106, 2009 |
||
|
hal-00772681v1
Communication dans un congrès
Serge Haddad, Lynda Mokdad, Samir Youcef. Selection of the Best composite Web Service Based on Quality of Service Abramowicz, Witold and Alt, Rainer and Fähnrich, Klaus-Peter and Franczyk, Bogdan and Maciaszek, Leszek A. Proceedings of the 2nd International Symposium on Services Science and 3rd International Conference on Business Process and Services Computing (ISSS\slashBPSC'10), 2010, Leipzig, Germany, Germany. Gesellschaft für Informatik, 177, pp.255-266, 2010 |
||
|
inria-00000160v1
Rapport
Zsolt Németh, Christian Pérez, Thierry Priol. Workflow Enactment Based on a Chemical Metaphor [Research Report] PI 1734, 2005, pp.20 |
||
|
|
||