Sites Inria

Version française

SUMO Research team

SUMO team publications

2019

Journal articles

titre
A Survey of Fault Management in Network Virtualization Environments: Challenges and Solutions
auteur
Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler, Imen Grida Ben Yahia
article
IEEE Transactions on Network and Service Management, IEEE, 2019, pp.1-15. ⟨10.1109/TNSM.2019.2948420⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02370378/file/survey_TNSM.pdf BibTex
titre
Performance Analysis and Optimality Results for Data-Locality Aware Tasks Scheduling with Replicated Inputs
auteur
Olivier Beaumont, Thomas Lambert, Loris Marchal, Bastien Thomas
article
Future Generation Computer Systems, Elsevier, 2019, pp.1-28. ⟨10.1016/j.future.2019.08.024⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02275473/file/paper_revision%20%281%29.pdf BibTex
titre
Controlling a population
auteur
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert, Adwait Godbole
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2019, 15 (3), pp.1-30. ⟨10.23638/LMCS-15(3:6)2019⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02350251/file/1807.00893.pdf BibTex
titre
Modeling Variability in Populations of Cells using Approximated Multivariate Distributions
auteur
Matthieu Pichené, Sucheendra Palaniappan, Eric Fabre, Blaise Genest
article
IEEE/ACM Transactions on Computational Biology and Bioinformatics, Institute of Electrical and Electronics Engineers, In press, pp.1-12. ⟨10.1109/TCBB.2019.2904276⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02350249/file/PPFG19.pdf BibTex
titre
Optimal Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand
article
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2019, 29 (1), pp.169-214. ⟨10.1017/S0960129517000123⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01262444/file/MSCS-Hal-v4.pdf BibTex

Conference papers

titre
Towards resilient supervisors against sensor deception attacks
auteur
Rômulo Meira-Góes, Hervé Marchand, Stéphane Lafortune
article
CDC 2019 - 58th IEEE Conference on Decision and Control, Dec 2019, Nice, France. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02390435/file/CDC19_0471_FI.pdf BibTex
titre
Concurrent parameterized games
auteur
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
article
FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02351236/file/fsttcs19.pdf BibTex
titre
Reachability Games with Relaxed Energy Constraints
auteur
Loïc Hélouët, Nicolas Markey, Ritam Raha
article
GandALF 2019 - Tenth International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2019, Bordeaux, France. pp.17-33, ⟨10.4204/EPTCS.305.2⟩
Accès au bibtex
BibTex
titre
Optimisation en présence de contraintes en probabilité et processus markoviens contrôlés
auteur
Mauricio Gonzalez, Patricia Bouyer, Samson Lasaulce, Nicolas Markey
article
GRETSI 2019 - XXVIIème Colloque GRETSI Traitement du Signal & des Images, Aug 2019, Lille, France. pp.1-4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02268161/file/GBLM-gretsi19.pdf BibTex
titre
Verification of Randomized Consensus Algorithms under Round-Rigid Adversaries
auteur
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
article
CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-16, ⟨10.4230/LIPIcs.CONCUR.2019.33⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02191348/file/main.pdf BibTex
titre
Reconfiguration and message losses in parameterized broadcast networks
auteur
Nathalie Bertrand, Patricia Bouyer, Anirban Majumdar
article
CONCUR 2019 - 30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1 - 15, ⟨10.4230/LIPIcs.CONCUR.2019.32⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02191382/file/concur.pdf BibTex
titre
Reachability and Coverage Planning for Connected Agents
auteur
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
article
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1-7
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02349475/file/0021.pdf BibTex
titre
Reasoning about Quality and Fuzziness of Strategic Behaviours
auteur
Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano, Giuseppe Perelli
article
IJCAI 2019 - 28th International Joint Conference on Artificial Intelligence, Aug 2019, Macao, China. pp.1588-1594, ⟨10.24963/ijcai.2019/220⟩
Accès au bibtex
https://arxiv.org/pdf/1905.11537 BibTex
titre
Abstraction Refinement Algorithms for Timed Automata
auteur
Victor Roussanaly, Ocan Sankur, Nicolas Markey
article
CAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New York, United States. pp.22-40, ⟨10.1007/978-3-030-25540-4_2⟩
Accès au bibtex
BibTex
titre
Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach
auteur
Damien Busatto-Gaston, Benjamin Monmege, Pierre-Alain Reynier, Ocan Sankur
article
CAV 2019 - 31st International Conference on Computer Aided Verification, Jul 2019, New-York, United States. pp.572-590, ⟨10.1007/978-3-030-25540-4_33⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02264083/file/paper.pdf BibTex
titre
Two Operations for Stable Structures of Elementary Regions
auteur
Federica Adobbati, Carlo Ferigato, Stefano Gandelli, Adrián Puerto Aubel
article
ATAED 2019 - Workshop Algorithms & Theories for the Analysis of Event Data, Wil van der Aalst, Jun 2019, Aachen, Germany. pp.36-53
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02337628/file/ataed19_HAL.pdf BibTex
titre
Long-run Satisfaction of Path Properties
auteur
Christel Baier, Nathalie Bertrand, Jakob Piribauer, Ocan Sankur
article
LICS 2019 - 34th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2019, Vancouver, Canada. pp.1-31, ⟨10.1109/LICS.2019.8785672⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02349456/file/long-run-satisfaction-2019-extended.pdf BibTex
titre
Performance Evaluation of Metro Regulations Using Probabilistic Model-checking
auteur
Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
article
RSSRail 2019 - International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification, Jun 2019, Lille, France. pp.59-76, ⟨10.1007/978-3-030-18744-6_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02065365/file/rssr19-Long.pdf BibTex
titre
Reachability and Coverage Planning for Connected Agents
auteur
Tristan Charrier, Arthur Queffelec, Ocan Sankur, François Schwarzentruber
article
AAMAS 2019 - 18th International Conference on Autonomous Agents and MultiAgent Systems, May 2019, Montreal, Canada. pp.1874-1876
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02349490/file/main.pdf BibTex
titre
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed Programs
auteur
The Anh Pham, Thierry Jéron, Martin Quinson
article
FORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02109769/file/Forte_paper.pdf BibTex
titre
Certification formelle des réseaux neuronaux profonds : un état de l’art en 2019
auteur
Hugo Bazille, Eric Fabre, Blaise Genest
article
AI and Defense 2019 - Artificial Intelligence and defense, Nov 2019, Rennes, France. pp.1-10
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02350253/file/BFG19.pdf BibTex
titre
Classification among Hidden Markov Models
auteur
S Akshay, Hugo Bazille, Eric Fabre, Blaise Genest
article
FSTTCS 2019 - 39th IARCS Annual Conference on. Foundations of Software Technology and Theoretical Computer Science, Dec 2019, Bombay, India. pp.1-14, ⟨10.4230/LIPIcs.FSTTCS.2019.29⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02350252/file/ABFG19.pdf BibTex

Poster communications

titre
SAKURA a Model Based Root Cause Analysis Framework for vIMS
auteur
Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler
article
MobiSys 2019 - 17th ACM International Conference on Mobile Systems, Applications, and Services, Jun 2019, Seoul, South Korea. ACM Press, pp.594-595
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02291163/file/poster__Sakura%2819%29.pdf BibTex

Reports

titre
Computers and Coordination of Debate. A study on the role of computers for ordering public debates at various levels, from open citizen's polls to formal parliamentary debate.
auteur
Eric Badouel, Carlo Ferigato, Puerto Aubel
article
[Technical Report] JRC115574, Euopean Community Joint Research Center - Ispra; Inria Rennes - Bretagne Atlantique; Université Rennes 1; Irisa. 2019, pp.63
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02346119/file/Debate_JRC_tech.pdf BibTex

Theses

titre
Performance evaluation of urban rail traffic management techniques
auteur
Abd-El-Karim Kecir
article
Cryptography and Security [cs.CR]. Université Rennes 1, 2019. English. ⟨NNT : 2019REN1S026⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02317224/file/KECIR_Abd-El-Karim.pdf BibTex
titre
A Guarded Attribute Grammar Based Model for User Centered, Distributed, and Collaborative Case Management Case of the Disease Surveillance Process
auteur
Robert Nsaibirni
article
Computer Science [cs]. Université de Yaoundé I, 2019. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-02263094/file/Nsaibirni_Final_Thesis.pdf BibTex

Preprints, Working Papers, ...

