 |
 |
 |
 |
|
|
||
|---|---|---|
|
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> |
||
|
inria-00201070v1
Communication dans un congrès
Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina. A Probabilistic Applied Pi-Calculus 5th Asian Symposium on Programming Languages and Systems (APLAS'07), Nov 2007, Singapore, Singapore. Springer, 4807, pp.175-190, 2007, Lecture Notes in Computer Science; Proceedings of the 5th Asian Symposium on Programming Languages and Systems. <10.1007/978-3-540-76637-7_12> |
||
|
hal-00923265v1
Communication dans un congrès
Serge Abiteboul, Daniel Deutch, Victor Vianu. Deduction with Contradictions in Datalog International Conference on Database Theory, 2014, Athens, Greece. 2014 |
||
|
hal-01424816v1
Mémoires d'étudiants -- Hal-inria+
François Thiré. Internship report MPRI 2 Reverse engineering on arithmetic proofs Computer Science [cs]. 2016 |
||
|
inria-00424520v1
Communication dans un congrès
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Marcus Größer. Almost-Sure Model Checking of Infinite Paths in One-Clock Timed Automata. 23rd Annual IEEE Symposium on Logic in Computer Science (LICS'08), Jun 2008, Pittsburgh, United States. IEEE, pp.217-226, 2008, <10.1109/LICS.2008.25> |
||
|
inria-00424518v1
Communication dans un congrès
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Nicolas Markey. Quantitative Model-Checking of One-Clock Timed Automata under Probabilistic Semantics. 5th International Conference on the Quantitative Evaluation of Systems (QEST'08), Sep 2008, Saint Malo, France. IEEE, pp.55-64, 2008, <10.1109/QEST.2008.19> |
||
|
hal-01322956v1
Pré-publication, Document de travail
Stefan Haar, Simon Theissing. A Passenger-centric Multi-agent System Model for Multimodal Public Transportation 2016 |
||
|
inria-00424351v1
Communication dans un congrès
Christel Baier, Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye. When are timed automata determinizable? 36th International Colloquium on Automata, Languages and Programming (ICALP'09), Jul 2009, Rhodes, Greece. Springer, 5556, pp.43-54, 2009, LNCS. <10.1007/978-3-642-02930-1_4> |
||
|
hal-01076694v1
Communication dans un congrès
Ranko Lazić, Sylvain Schmitz. Non-Elementary Complexities for Branching VASS, MELL, and Extensions Joint meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2014, Vienna, Austria. ACM, pp.61:1--61:1, 2014, <10.1145/2603088.2603129> |
||
|
hal-01076698v1
Communication dans un congrès
Sylvain Schmitz. Implicational Relevance Logic is 2-ExpTime-Complete Gilles Dowek. Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications, Jul 2014, Vienna, Austria. Springer, 8560, pp.395--409, Lecture Notes in Comptuer Science. <10.1007/978-3-319-08918-8_27> |
||
|
hal-01076701v1
Communication dans un congrès
Sylvain Schmitz. Complexity Bounds for Ordinal-Based Termination Joël Ouaknine; Igor Potapov; James Worrell. 8th International Workshop on Reachability Problems, Sep 2014, Oxford, United Kingdom. Springer, 8762, pp.1--19, Lecture Notes in Computer Science. <10.1007/978-3-319-11439-2_1> |
||
|
hal-01275289v1
Pré-publication, Document de travail
Amina Doumane, David Baelde, Lucca Hirschi, Alexis Saurin. Towards Completeness via Proof Search in the Linear Time mu-Calculus 2016 |
||
|
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-00772592v1
Communication dans un congrès
David Baelde, Dale Miller, Zachary Snow. Focused Inductive Theorem Proving IJCAR 2010 - International Joint Conference on Automated Deduction, 2010, Edinburgh, United Kingdom. 2010 |
||
|
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-00925467v1
Communication dans un congrès
Thomas Chatain, Claude Jard. Back in Time Petri Nets FORMATS'13, 2013, Argentina. Springer, 8053, pp.91-105, 2013, Lecture Notes in Computer Science |
||
|
hal-00925457v1
Communication dans un congrès
Javier Esparza, Loïc Jezequel, Stefan Schwoon. Computation of summaries using net unfoldings 33rd Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), 2013, India. 24, pp.225-236, 2013, Leibniz International Proceedings in Informatics |
||
|
hal-00925448v1
Communication dans un congrès
César Rodríguez, Stefan Schwoon. Cunf: A Tool for Unfolding and Verifying Petri Nets with Read arcs 11th International Symposium on Automated Technology for Verification and Analysis (ATVA'13), 2013, Vietnam. Springer, 8172, pp.492-495, 2013, Lecture Notes in Computer Science |
||
|
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-01030765v1
Communication dans un congrès
Benedikt Bollig, Paul Gastin, Akshay Kumar. Parameterized Communicating Automata: Complementation and Model Checking 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India |
||
|
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> |
||
|
|
||