titre
Reducing the Cost of Aggregation in Crowdsourcing
auteur
Rituraj Singh, Loïc Hélouët, Zoltán Miklós
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02397971/file/Main.pdf BibTex
titre
Timed Negotiations
auteur
Sundararaman Akshay, Blaise Genest, Loïc Hélouët, Sharvik Mital
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02337887/file/TimedNegotiations%28Submitted%29.pdf BibTex
titre
Data Centric Workflows for Crowdsourcing
auteur
Pierre Bourhis, Loïc Hélouët, Rituraj Singh, Zoltán Miklós
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01976280/file/compwork.pdf BibTex
titre
A Calculus of Interfaces for Guarded Attribute Grammars
auteur
Eric Badouel, Rodrigue Aimé Djeumen Djatcha
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02145920/file/Interfaces.pdf BibTex
titre
Verification of Randomized Distributed Algorithms under Round-Rigid Adversaries
auteur
Nathalie Bertrand, Igor Konnov, Marijana Lazic, Josef Widder
article
2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01925533/file/main.pdf BibTex

2018

Journal articles

titre
Compositional synthesis of state-dependent switching control
auteur
Adrien Le Coënt, Laurent Fribourg, Nicolas Markey, Florian de Vuyst, Ludovic Chamoin
article
Theoretical Computer Science, Elsevier, 2018, 750, pp.53-68. ⟨10.1016/j.tcs.2018.01.021⟩
Accès au bibtex
BibTex
titre
Combining Free choice and Time in Petri Nets
auteur
S Akshay, Loïc Hélouët, Ramchandra Phawade
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, pp.1-36. ⟨10.1016/j.jlamp.2018.11.006⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01931728/file/Lamp.pdf BibTex
titre
Realizability of schedules by stochastic time Petri nets with blocking semantics
auteur
Loïc Hélouët, Karim Kecir
article
Science of Computer Programming, Elsevier, 2018, 157, pp.71-102. ⟨10.1016/j.scico.2017.12.004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01942241/file/TCS-LHKK.pdf BibTex
titre
Average-energy games
auteur
Patricia Bouyer, Nicolas Markey, Mickaël Randour, Kim Larsen, Simon Laursen
article
Acta Informatica, Springer Verlag, 2018, 55 (2), pp.91 - 127. ⟨10.1007/s00236-016-0274-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889005/file/acta55%282%29-BMRLL.pdf BibTex
titre
Diagnosability of Repairable Faults
auteur
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2018, 28 (2), pp.183-213. ⟨10.1007/s10626-017-0255-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01646911/file/jdeds.pdf BibTex
titre
When are stochastic transition systems tameable?
auteur
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2018, 99, pp.41-96. ⟨10.1016/j.jlamp.2018.03.004⟩
Accès au bibtex
BibTex

Conference papers

titre
Hyper Partial Order Logic
auteur
Béatrice Bérard, Stefan Haar, Loïc Hélouët
article
FSTTCS 2018 - Foundations of Software Technology and Theoretical Computer Science, Dec 2018, Ahmedabad, India. pp.20:1--20:21, ⟨10.4230/LIPIcs.FSTTCS.2018.20⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01884390/file/Hopla.pdf BibTex
titre
Toward a Uniform Approach to the Unfolding of Nets
auteur
Eric Fabre, G. Michele Pinna
article
DisCoTec 2018 - 13th International Federated Conference on Distributed Computing Techniques, Jun 2018, Madrid, Spain. pp.21-36
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01943666/file/paper.pdf BibTex
titre
Interfaces of Roles in Distributed Collaborative Systems
auteur
Eric Badouel, Rodrigue Djeumen Djatcha
article
CARI 2018 - Colloque Africain sur la Recherche en Informatique et Mathématiques Appliquées, Oct 2018, Stellenbosch, South Africa. pp.182-193
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01919465/file/BadouelDjeumen.pdf BibTex
titre
Modular Design of Domain-Specific Languages using Splittings of Catamorphisms
auteur
Eric Badouel, Rodrigue Djeumen Djatcha
article
ICTAC 2018 - 15th International Colloquium on the Theoretical Aspects of Computing, Oct 2018, Stellenbosch, South Africa. pp.62-79, ⟨10.1007/978-3-030-02508-3_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01919423/file/BadouelDjeumen.pdf BibTex
titre
Multi-weighted Markov Decision Processes with Reachability Objectives
auteur
Patricia Bouyer, Mauricio Gonzalez, Nicolas Markey, Mickaël Randour
article
Gandalf 2018 - Ninth International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2018, Sarrebruck, Germany. pp.250 - 264, ⟨10.4204/EPTCS.277.18⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889020/file/gandalf2018-BGMR.pdf BibTex
titre
Optimal and Robust Controller Synthesis
auteur
Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Pierre-Alain Reynier
article
FM 2018 - International Symposium on Formal Methods, Jul 2018, Oxford, United Kingdom. pp.203-221, ⟨10.1007/978-3-319-95582-7_12⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889222/file/fm2018-BBFLMR.pdf BibTex
titre
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes
auteur
Christel Baier, Nathalie Bertrand, Clemens Dubslaff, Daniel Gburek, Ocan Sankur
article
LICS '18 - 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.86-94, ⟨10.1145/3209108.3209184⟩
Accès au bibtex
BibTex
titre
Concurrent secrets with quantified suspicion
auteur
Loïc Hélouët, Hervé Marchand, John Mullins
article
ACSD' 2018 - 18th International Conference on Application of Concurrency to System Design, Jun 2018, Bratislava, Slovakia. pp.1-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01757949/file/HMMSuspicious.pdf BibTex
titre
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis
auteur
Engel Lefaucheux, Alessandro Giua, Carla Seatzu
article
Petri Nets 2018 - International Conference on Applications and Theory of Petri Nets and Concurrency, Jun 2018, Bratislava, Slovakia. pp.164-183, ⟨10.1007/978-3-319-91268-4_9⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01882129/file/covgraph.pdf BibTex
titre
Symbolic Limited Lookahead Control for Best-effort Dynamic Computing Resource Management
auteur
Nicolas Berthier, Hervé Marchand, Eric Rutten
article
WODES 2018 - 14th Workshop on Discrete Event Systems, May 2018, Sorrento Coast, Italy. pp.1-8, ⟨10.1016/j.ifacol.2018.06.288⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01807284/file/paper.pdf BibTex
titre
Parameterized verification of synchronization in constrained reconfigurable broadcast networks
auteur
A.R. Balasubramanian, Nathalie Bertrand, Nicolas Markey
article
TACAS 2018 - International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.38-54, ⟨10.1007/978-3-319-89963-3_3⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889046/file/tacas2018-2-BBM.pdf BibTex
titre
Dependences in Strategy Logic
auteur
Patrick Gardy, Patricia Bouyer, Nicolas Markey
article
STACS 2018 - Symposium on Theoretical Aspects of Computer Science, Feb 2018, Caen, France. pp.35 - 36, ⟨10.4230/LIPIcs.STACS.2018.34⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889224/file/stacs2018-GBM.pdf BibTex
titre
LUMEN: A Global Fault Management Framework For Network Virtualization Environments
auteur
Sihem Cherrared, Sofiane Imadali, Eric Fabre, Gregor Gössler
article
ICIN 2018 - 21st Conference on Innovation in Clouds, Internet and Networks and Workshops, Feb 2018, Paris, France. pp.1-8, ⟨10.1109/ICIN.2018.8401622⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01851610/file/lumen.pdf BibTex
titre
Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings
auteur
Hugo Bazille, Eric Fabre, Blaise Genest
article
FOSSACS 2018 - 21st International Conference on Foundations of Software Science and Computation Structures, Apr 2018, Thessaloniki, Greece. pp.403-419, ⟨10.1007/978-3-319-89366-2_22⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01943440/file/BFG18.pdf BibTex
titre
Distribution-based objectives for Markov Decision Processes
auteur
S. Akshay, Blaise Genest, Nikhil Vyas
article
LICS 2018, the 33rd Annual ACM/IEEE Symposium, Jul 2018, Oxford, United Kingdom. pp.36-45, ⟨10.1145/3209108.3209185⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01933978/file/AGV18.pdf BibTex
titre
Complexity reduction techniques for quantified diagnosability of stochastic systems
auteur
Hugo Bazille, Eric Fabre, Blaise Genest
article
WODES'18 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Castellamare di Stabi, Italy. pp.82-87, ⟨10.1016/j.ifacol.2018.06.283⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01943401/file/BFG18b.pdf BibTex
titre
Opacity with powerful attackers
auteur
Loïc Hélouët, Hervé Marchand, Laurie Ricker
article
WODES 2018 - 14th IFAC Workshop on Discrete Event Systems, May 2018, Sorrento, Italy. pp.464 - 471, ⟨10.1016/j.ifacol.2018.06.341⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01886156/file/wodes2018.pdf BibTex
titre
Efficient timed diagnosis using automata with timed domains
auteur
Patricia Bouyer, Samy Jaziri, Nicolas Markey
article
RV 2018 - 18th International Conference on Runtime Verification, Nov 2018, Limassol, Cyprus. pp.205-221, ⟨10.1007/978-3-030-03769-7_12⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889030/file/rv2018-BJM.pdf BibTex
titre
Control strategies for off-line testing of timed systems
auteur
Léo Henry, Thierry Jéron, Nicolas Markey
article
SPIN 2018 - International Symposium on Model Checking Software, Jun 2018, Malaga, Spain. pp.171-189, ⟨10.1007/978-3-319-94111-0_10⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889225/file/spin2018-HJM.pdf BibTex

Book sections

titre
Model Checking Real-Time Systems
auteur
Patricia Bouyer, Uli Fahrenberg, Kim Larsen, Nicolas Markey, Joël Ouaknine, James Worrell
article
Handbook of model checking, Springer-Verlag, pp.1001-1046, 2018, 978-3-319-10574-1. ⟨10.1007/978-3-319-10575-8_29⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889280/file/hmc2018-BFLMOW.pdf BibTex

Directions of work or proceedings

titre
Proceedings of CARI 2018 (African Conference on Research in Computer Science and Applied Mathematics)
auteur
Eric Badouel, Nabil Gmati, Bruce Watson
article
Nabil Gmati; Eric Badouel; Bruce Watson. CARI 2018 - Colloque africain sur la recherche en informatique et mathématiques appliquées, Oct 2018, Stellenbosch, South Africa. 2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01881376/file/CARI2018_Proceedings.pdf BibTex

Theses

titre
Controlling information in probalistic systems
auteur
Engel Lefaucheux
article
Performance [cs.PF]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S057⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02058728/file/LEFAUCHEUX_Engel.pdf BibTex
titre
Controlling information in Probabilistic Systems
auteur
Engel Lefaucheux
article
Computer Science [cs]. Université Rennes 1, 2018. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01946840/file/these.pdf BibTex
titre
Analyse multi-niveaux en biologie systémique computationnelle : le cas des cellules HeLa sous traitement apoptotique
auteur
Matthieu Pichené
article
Bio-informatique [q-bio.QM]. Université Rennes 1, 2018. Français. ⟨NNT : 2018REN1S026⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01935280/file/PICHENE_Matthieu.pdf BibTex

Preprints, Working Papers, ...

titre
Opacity with powerful attackers
auteur
Loïc Hélouët, Hervé Marchand, Laurie Ricker
article
2018
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01738169/file/PowerAttLong.pdf BibTex

2017

Journal articles

titre
Qualitative Determinacy and Decidability of Stochastic Games with Signals
auteur
Nathalie Bertrand, Blaise Genest, Hugo Gimbert
article
Journal of the ACM (JACM), Association for Computing Machinery, 2017, 64 (5), pp.33:1 - 33:48. ⟨10.1145/3107926⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01635127/file/final_version.pdf BibTex
titre
Predictive Runtime Verification of Timed Properties
auteur
Srinivas Pinisetty, Thierry Jéron, Stavros Tripakis, Yliès Falcone, Hervé Marchand, Viorel Preoteasa
article
Journal of Systems and Software, Elsevier, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01666995/file/jss.pdf BibTex
titre
Symblicit algorithms for mean-payoff and shortest path in monotonic Markov decision processes
auteur
Aaron Bohy, Véronique Bruyère, Jean-François Raskin, Nathalie Bertrand
article
Acta Informatica, Springer Verlag, 2017, 54 (6), pp.545 - 587. ⟨10.1007/s00236-016-0255-4⟩
Accès au bibtex
BibTex
titre
Predictive runtime enforcement
auteur
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
article
Formal Methods in System Design, Springer Verlag, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
Accès au bibtex
BibTex
titre
Incremental Process Discovery using Petri Net Synthesis
auteur
Eric Badouel, Uli Schlachter
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2017, 154 (1-4), pp.1-13. ⟨10.3233/FI-2017-1548⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01599760/file/IPDPNS.pdf BibTex
titre
Nash equilibria in symmetric graph games with partial observation
auteur
Nicolas Markey, Patricia Bouyer, Steen Vester
article
Information and Computation, Elsevier, 2017, 254, pp.238 - 258. ⟨10.1016/j.ic.2016.10.010⟩
Accès au bibtex
BibTex
titre
Percentile queries in multi-dimensional Markov decision processes
auteur
Mickaël Randour, Jean-François Raskin, Ocan Sankur
article
Formal Methods in System Design, Springer Verlag, 2017, 50 (2-3), pp.207 - 248. ⟨10.1007/s10703-016-0262-7⟩
Accès au bibtex
BibTex
titre
Abstracting the dynamics of biological pathways using information theory: a case study of apoptosis pathway
auteur
Sucheendra K. Palaniappan, François Bertaux, Matthieu Pichené, Eric Fabre, Gregory Batt, Blaise Genest
article
Bioinformatics, Oxford University Press (OUP), 2017, 33 (13), pp.1980 - 1986. ⟨10.1093/bioinformatics/btx095⟩
Accès au bibtex
BibTex
titre
Non-interference in partial order models
auteur
Béatrice Bérard, Loïc Hélouët, John Mullins
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2017, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, 16 (2), pp.44:1-44:34. ⟨10.1145/2984639⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379451/file/bhm-TECS.pdf BibTex

Conference papers

titre
Diagnosability Degree of Stochastic Discrete Event Systems
auteur
Hugo Bazille, Eric Fabre, Blaise Genest
article
CDC 2017 - 56th IEEE Conference on Decision and Control, Dec 2017, Melbourne, Australia. pp.5726-5731
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01651232/file/diagdegree.pdf BibTex
titre
Probabilistic Disclosure: Maximisation vs. Minimisation
auteur
Béatrice Bérard, Serge Haddad, Engel Lefaucheux
article
FSTTCS 2017, Dec 2017, Kanpur, India. pp.13:1-13:14, ⟨10.4230/LIPIcs.FSTTXS.2017⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01618955/file/fsttcs-main.pdf BibTex
titre
Diagnostic et contrôle de la dégradation des systèmes probabilistes
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
MSR 2017 - Modélisation des Systèmes Réactifs, Nov 2017, Marseille, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01618922/file/msr.pdf BibTex
titre
An efficient evaluation scheme for KPIs in regulated urban train systems
auteur
Bruno Adeline, Pierre Dersin, Eric Fabre, Loïc Hélouët, Karim Kecir
article
RSSRail 2017 - International Conference on reliability, safety, and security of railway systems, Nov 2017, Pistoia, Italy. pp.195-211
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01646919/file/RSSRAIL.pdf BibTex
titre
Verifying MPI Applications with SimGridMC
auteur
The Anh Pham, Thierry Jéron, Martin Quinson
article
Correctness 2017 - First International Workshop on Software Correctness for HPC Applications, Nov 2017, Denver, United States. pp.28-33, ⟨10.1145/3145344.3145345⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01632421/file/McSimGrid-correctness17.pdf BibTex
titre
From Reactive to Predictive Regulation in Metros
auteur
Karim Kecir, Loic Helouet, Pierre Dersin, Bruno Adeline, Andrea d'Ariano
article
ECSO 2017 : 2nd European Conference on Stochastic Optimization, Sep 2017, Rome, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01646916/file/Predictive.pdf BibTex
titre
Combining Free choice and Time in Petri Nets
auteur
S Akshay, Loïc Hélouët, R Phawade
article
6th IFIP Working group on trends in Concurrency, Sep 2017, Berlin, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01650751/file/trends.pdf BibTex
titre
On the determinization of timed systems
auteur
Patricia Bouyer, Samy Jaziri, Nicolas Markey
article
FORMATS'17, Sep 2017, Berlin, Germany. pp.25-41, ⟨10.1007/978-3-319-65765-3 2⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01566436/file/formats2017-BJM.pdf BibTex
titre
Stratégies d'ordonnancement de consommation d'énergie en présence d'information imparfaite de prévision
auteur
Mauricio Gonzalez, Olivier Beaude, Patricia Bouyer, Samson Lasaulce, Nicolas Markey
article
26eme Colloque GRETSI Traitement du Signal & des Images, GRETSI 2017, Sep 2017, Juan-les-Pins, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01745594/file/gonzalez337%281%29%282%29.pdf BibTex
titre
Admissibility in Games with Imperfect Information
auteur
Romain Brenguier, Arno Pauly, Jean-François Raskin, Ocan Sankur
article
CONCUR 2017 - 28th International Conference on Concurrency Theory, Sep 2017, Berlin, Germany. pp.2:1-2:23, ⟨10.4230/LIPIcs⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01598152/file/main.pdf BibTex
titre
On the cost of diagnosis with disambiguation
auteur
Loïc Hélouët, Hervé Marchand
article
QEST 2017, Sep 2017, Berlin, France. pp.140-156
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01537796/file/CostDiag.pdf BibTex
titre
Logico-numerical Control for Software Components Reconfiguration
auteur
Nicolas Berthier, Frederico Alvares, Hervé Marchand, Gwenaël Delaval, Eric Rutten
article
CCTA 2017 - IEEE Conference on Control Technology and Applications, Aug 2017, Mauna Lani, HI, United States. pp.1599 - 1606, ⟨10.1109/CCTA.2017.8062685⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01644754/file/ccta-final.pdf BibTex
titre
Temporal Logics for Multi-Agent Systems
auteur
Nicolas Markey
article
MFCS 2017 - 42nd International Symposium on Mathematical Foundations of Computer Science, Aug 2017, Aalborg, Denmark. pp.84:1-84:3, ⟨10.4230/LIPIcs.MFCS.2017.84⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01653855/file/LIPIcs-MFCS-2017-84.pdf BibTex
titre
Admissible Strategies in Timed Games
auteur
Nicolas Basset, Jean-François Raskin, Ocan Sankur
article
Models, Algorithms, Logics and Tools., Jul 2017, Aalborg, Denmark. pp.403-425
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01515874/file/kim%20%281%29.pdf BibTex
titre
Admissiblity in Concurrent Games
auteur
Nicolas Basset, Gilles Geeraerts, Jean-François Raskin, Ocan Sankur
article
ICALP 2017 - 44th International Colloquium on Automata, Languages, and Programming, Jul 2017, Warsaw, Poland. pp.123:1-123:14, ⟨10.4230/LIPIcs.ICALP.2017.123⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01598148/file/LIPIcs-ICALP-2017-123.pdf BibTex
titre
Inferencing and beyond: further adventures with parity-based architectures for decentralized discrete-event systems
auteur
Laurie Ricker, T Lidbetter, Hervé Marchand
article
20th World Congress The International Federation of Automatic Control, Jul 2017, Toulouse, France. pp.6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01590438/file/IFAC2017FinalSubmitted.pdf BibTex
titre
An Abstraction Technique For Parameterized Model Checking of Leader Election Protocols: Application to FTSP
auteur
Ocan Sankur, Jean-Pierre Talpin
article
23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Apr 2017, Uppsala, Sweden. pp.23-40
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01431472/file/formal.pdf BibTex
titre
Bounding Average-Energy Games
auteur
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickael Randour, Martin Zimmermann
article
FoSSaCS'17, Apr 2017, Uppsala, Sweden. pp.179-195, ⟨10.1007/978-3-662-54458-7_11⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01566431/file/fossacs2017-BHMRZ.pdf BibTex
titre
Controlling a Population
auteur
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
article
CONCUR 2017 - 28th International Conference on Concurrency Theory, Sep 2017, Berlin, Germany. pp.12:1-12:16
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01625661/file/BDGG17.pdf BibTex
titre
Non-Disjoint Clustered Representation for Distributions over a Population of Cells (poster)
auteur
Matthieu Pichené, Sucheendra Palaniappan, Eric Fabre, Blaise Genest
article
CMSB 2017, 2017, Darmstadt, Germany. pp.324-326
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01625665/file/PPFG17.pdf BibTex

Book sections

titre
Timed temporal logics
auteur
Patricia Bouyer, François Laroussinie, Nicolas Markey, Joël Ouaknine, James Worrell
article
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, 10460, Springer, pp.211-230, 2017, Lecture Notes in Computer Science, 978-3-319-63120-2. ⟨10.1007/978-3-319-63121-9_11 ⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01566439/file/kimfest2017-BLMOW.pdf BibTex

Directions of work or proceedings

titre
Proceedings of the 14th International Conference on Quantitative Evaluation of Systems (QEST 2017), Berlin, Germany, September 5-7, 2017
auteur
Nathalie Bertrand, Luca Bortolussi
article
Nathalie Bertrand; Luca Bortolussi. France. Springer, 2017
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Contribution to the Analysis of Discrete Event Systems
auteur
Hervé Marchand
article
Software Engineering [cs.SE]. Université de Rennes 1, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01589972/file/hdr.pdf BibTex

Reports

titre
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics
auteur
Loïc Hélouët, Karim Kecir
article
[Research Report] INRIA Rennes - Bretagne Atlantique. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01646920/file/SCP-LHKK-Revision1.pdf BibTex
titre
Combining Free choice and Time in Petri Nets
auteur
S Akshay, Loïc Hélouët, Ramchandra Phawade
article
[Research Report] INRIA Rennes - Bretagne Atlantique. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01646913/file/Lamp.pdf BibTex

Preprints, Working Papers, ...

titre
Courcelle's Theorem Made Dynamic
auteur
Vincent Jugé, Patricia Bouyer-Decitre, Nicolas Markey
article
2017
Accès au bibtex
https://arxiv.org/pdf/1702.05183 BibTex
titre
Dependences in Strategy Logic
auteur
Patrick Gardy, Patricia Bouyer, Nicolas Markey
article
2017
Accès au bibtex
https://arxiv.org/pdf/1708.05849 BibTex
titre
Controlling a Population
auteur
Nathalie Bertrand, Miheer Dewaskar, Blaise Genest, Hugo Gimbert
article
2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01558029/file/arkiv.pdf BibTex

2016

Journal articles

titre
Petri Nets with Structured Data
auteur
Eric Badouel, Christophe Morvan, Loïc Hélouët
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015, 146 (1), pp.35-82. ⟨10.3233/FI-2016-1375⟩
Accès au bibtex
BibTex
titre
Designing Autonomic Management Systems by using Reactive Control Techniques
auteur
Nicolas Berthier, Eric Rutten, Noël de Palma, Soguy Mak-Karé Gueye
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2016, 42 (7), pp.18. ⟨10.1109/tse.2015.2510004⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242853/file/article.pdf BibTex
titre
The first reactive synthesis competition (SYNTCOMP 2014)
auteur
Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2016, ⟨10.1007/s10009-016-0416-3⟩
Accès au bibtex
BibTex
titre
Runtime Enforcement of Regular Timed Properties by Suppressing and Delaying Events
auteur
Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty
article
Science of Computer Programming, Elsevier, 2016, 123, pp.2-41. ⟨10.1016/j.scico.2016.02.008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01281727/file/SCP-final.pdf BibTex
titre
Robustness of Time Petri Nets under Guard Enlargement
auteur
Sundararaman Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2016, 143 (3-4), pp.207-234. ⟨10.3233/FI-2016-1312⟩
Accès au bibtex
BibTex
titre
Assume-admissible synthesis
auteur
Romain Brenguier, Jean-François Raskin, Ocan Sankur
article
Acta Informatica, Springer Verlag, 2016, ⟨10.1007/s00236-016-0273-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01373538/file/aa.pdf BibTex

Conference papers

titre
Admissibility in Quantitative Graph Games
auteur
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
article
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2016, Chennai, India
Accès au bibtex
https://arxiv.org/pdf/1611.08677 BibTex
titre
Diagnosis in Infinite-State Probabilistic Systems
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
27th International Conference on Concurrency Theory (Concur 2016), Aug 2016, Québec city, Canada. pp.37:1-37:15, ⟨10.4230/LIPIcs.CONCUR.2016.37⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01373354/file/p37-bertrand.pdf BibTex
titre
Active-Workspaces: A Dynamic Collaborative Business Process Model for Disease Surveillance Systems
auteur
Robert Nsaibirni, Eric Badouel, Gaëtan Texier, Georges-Edouard Kouamou
article
Worldcomp'16- The 2nd International Conference on Health Informatics and Medical Systems, Jul 2016, Las Vegas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01323561/file/ActiveWorkspacesforDSS.pdf BibTex
titre
Predictive Runtime Enforcement *
auteur
Srinivas Pinisetty, Viorel Preoteasa, Stavros Tripakis, Thierry Jéron, Yliès Falcone, Hervé Marchand
article
SAC 2016 31st ACM Symposium on Applied Computing, ACM, Apr 2016, Pisa, Italy. pp.1628-1633, ⟨10.1145/2851613.2851827⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244369/file/Final-Version.pdf BibTex
titre
Non-Zero Sum Games for Reactive Synthesis
auteur
Romain Brenguier, Lorenzo Clemente, Paul Hunter, Guillermo A. Pérez, Mickaël Randour, Jean-François Raskin, Ocan Sankur, Mathieu Sassolas
article
LATA 2016 : 10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic. pp.3-23, ⟨10.1007/978-3-319-30000-9_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01373546/file/lata-raskin.pdf BibTex
titre
Accurate approximate diagnosability of stochastic systems
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
10th International Conference on Language and Automata Theory and Applications, Mar 2016, Prague, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01220954/file/AA-main.pdf BibTex
titre
Decidable Classes of Unbounded Petri Nets with Time and Urgency
auteur
Sundararaman Akshay, Blaise Genest, Loïc Hélouët
article
Application and Theory of Petri Nets and Concurrency - 37th International Conference, PETRI NETS, 2016, Torun University, Jun 2016, Torun, Poland. pp.301 - 322, ⟨10.1007/978-3-319-39086-4_18⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379414/file/TPNUshort%28PN2016%29.pdf BibTex
titre
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics
auteur
Loïc Hélouët, Karim Kecir
article
37th International Conference, PETRI NETS 2016, Fabrice Kordon and Daniel Moldt, Jun 2016, Torun, Poland. pp.155-175, ⟨10.1007/978-3-319-39086-4_11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379424/file/Schedules%28PN2016%29.pdf BibTex
titre
Combining Free Choice and Time in Petri Nets
auteur
Sundararaman Akshay, Loïc Hélouët, Ramchandra Phawade
article
23rd International Symposium on Temporal Representation and Reasoning, Technical University of Denmark, Oct 2016, Lyngby, Denmark. pp.120-129
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01379440/file/FCTPN%28Time2016%29.pdf BibTex
titre
A Look-Ahead Simulation Algorithm for DBN Models of Biochemical Pathways
auteur
Sucheendra Palaniappan, Matthieu Pichené, Grégory Batt, Eric Fabre, Blaise Genest
article
Hybrid Systems Biology, 5th International Workshop, HSB 2016, Oct 2016, Grenoble, France. pp.3-15, ⟨10.1007/978-3-319-47151-8_1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406115/file/final_author.pdf BibTex
titre
Finding the weakest link(s): Coalition games for decentralized discrete-event control
auteur
Laurie Ricker, Hervé Marchand
article
55th IEEE Conference on Decision and Control , Dec 2016, Las-Vegas, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01373709/file/CDC2016.pdf BibTex
titre
Analysing Decisive Stochastic Processes
auteur
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Pierre Carlier
article
43rd International Colloquium on Automata, Languages, and Programming (ICALP 2016), 2016, Rome, Italy. pp.101:1-101:14, ⟨10.4230/LIPIcs.ICALP.2016.101⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01397794/file/BBBC-icalp16.pdf BibTex
titre
On Regularity of unary Probabilistic Automata
auteur
Sundararaman Akshay, Blaise Genest, Bruno Karelovic, Nikhil Vyas
article
STACS 2016, 2016, Orléans, France. pp.8:1-8:14
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01245037/file/main.pdf BibTex
titre
Diagnosability of Repairable Faults
auteur
Eric Fabre, Loïc Hélouët, Engel Lefaucheux, Hervé Marchand
article
13th International Workshop on Discrete Event Systems, 2016, Xi'an, China. pp.256-262
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01302562/file/repairdiag.pdf BibTex

Directions of work or proceedings

titre
Proceedings of CARI 2016
auteur
Moussa Lo, Eric Badouel, Nabil Gmati
article
Moussa Lo; Eric Badouel; Nabil Gmati. Oct 2016, Hammamet, Tunisia. pp.513, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01350039/file/CARI2016.pdf BibTex

Habilitation à diriger des recherches

titre
Taming Concurrency using Representatives.
auteur
Blaise Genest
article
Other [cs.OH]. Rennes 1, 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01939514/file/hdrFinal.pdf BibTex

Poster communications

titre
Efficient Analysis of Multi-level Biological Systems Using Abstraction (poster)
auteur
Matthieu Pichené, Sucheendra Palaniappan, Eric Fabre, Gregory Batt, Blaise Genest
article
HSB 2016, 2016, Grenoble, France. 2016, HSB'16 - Fifth International Workshop on Hybrid Systems Biology
Accès au bibtex
BibTex

Reports

titre
Bounding Average-energy Games
auteur
Patricia Bouyer, Piotr Hofman, Nicolas Markey, Mickaël Randour, Martin Zimmermann
article
[Research Report] 1610.07858, ArXiv. 2016
Accès au bibtex
https://arxiv.org/pdf/1610.07858 BibTex
titre
Dynamic Complexity of Parity Games with Bounded Tree-Width
auteur
Patricia Bouyer, Vincent Jugé, Nicolas Markey
article
[Research Report] ArXiv. 2016
Accès au bibtex
https://arxiv.org/pdf/1610.00571 BibTex
titre
Diagnosis in Infinite-State Probabilistic Systems (long version)
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
[Research Report] Inria Rennes; LSV, ENS Cachan. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01334218/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics (regular paper)
auteur
Loïc Hélouët, Karim Kecir
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01284682/file/main.pdf BibTex

2015

Journal articles

titre
Active Workspaces: Distributed Collaborative Systems based on Guarded Attribute Grammars
auteur
Eric Badouel, Loïc Hélouët, Georges-Edouard Kouamou, Christophe Morvan, Robert Nsaibirni
article
ACM SIGAPP Applied Computing Review (ACM Digital Library), Association for Computing Machinery (ACM), 2015, 15 (3), pp.6-34. ⟨10.1145/2835260.2835261⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01237131/file/AWGAG.pdf BibTex
titre
Factored Cost-Optimal Planning Using Message Passing Algorithms
auteur
Loïg Jezequel, Eric Fabre
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2015, 139 (4), ⟨10.3233/FI-2015-1239⟩
Accès au bibtex
BibTex
titre
Factored Planning: From Automata to Petri Nets
auteur
Loïg Jezequel, Eric Fabre, Victor Khomenko
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2015, 14 (2), ⟨10.1145/2656215⟩
Accès au bibtex
BibTex
titre
A game approach to determinize timed automata
auteur
Nathalie Bertrand, Amélie Stainer, Thierry Jéron, Moez Krichen
article
Formal Methods in System Design, Springer Verlag, 2015, 46 (1), pp.42-80. ⟨10.1007/s10703-014-0220-1⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01102472/file/BSJK-fmsd14.pdf BibTex
titre
Préface/Foreword
auteur
Eric Badouel, Maurice Tchuenté
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2015, 19, pp.1-2
Accès au bibtex
BibTex
titre
Diagnosis and Opacity Problems for Infinite State Systems Modeled by Recursive Tile Systems
auteur
Sébastien Chédor, Christophe Morvan, Sophie Pinchinat, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 ((1-2)), pp.271-294. ⟨10.1007/s10626-014-0197-3⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994970/file/jdeds-rts14.pdf BibTex
titre
Enforcement and Validation (at runtime) of Various Notions of Opacity
auteur
Yliès Falcone, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 (4), pp.531-570. ⟨10.1007/s10626-014-0196-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00987985/file/main.pdf BibTex
titre
Enforcing Opacity of Regular Predicates on Modal Transition Systems
auteur
Philippe Darondeau, Hervé Marchand, Laurie S. L. Ricker
article
Discrete Event Dynamic Systems, Springer Verlag, 2015, 25 ((1-2)), pp.251-270. ⟨10.1007/s10626-014-0193-7⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00987988/file/jdeds.pdf BibTex
titre
Foreword
auteur
Eric Badouel, Moussa Lo, Mokhtar Sellami
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2015, 21, pp.1-2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01304736/file/Foreword.pdf BibTex
titre
Approximate Verification of the Symbolic Dynamics of Markov Chains
auteur
Manindra Agrawal, Sundararaman Akshay, Blaise Genest, P.S. Thiagarajan
article
Journal of the ACM (JACM), Association for Computing Machinery, 2015, 62 (1), pp.34-65. ⟨10.1145/2629417⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920793/file/AAGT15.pdf BibTex
titre
Distributed Implementation of Message Sequence Charts
auteur
Rouwaida Abdallah, Loïc Hélouët, Claude Jard
article
Software and Systems Modeling, Springer Verlag, 2015, 14, pp.10-32. ⟨10.1007/s10270-013-0357-1⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840372/file/sosym.pdf BibTex
titre
Robust Reachability in Timed Automata: A Game-Based Approach
auteur
Patricia Bouyer, Nicolas Markey, Ocan Sankur
article
Theoretical Computer Science, Elsevier, 2015, 563, pp.43-74. ⟨10.1016/j.tcs.2014.08.014⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01105077/file/BMS-tcs14.pdf BibTex

Conference papers

titre
Enforcement of (Timed) Properties with Uncontrollable Events
auteur
Matthieu Renard, Yliès Falcone, Antoine Rollet, Srinivas Pinisetty, Thierry Jéron, Hervé Marchand
article
12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015), Oct 2015, Cali, Colombia. pp.542-560, ⟨10.1007/978-3-319-25150-9_31⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185238/file/ICTAC_version_longue_HAL.pdf BibTex
titre
TiPEX: A Tool Chain for Timed Property Enforcement During eXecution
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
article
RV'2015, 6th International Conference on Runtime Verification, Sep 2015, Vienne, Austria. pp.306-320, ⟨10.1007/978-3-319-23820-3_22⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01244446/file/Tipex-Final.pdf BibTex
titre
Assume-Admissible Synthesis
auteur
Romain Brenguier, Jean-François Raskin, Ocan Sankur
article
26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.100--113, ⟨10.4230/LIPIcs.CONCUR.2015.100⟩
Accès au bibtex
BibTex
titre
Distributed local strategies in broadcast networks
auteur
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
article
26th International Conference on Concurrency Theory (CONCUR 2015), Sep 2015, Madrid, Spain. pp.44-57, ⟨10.4230/LIPIcs.CONCUR.2015.44⟩
Accès au bibtex
BibTex
titre
Percentile Queries in Multi-dimensional Markov Decision Processes
auteur
Mickaël Randour, Jean-François Raskin, Ocan Sankur
article
27th International Conference on Computer Aided Verification (CAV 2015), Jul 2015, San Francisco, United States. ⟨10.1007/978-3-319-21690-4_8⟩
Accès au bibtex
BibTex
titre
Compositional Algorithms for Succinct Safety Games
auteur
Romain Brenguier, Guillermo A. Pérez, Jean-François Raskin, Ocan Sankur
article
4th Workshop on Synthesis, Jul 2015, San Francisco, United States
Accès au bibtex
BibTex
titre
Petri nets with semi-structured data
auteur
Eric Badouel, Loïc Hélouët, Christophe Morvan
article
Petri Nets 2015, 36th International Conference on Application and Theory of Petri Nets and Concurrency, Jun 2015, Bruxelles, Belgium. pp.212-233
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01193279/file/Datanets.pdf BibTex
titre
Non-interference in partial order models
auteur
Béatrice Bérard, Loïc Hélouët, John Mullins
article
ACSD'15 - 15th International Conference on Application of Concurrency to System Design, Jun 2015, Brussels, Belgium. pp.80-89, ⟨10.1109/ACSD.2015.11⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01138787/file/niacsd.pdf BibTex
titre
Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures
auteur
Nicolas Berthier, Xin An, Hervé Marchand
article
5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, May 2015, Cancun, Mexico. pp.132-138
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01187745/file/DCDS.pdf BibTex
titre
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment
auteur
Eric Badouel, Loïc Hélouët, Georges-Edouard Kouamou, Christophe Morvan
article
The 30th ACM/SIGAPP Symposium On Applied Computing, Apr 2015, Salamanca, Spain. pp.1834-1839, ⟨10.1145/2695664.2695698⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01193222/file/SAC.pdf BibTex
titre
Symbolic Quantitative Robustness Analysis of Timed Automata
auteur
Ocan Sankur
article
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2015), Apr 2015, London, United Kingdom. ⟨10.1007/978-3-662-46681-0_48⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01244766/file/symrob.pdf BibTex
titre
Discrete Control-Based Design of Adaptive and Autonomic Computing Systems
auteur
Xin An, Gwenaël Delaval, Jean-Philippe Diguet, Abdoulaye Gamatié, Soguy Mak-Karé Gueye, Hervé Marchand, Noel de Palma, Eric Rutten
article
ICDCIT: International Conference on Distributed Computing and Internet Technology, Feb 2015, Bhubaneswar, India. ⟨10.1007/978-3-319-14977-6_6⟩
Accès au bibtex
BibTex
titre
Variations on the Stochastic Shortest Path Problem
auteur
Mickaël Randour, Jean-François Raskin, Ocan Sankur
article
Verification, Model Checking, and Abstract Interpretation, Jan 2015, Mumbai, India. ⟨10.1007/978-3-662-46081-8_1⟩
Accès au bibtex
BibTex
titre
Deadlock-free Discrete Controller Synthesis for Infinite State Systems
auteur
Nicolas Berthier, Hervé Marchand
article
54th IEEE Conference on Decision and Control, Dec 2015, Osaka, Japan
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01200976/file/paper.pdf BibTex
titre
Knowledge = Observation + Memory + Computation
auteur
Blaise Genest, Doron Peled, Sven Schewe
article
FoSSaCS 2015, 2015, London, United Kingdom. pp.215-229, ⟨10.1007/978-3-662-46678-0_14⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01245016/file/GPS15.pdf BibTex

Book sections

titre
Contrôle, probabilités et observation partielle
auteur
Nathalie Bertrand, Serge Haddad
article
Informatique Mathématique. Une photographie en 2015, CNRS Édition, pp.177-227, 2015
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings of the Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'15)
auteur
Nathalie Bertrand, Mirco Tribastone
article
Nathalie Bertrand; Mirco Tribastone. Apr 2015, London, United Kingdom. 194, 2015, EPTCS, ⟨10.4204/EPTCS.194⟩
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Contributions to the verification and control of timed and probabilistic models
auteur
Nathalie Bertrand
article
Formal Languages and Automata Theory [cs.FL]. Université Rennes 1, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01243612/file/hdr.pdf BibTex

Books

titre
Petri Net Synthesis
auteur
Eric Badouel, Luca Bernardinello, Philippe Darondeau
article
Springer, pp.339, 2015, Text in Theoretical Computer Science, an EATCS Series, M. Henzinger, J. Hromkovic, M. Nielsen, G. Rozenberg, A. Salomaa, 978-3-662-47966-7. ⟨10.1007/978-3-662-47967-4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01237142/file/Badouel_Petri%20Net%20Synthesis_Front%20matter.pdf BibTex

Poster communications

titre
Approximating the dynamics of the Hybrid Stochastic-Deterministic Apoptosis pathway
auteur
Sucheendra Palaniappan, François Bertaux, Matthieu Pichene, Eric Fabre, Gregory Batt, Blaise Genest
article
CMSB 2015, 2015, Nantes, France. CMSB 2015, 2015, CMSB 2015
Accès au bibtex
BibTex

Reports

titre
Distributed local strategies in broadcast networks
auteur
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
article
[Research Report] Inria Rennes. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01170796/file/concur-techrep.pdf BibTex

Theses

titre
Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques
auteur
Paulin Fournier
article
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S170⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01355847/file/FOURNIER_Paulin.pdf BibTex
titre
Runtime enforcement of timed properties
auteur
Srinivas Pinisetty
article
Automatic Control Engineering. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S004⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01185842/file/PINISETTY_Srinivas.pdf BibTex

2014

Journal articles

titre
Stochastic timed automata
auteur
Nathalie Bertrand, Patricia Bouyer, Thomas Brihaye, Quentin Menet, Christel Baier, Marcus Groesser, Marcin Jurdzinski
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (4), ⟨10.2168/LMCS-10(4:6)2014⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01102368/file/1410.2128.pdf BibTex
titre
Test Generation from Recursive Tile Systems
auteur
Sébastien Chédor, Thierry Jéron, Christophe Morvan
article
Journal of Software Testing, Verification, and Reliability, John Wiley & Sons, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091672/file/chedor.pdf BibTex
titre
Opacité des artefacts d'un système workflow
auteur
Eric Badouel, Mohamadou Lamine Diouf
article
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2014, 17, pp.117-196
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00823005/file/Vol.17.pp.177-196.pdf BibTex
titre
Diagnosis from Scenarios
auteur
Loïc Hélouët, Hervé Marchand, Blaise Genest, Thomas Gazagnaire
article
Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (4), pp.353-415. ⟨10.1007/s10626-013-0158-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879441/file/JDEDS-Unusual.pdf BibTex
titre
Minimal Observability and Privacy Preserving Compensation for Transactional Services
auteur
Debmalya Biswas, Blaise Genest
article
Discrete Event Dynamic Systems, Springer Verlag, 2014, 24 (4), pp.611-646. ⟨10.1007/s10626-013-0177-z⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916645/file/BG13.pdf BibTex
titre
Symbolic Supervisory Control of Distributed Systems with Communications
auteur
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2014, 59, pp.396-408. ⟨10.1109/TAC.2013.2283093⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00903452/file/tac.pdf BibTex
titre
Runtime enforcement of timed properties revisited
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand, Antoine Rollet, Omer Landry Nguena Timo
article
Formal Methods in System Design, Springer Verlag, 2014, 45 (3), pp.381-422. ⟨10.1007/s10703-014-0215-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088136/file/fmsd2.pdf BibTex

Conference papers

titre
Foundation of Diagnosis and Predictability in Probabilistic Systems
auteur
Nathalie Bertrand, Serge Haddad, Engel Lefaucheux
article
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'14), Dec 2014, New Delhi, India. pp.417-429
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088117/file/paper-90.pdf BibTex
titre
Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata
auteur
Nathalie Bertrand, Thomas Brihaye, Blaise Genest
article
Quantitative Evaluation of Systems (QEST'14), Sep 2014, Florence, Italy. pp.313 - 328, ⟨10.1007/978-3-319-10696-0_25⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088113/file/paper44.pdf BibTex
titre
Sessions with an unbounded number of agents
auteur
S Akshay, Loïc Hélouët, Madhavan Mukund
article
14th International Conference on Application of Concurrency to System Design, Jun 2014, Tunis, Tunisia. pp.166-175
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088994/file/SessionsACSD.pdf BibTex
titre
Discrete Controller Synthesis for Infinite State Systems with ReaX
auteur
Nicolas Berthier, Hervé Marchand
article
IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00974553/file/2014-wodes-Reax.pdf BibTex
titre
Runtime Enforcement of Parametric Timed Properties with Practical Applications
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
article
IEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00974548/file/2014-wodes-TE.pdf BibTex
titre
Active diagnosis for probabilistic systems
auteur
Nathalie Bertrand, Eric Fabre, Stefan Haar, Serge Haddad, Loïc Hélouët
article
17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), Verimag- INRIA Rhône Alpes, Apr 2014, Grenoble, France. pp.29-42, ⟨10.1007/978-3-642-54830-7_2 ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00930919/file/long.pdf BibTex
titre
Playing with Probabilities in Reconfigurable Broadcast Networks
auteur
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
article
Foundations of Software Science and Computation Structures (FoSSaCS'14), Apr 2014, Grenoble, France. pp.134-148, ⟨10.1007/978-3-642-54830-7_9⟩
Accès au bibtex
BibTex
titre
Runtime Enforcement of Regular Timed Properties
auteur
Srinivas Pinisetty, Yliès Falcone, Thierry Jéron, Hervé Marchand
article
Software Verification and Testing, track of the Symposium on Applied Computing ACM-SAC 2014, Mar 2014, Gyeongju, South Korea. pp.1279-1286
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00907571/file/sac-svt.pdf BibTex

Habilitation à diriger des recherches

titre
Familles de graphes de présentation finie, propriétés et applications
auteur
Christophe Morvan
article
Théorie et langage formel [cs.FL]. Université Paris-Est, 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01094616/file/hdr.pdf BibTex

Master thesis

titre
Contrôle Optimal d'un Système Ferroviaire Complet
auteur
Karim Kecir
article
Systèmes et contrôle [cs.SY]. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02352670/file/Masters%20Report%20-%20Karim%20KECIR%20-%202014.pdf BibTex

Books

titre
Actes du CARI 2014 (Colloque africain sur la recherche en informatique et mathématiques appliquées)
auteur
Mokhtar Sellami, Eric Badouel, Moussa Lo
article
Mokhtar Sellami; Eric Badouel; Moussa Lo. Inria, pp.376, 2014, Colloques CARI
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01062320/file/CARI14-Proceedings.pdf BibTex
titre
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL'14)
auteur
Nathalie Bertrand, Luca Bortolussi
article
Nathalie Bertrand; Luca Bortolussi. 154, 2014, Electronic Proceedings in Theoretical Computer Science (EPTCS), ⟨10.4204/EPTCS.154⟩
Accès au bibtex
BibTex

Reports

titre
Robustness in Scenarios. ANR IMPRO Deliverable L 4.3
auteur
Loïc Hélouët
article
[Technical Report] ANR IMPRO. 2014, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094363/file/ImpRo-D43.pdf BibTex
titre
Deliverable L3.1 : Model for regulated urban railway systems.
auteur
Eric Fabre, Karim Kecir, Loïc Hélouët
article
[Research Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.21
Accès au bibtex
BibTex
titre
Deliverable L1 : State of the art and selected references
auteur
Loïc Hélouët, Eric Fabre, Christophe Morvan, Blaise Genest, Karim Kecir, Hervé Marchand
article
[Technical Report] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.32
Accès au bibtex
BibTex
titre
Deliverable L2: Objectives of Phase 1 and use cases denition.
auteur
Blaise Genest, Christophe Morvan, Eric Fabre, Hervé Marchand, Karim Kecir, Loïc Hélouët
article
[Contract] Projet P22 INRIA SUMO- Alstom Transport. 2014, pp.5
Accès au bibtex
BibTex
titre
A Grammatical Approach to Data-centric Case Management in a Distributed Collaborative Environment
auteur
Eric Badouel, Loïc Hélouët, Georges-Edouard Kouamou, Christophe Morvan
article
[Research Report] RR-8528, INRIA. 2014, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00990007/file/RR-8528.pdf BibTex

Theses

titre
Opacité des artefacts d'un système Workflow
auteur
Mohamadou Lamine Diouf
article
Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S061⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01127287/file/2014REN1S061.pdf BibTex
titre
Diagnostic, opacité et test de conformité pour des systèmes récursifs
auteur
Sébastien Chédor
article
Autre [cs.OH]. Université Rennes 1, 2014. Français. ⟨NNT : 2014REN1S002⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00980800/file/CHEDOR_Sebastien.pdf BibTex

Preprints, Working Papers, ...

titre
Timed Petri Nets with (restricted) Urgency
auteur
Sundararaman Akshay, Blaise Genest, Loïc Hélouët
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088997/file/AGH15.pdf BibTex
titre
Sessions with an unbounded number of agents
auteur
Sundararaman Akshay, Loïc Hélouët, Madhavan Mukund
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00979409/file/SessionsACSD.pdf BibTex
titre
Playing with probabilities in Reconfigurable Broadcast Networks
auteur
Nathalie Bertrand, Paulin Fournier, Arnaud Sangnier
article
2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00929857/file/fossacs14.pdf BibTex

2013

Journal articles

titre
Concomitant human infections with 2 cowpox virus strains in related cases, France, 2011
auteur
Corinne Ducournau, Audrey Ferrier-Rembert, Olivier Ferraris, Aurélie Joffre, Anne-Laure Favier, Olivier Flusin, Dieter van Cauteren, Kaci Kecir, Brigitte Auburtin, Serge Védy, Maël Bessaud, Christophe Peyrefitte
article
Emerging Infectious Diseases • www.cdc.gov/eid •, 2013, 19 (12), ⟨10.3201/eid1912.130256⟩
Accès au texte intégral et bibtex
https://hal-pasteur.archives-ouvertes.fr/pasteur-01380778/file/13-0256.pdf BibTex
titre
Computable fixpoints in well-structured symbolic model checking
auteur
Nathalie Bertrand, Philippe Schnoebelen
article
Formal Methods in System Design, Springer Verlag, 2013, 43 (2), pp.233-267. ⟨10.1007/s10703-012-0168-y⟩
Accès au bibtex
BibTex
titre
Synchronous programming of device drivers for global resource control in embedded operating systems
auteur
Nicolas Berthier, Florence Maraninchi, Laurent Mounier
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2013, 12 (1s), pp.1 - 26. ⟨10.1145/2435227.2435235⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01664442/file/tecs-author-version.pdf BibTex
titre
Attribute grammars as tree transducers over cyclic representations of infinite trees and their descriptional composition
auteur
Eric Badouel, Rodrigue Tchougong, Célestin Nkuimi-Jugnia, Bernard Fotsing
article
Theoretical Computer Science, Elsevier, 2013, 480, pp.1-25. ⟨10.1016/j-tcs.2013.02.007⟩
Accès au bibtex
BibTex
titre
Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler
auteur
Gwenaël Delaval, Eric Rutten, Hervé Marchand
article
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863286/file/jdeds.pdf BibTex

Conference papers

titre
Implementing Realistic Asynchronous Automata
auteur
Sundararaman Akshay, Ionut Dinca, Blaise Genest, Alin Stefanescu
article
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, Dec 2013, Guwahati, India. pp.213-224
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00920776/file/ADGS13.pdf BibTex
titre
Parameterized verification of many identical probabilistic timed processes
auteur
Nathalie Bertrand, Paulin Fournier
article
33rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'13), Dec 2013, Guwahati, India. pp.501-513
Accès au bibtex
BibTex
titre
Runtime Enforcement of K-step Opacity
auteur
Yliès Falcone, Hervé Marchand
article
52nd IEEE Conference on Decision and Control, Dec 2013, Florence, Italy. pp.7271-7278, ⟨10.1109/CDC.2013.6761043 ⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863223/file/cdc2013.pdf BibTex
titre
Impact of Rare Alarms on Event Correlation
auteur
Anne Bouillard, Aurore Junier, Benoit Ronot
article
CNSM - 9th international Conference on Network and Service Management, Oct 2013, Zürich, Switzerland
Accès au bibtex
BibTex
titre
Robustness of Time Petri Nets under architectural constraints
auteur
Sundararaman Akshay, Loic Helouet, Claude Jard, Didier Lime, Olivier Henri Roux
article
Formal Modeling and Analysis of Timed Systems, Sep 2013, Warwik, United Kingdom. pp.11-26
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879818/file/FORMATS12_AHJLR12.pdf BibTex
titre
The steady-state control problem for Markov decision processes
auteur
Sundararaman Akshay, Nathalie Bertrand, Serge Haddad, Loic Helouet
article
Qest 2013, Sep 2013, Buenos Aires, Argentina. pp.290-304
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879355/file/Qest_paper_29.pdf BibTex
titre
Transient Analysis of Networks of Stochastic Timed Automata using Stochastic State Classes
auteur
Paolo Ballarini, Nathalie Bertrand, Andras Horvath, Marco Paolieri, Enrico Vicario
article
QEST - 10th International Conference on Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.355-371, ⟨10.1007/978-3-642-40196-1_30⟩
Accès au bibtex
BibTex
titre
Some Synchronization Issues in OSPF Routing
auteur
Anne Bouillard, Claude Jard, Aurore Junier
article
DCNET13: the 4th International Conference on Data Communication Networking,, Jul 2013, Reykjavik, Iceland. pp.5-14
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840350/file/DCNet_camera_ready.pdf BibTex
titre
Factored Planning: From Automata to Petri Nets
auteur
Loïg Jezequel, Eric Fabre, Victor Khomenko
article
International Conference on Application of Concurrency to System Design (ACSD), Jul 2013, Barcelone, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00931844/file/final.pdf BibTex
titre
Asynchronous Games over Tree Architectures
auteur
Blaise Genest, Hugo Gimbert, Anca Muscholl, Igor Walukiewicz
article
ICALP - 40th International Colloquium on Automata, Languages, and Programming- 2013, Jul 2013, RIGA, Latvia. pp.275-286, ⟨10.1007/978-3-642-39212-2_26⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916615/file/GGMW13.pdf BibTex
titre
Discrete Control of Computing Systems Administration: a Programming Language supported Approach
auteur
Gwenaël Delaval, Noel de Palma, Soguy Mak-Karé Gueye, Hervé Marchand, Eric Rutten
article
European Control Conference, Jul 2013, Zurich, Switzerland. pp.117-124
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00863276/file/ECC2013.pdf BibTex
titre
A parity-based architecture for decentralized discrete-event control
auteur
Laurie Ricker, Hervé Marchand
article
American Control Conference, Jun 2013, Washigton, United States. pp.5678 - 5684
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00828714/file/ACC2013.pdf BibTex
titre
Enhanced OSPF Graceful Restart
auteur
Carole Hounkonnou, Eric Fabre
article
IFIP/IEEE International Symposium on Integrated Network Management, May 2013, Ghent, Belgium
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00931798/file/IM13_final.pdf BibTex
titre
Dynamic Communicating Automata and Branching High-Level MSCs
auteur
Benedikt Bollig, Aiswarya Cyriac, Loic Helouet, Ahmet Kara, Thomas Schwentick
article
LATA 2013, Apr 2013, bilbao, Spain. pp.177-189
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879353/file/lata2013.pdf BibTex
titre
Reachability of Communicating Timed Processes
auteur
Lorenzo Clemente, Frédéric Herbreteau, Amélie Stainer, Grégoire Sutre
article
FoSSaCS - 16th International Conference on Foundations of Software Science and Computation Structures, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS - 2013, Mar 2013, Rome, Italy. pp.81-96, ⟨10.1007/978-3-642-37075-5_6⟩
Accès au bibtex
https://arxiv.org/pdf/1209.0571 BibTex
titre
Scenario Realizability with Constraint Optimization
auteur
Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
article
FASE 2013, Mar 2013, Rome, France. pp.194-209
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840393/file/Fase_final.pdf BibTex
titre
Solving Stochastic Büchi Games on Infinite Decisive Arenas
auteur
Nathalie Bertrand, Philippe Schnoebelen
article
QAPL - 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Mar 2013, Rome, Italy. pp.116-131, ⟨10.4204/EPTCS.117.8⟩
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Symbolic Methods in Testing (Dagstuhl Seminar 13021)
auteur
Thierry Jéron, Margus Veanes, Burkhart Wolff
article
Thierry Jéron and Margus Veanes and Burkhart Wolff. 3 (1), Dagstuhl Publishing, pp.1-29, 2013, ⟨10.4230/DagRep.3.1.1⟩
Accès au bibtex
BibTex
titre
Modélisation des systèmes réactifs
auteur
Hervé Marchand, Loïc Hélouët
article
Hervé Marchand and Loïc Hélouët. 47, Lavoisier, pp.260, 2013, Journal européen des systèmes automatisés
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Scenario automata : theory and applications
auteur
Loïc Hélouët
article
Formal Languages and Automata Theory [cs.FL]. Université Rennes 1, 2013
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00926742/file/habil_V0.2.pdf BibTex

Reports

titre
Alarms correlation in telecommunication networks
auteur
Anne Bouillard, Aurore Junier, Benoit Ronot
article
[Research Report] RR-8321, INRIA. 2013, pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00838969/file/RR-8321.pdf BibTex
titre
Symbolic Supervisory Control of Distributed Systems with Communications
auteur
Gabriel Kalyon, Tristan Le Gall, Hervé Marchand, Thierry Massart
article
[Research Report] RR-8260, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00801840/file/RR-8620.pdf BibTex
titre
Test Generation from Recursive Tile Systems
auteur
Sébastien Chédor, Thierry Jéron, Christophe Morvan
article
[Research Report] RR-8206, INRIA. 2013, pp.32
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00778134/file/RR-8206.pdf BibTex
titre
Scenario realizability with constraint optimization
auteur
Rouwaida Abdallah, Arnaud Gotlieb, Loïc Hélouët, Claude Jard
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00769656/file/FASE.pdf BibTex

Theses

titre
Analyses de performance et de stabilité des réseaux de télécommunication
auteur
Aurore Junier
article
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0066⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01011210/file/Junier2013.pdf BibTex
titre
Contribution to the Verification of Timed Automata: Determinization, Quantitative Verification and Reachability in Networks of Automata
auteur
Amélie Stainer
article
Computation and Language [cs.CL]. Université Rennes 1, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00926316/file/these.pdf BibTex
titre
Implementability of distributed systems described with scenarios
auteur
Rouwaida Abdallah
article
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0027⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00919684/file/Abdallah2013.pdf BibTex
titre
Active self-diagnosis in telecommunication networks
auteur
Carole Hounkonnou
article
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S086⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00931853/file/Hounkonnou_Carole.pdf BibTex

2012

Journal articles

titre
Regular Set of Representatives for Time-Constrained MSC Graphs
auteur
Sundararaman Akshay, Blaise Genest, Loïc Hélouët, Shaofa Yang
article
Information Processing Letters, Elsevier, 2012, 112 (14-15), pp.592-598
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879825/file/AGHY11.pdf BibTex

Conference papers

titre
Robustness of Time Petri Nets under Guard Enlargement
auteur
Sundararaman Akshay, Loic Helouet, Claude Jard, Pierre-Alain Reynier
article
Reachability Problems, LABRI, Sep 2012, Bordeaux, France. pp.92-106
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879832/file/RP12_robustTPN.pdf BibTex
titre
Symbolically Bounding the Drift in Time-Constrained MSC-Graphs
auteur
Sundararaman Akshay, Blaise Genest, Loic Helouet, Shaofa Yang
article
International Colloquium on Theoretical Aspects of Computing, IIT Bangalore, Sep 2012, Bangalore, India. pp.1-15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00879831/file/AGHY12full.pdf BibTex

Reports

titre
Distributed Implementation of Message Sequence Charts
auteur
Loic Helouet, Claude Jard, Rouwaida Abdallah
article
[Research Report] 2012, pp.42
Accès au bibtex
BibTex

2009

Conference papers

titre
Distributed Optimal Planning: an Approach by Weighted Automata Calculus
auteur
Eric Fabre, Loïg Jezequel
article
48th IEEE Conference on Decision and Control, Dec 2009, Shanghai, China. pp.211-216
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00931846/file/versionfinaleCDC09.pdf BibTex

2001

Conference papers

titre
Rational graphs trace context-sensitive languages
auteur
Christophe Morvan, Colin Stirling
article
Mathematical Foundations of Computer Science, Aug 2001, Marianske Lazne, Czech Republic
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00950050/file/W076main.pdf BibTex