2016
Journal articles
- titre
- Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
- auteur
- Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
- article
- Theory of Computing Systems, 2016, 15, ⟨10.1145/2885752⟩
- Accès au texte intégral et bibtex
-
- titre
- A Tag Contract Framework for Modeling Heterogeneous Systems
- auteur
- Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
- article
- Science of Computer Programming, 2016
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Long-term average cost in featured transition systems
- auteur
- Rafael Olaechea, Uli Fahrenberg, Joanne M Atlee, Axel Legay
- article
- SPLC ’16 – 20th International Systems and Software Product Line Conference, Sep 2016, Beijing, China. pp.109 – 118, ⟨10.1145/2934466.2934473⟩
- Accès au bibtex
-
2015
Journal articles
- titre
- Efficient customisable dynamic motion planning for assistive robots in complex human environments
- auteur
- Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards
- article
- JAISE – Journal of Ambient Intelligence and Smart Environments, 2015, ⟨10.3233/AIS-150338⟩
- Accès au texte intégral et bibtex
-
- titre
- Smart Sampling for Lightweight Verification of Markov Decision Processes
- auteur
- Pedro d’Argenio, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
- article
- International Journal on Software Tools for Technology Transfer, 2015, 17 (4), pp.469-484. ⟨10.1007/s10009-015-0383-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Real-Time Specifications
- auteur
- Alexandre David, Kim Guldstrand Larsen, Axel Legay, Ulrik Nyman, Louis-Marie Traonouez, Andrzej Wasowski
- article
- International Journal on Software Tools for Technology Transfer, 2015, 17 (1), pp.29. ⟨10.1007/s10009-013-0286-x⟩
- Accès au texte intégral et bibtex
-
- titre
- GT SoS: Research Network on Trustworthy Software-intensive Systems-of-Systems
- auteur
- Flavio Oquendo, Axel Legay, Khalil Drira
- article
- ERCIM News, 2015, 102
- Accès au texte intégral et bibtex
-
- titre
- Verifying Systems-of-Systems with Statistical Model Checking
- auteur
- Axel Legay, Jean Quilbeuf, Flavio Oquendo
- article
- ERCIM News, 2015, 103
- Accès au texte intégral et bibtex
-
- titre
- Formal Architecture Description of Trustworthy Systems-of-Systems with SosADL
- auteur
- Flavio Oquendo, Axel Legay
- article
- ERCIM News, 2015, 102
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- An ω-Algebra for Real-Time Energy Problems
- auteur
- David Cachera, Uli Fahrenberg, Axel Legay
- article
- 35th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2015, Bengaluru, India. pp.394
- Accès au texte intégral et bibtex
-
- titre
- Statistical Model Checking of Simulink Models with Plasma Lab
- auteur
- Axel Legay, Louis-Marie Traonouez
- article
- Fourth International Workshop on Formal Techniques for Safety-Critical Systems, Nov 2015, Paris, France
- Accès au texte intégral et bibtex
-
- titre
- Estimating Rewards & Rare Events in Nondeterministic Systems
- auteur
- Axel Legay, Sean Sedwards, Louis-Marie Traonouez
- article
- Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Sep 2015, Edinburgh, United Kingdom. ⟨10.14279/tuj.eceasst.72.1023⟩
- Accès au texte intégral et bibtex
-
- titre
- Distributed Verification of Rare Properties using Importance Splitting Observers
- auteur
- Cyrille Jegourel, Axel Legay, Sean Sedwards, Louis-Marie Traonouez
- article
- Proceedings of the 15th International Workshop on Automated Verification of Critical Systems (AVoCS 2015), Sep 2015, Edinburgh, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Continuous Kleene ω-Algebras for Energy Problems
- auteur
- Zoltán Esik, Uli Fahrenberg, Axel Legay
- article
- Proceedings Tenth International Workshop on Fixed Points in Computer Science, Sep 2015, Berlin, Germany. pp.48-59
- Accès au texte intégral et bibtex
-
- titre
- Merging Features in Featured Transition Systems
- auteur
- Joanne M. Atlee, Sandy Beidu, Uli Fahrenberg, Axel Legay
- article
- Proceedings of the 12th Workshop on Model-Driven Engineering, Verification and Validation co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Sep 2015, Ottawa, Canada. pp.38-43
- Accès au texte intégral et bibtex
-
- titre
- Comparative Analysis of Leakage Tools on Scalable Case Studies
- auteur
- Fabrizio Biondi, Axel Legay, Jean Quilbeuf
- article
- 22nd International SPIN Workshop on Model Checking of Software, Aug 2015, Stellenbosch, South Africa. ⟨10.1007/978-3-319-23404-5_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Attainable Unconditional Security for Shared-Key Cryptosystems
- auteur
- Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
- article
- The 14th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (IEEE TrustCom-15), Aug 2015, Helsinki, Finland
- Accès au texte intégral et bibtex
-
- titre
- Continuous Kleene ω-Algebras
- auteur
- Zoltán Esik, Uli Fahrenberg, Axel Legay
- article
- Developments in Language Theory – 19th International Conference, Jul 2015, Liverpool, United Kingdom. pp.240-251
- Accès au texte intégral et bibtex
-
- titre
- On the Expressiveness of Joining
- auteur
- Thomas Given-Wilson, Axel Legay
- article
- 8th Interaction and Concurrency Experience (ICE 2015), Jun 2015, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- Translation Validation for Synchronous Data-Flow Specification in the SIGNAL Compiler
- auteur
- Van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier
- article
- 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.66-80, ⟨10.1007/978-3-319-19195-9_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools (abstract)
- auteur
- van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Loic Besnard, Paul Le Guernic
- article
- International Workshop on Software and Compilers for Embedded Systems, ACM, Jun 2015, St Goar, Germany
- Accès au texte intégral et bibtex
-
- titre
- Partial Higher-Dimensional Automata
- auteur
- Uli Fahrenberg, Axel Legay
- article
- 6th Conference on Algebra and Coalgebra in Computer Science, Jun 2015, Nijmegen, Netherlands
- Accès au texte intégral et bibtex
-
- titre
- Measuring Behaviour Interactions between Product-Line Features
- auteur
- Joanne M. Atlee, Uli Fahrenberg, Axel Legay
- article
- 3rd IEEE/ACM FME Workshop on Formal Methods in Software Engineering, May 2015, Firenze, Italy
- Accès au texte intégral et bibtex
-
- titre
- State machine flattening, a mapping study and tools assessment
- auteur
- Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
- article
- 8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. ⟨10.1109/ICSTW.2015.7107408⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Information Flow for Scheduler-Dependent Systems
- auteur
- Yusuke Kawamoto, Thomas Given-Wilson
- article
- The 13th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015), Apr 2015, London, United Kingdom
- Accès au texte intégral et bibtex
-
- titre
- Translation Validation for Clock Transformations in a Synchronous Compiler
- auteur
- van Chan Ngo, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic
- article
- FASE – ETAPS 2015, Apr 2015, London, United Kingdom
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- titre
- Contributions to Statistical Model Checking
- auteur
- Axel Legay
- article
- Computer Science [cs]. Inria Rennes, 2015
- Accès au texte intégral et bibtex
-
Reports
- titre
- Statistical Model Checking of Systems of Systems: An Industrial Approach
- auteur
- Alexandre Arnold, Massimo Baleani, Alberto Ferrari, Marco Marazza, Valerio Senni, Axel Legay, Jean Quilbeuf, Christoph Etzien
- article
- [Research Report] RR-8828, Inria. 2015
- Accès au texte intégral et bibtex
-
- titre
- Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
- auteur
- van Chan Ngo, Axel Legay
- article
- [Research Report] RR-8762, INRIA Rennes – Bretagne Atlantique; INRIA. 2015
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- On the Attacker’s Knowledge in Shared-Key Cryptosystems
- auteur
- Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
- article
- 2015
- Accès au texte intégral et bibtex
-
- titre
- On the Expressiveness of Coordination
- auteur
- Thomas Given-Wilson, Axel Legay
- article
- 2015
- Accès au texte intégral et bibtex
-
2014
Journal articles
- titre
- Generating Counterexamples of Model-based Software Product Lines
- auteur
- Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry
- article
- International Journal on Software Tools for Technology Transfer, 2014
- Accès au texte intégral et bibtex
-
- titre
- Refinement and Difference for Probabilistic Automata
- auteur
- Benoit Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
- article
- Logical Methods in Computer Science, 2014, pp.LMCS-2013-936
- Accès au texte intégral et bibtex
-
- titre
- Robust Synthesis for Real Time Systems
- auteur
- Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wąsowski
- article
- Theoretical Computer Science, 2014, 515, pp.96 – 122. ⟨10.1016/j.tcs.2013.08.015⟩
- Accès au texte intégral et bibtex
-
- titre
- Stuttering for Abstract Probabilistic Automata
- auteur
- Benoit Delahaye, Kim Guldstrand Larsen, Axel Legay
- article
- Journal of Logic and Algebraic Programming, 2014, Journal of Logic and Algebraic Programming, pp.Pages 1-19. ⟨10.1016/j.jlap.2013.05.006⟩
- Accès au bibtex
-
- titre
- The quantitative linear-time–branching-time spectrum
- auteur
- Uli Fahrenberg, Axel Legay
- article
- Theoretical Computer Science, 2014, pp.54-69. ⟨10.1016/j.tcs.2013.07.030⟩
- Accès au texte intégral et bibtex
-
- titre
- General quantitative specification theories with modal transition systems
- auteur
- Uli Fahrenberg, Axel Legay
- article
- Acta Informatica, 2014, pp.261-295. ⟨10.1007/s00236-014-0196-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Maximizing Entropy over Markov Processes
- auteur
- Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
- article
- Journal of Logical and Algebraic Methods in Programming, 2014
- Accès au texte intégral et bibtex
-
- titre
- Quantifying Information Leakage of Randomized Protocols
- auteur
- Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wąsowski
- article
- Theoretical Computer Science, 2014, pp.68 – 87. ⟨10.1007/978-3-642-35873-9_7⟩
- Accès au texte intégral et bibtex
-
- titre
- Component-based Verification using Incremental design and Invariants
- auteur
- Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan
- article
- Software and Systems Modeling, 2014, pp.1-25. ⟨10.1007/s10270-014-0410-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Tropical Fourier–Motzkin elimination, with an application to real-time verification
- auteur
- Xavier Allamigeon, Axel Legay, Uli Fahrenberg, Ricardo Katz, Stéphane Gaubert
- article
- International Journal of Algebra and Computation, 2014, 24 (5), pp.569 – 607. ⟨10.1142/S0218196714500258⟩
- Accès au texte intégral et bibtex
-
- titre
- Statistical model checking QoS properties of systems with SBIP
- auteur
- Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoit Delahaye, Cyrille Jegourel, Axel Legay
- article
- International Journal on Software Tools for Technology Transfer, 2014, pp.14. ⟨10.1007/s10009-014-0313-6⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Information Leakage of Non-Terminating Processes
- auteur
- Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski
- article
- IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2014, Delhi, India. ⟨10.4230/LIPIcs.FSTTCS.2014.517⟩
- Accès au texte intégral et bibtex
-
- titre
- Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models
- auteur
- Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker
- article
- FSE 2014 : International Symposium on Foundations of Software Engineering, Nov 2014, Hong Kong, Hong Kong SAR China. pp.190-201, ⟨10.1145/2635868.2635919⟩
- Accès au texte intégral et bibtex
-
- titre
- A Variability Perspective of Mutation Analysis
- auteur
- Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens
- article
- FSE 2014 : International Symposium on Foundations of Software Engineering, Nov 2014, Hong Kong, Hong Kong SAR China. pp.841-844, ⟨10.1145/2635868.2666610⟩
- Accès au texte intégral et bibtex
-
- titre
- Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems
- auteur
- Axel Legay, Sean Sedwards
- article
- Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, EasyConference, Oct 2014, Corfu, Greece. pp.4 – 25, ⟨10.1007/978-3-662-45234-9_2⟩
- Accès au texte intégral et bibtex
-
- titre
- Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems
- auteur
- Stefan Naujokat, Louis-Marie Traonouez, Malte Isberner, Bernhard Steffen, Axel Legay
- article
- Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change., Oct 2014, Corfu, Greece. pp.481 – 498, ⟨10.1007/978-3-662-45234-9_33⟩
- Accès au texte intégral et bibtex
-
- titre
- A Formalism for Stochastic Adaptive Systems
- auteur
- Benoît Boyer, Axel Legay, Louis-Marie Traonouez
- article
- Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Oct 2014, Corfu, Greece. pp.160 – 176, ⟨10.1007/978-3-662-45231-8_12⟩
- Accès au texte intégral et bibtex
-
- titre
- An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking
- auteur
- Cyrille Jegourel, Axel Legay, Sean Sedwards
- article
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2014, Corfou, Greece. pp.143 – 159, ⟨10.1007/978-3-662-45231-8_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Measuring Global Similarity between Texts
- auteur
- Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jegourel, Simon Kongshøj, Axel Legay
- article
- SLSP 2014 : Second International Conference on Statistical Language and Speech Processing, Oct 2014, Grenoble, France. pp.220-232, ⟨10.1007/978-3-319-11397-5_17⟩
- Accès au texte intégral et bibtex
-
- titre
- Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems
- auteur
- Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem
- article
- MEMOCODE, Oct 2014, Lausanne, Switzerland. ⟨10.1109/MEMCOD.2014.6961864⟩
- Accès au texte intégral et bibtex
-
- titre
- Heterogeneous Timed Machines
- auteur
- Benoit Delahaye, J. L. Fiadeiro, Axel Legay, Antónia Lopes
- article
- 11th International Colloquium on Theoretical Aspects of Computing, Sep 2014, Bucharest, France. 18 p
- Accès au texte intégral et bibtex
-
- titre
- Scalable Verification of Markov Decision Processes
- auteur
- Axel Legay, Sean Sedwards, Louis-Marie Traonouez
- article
- 4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Sep 2014, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Anonymity Evaluation of Voting Protocols
- auteur
- Fabrizio Biondi, Axel Legay
- article
- 12th International Conference on Software Engineering and Formal Methods, Sep 2014, Grenoble, France
- Accès au texte intégral et bibtex
-
- titre
- On Statistical Model Checking with PLASMA
- auteur
- Axel Legay, Sean Sedwards
- article
- The 8th International Symposium on Theoretical Aspects of Software Engineering, Sep 2014, Changsha, China
- Accès au texte intégral et bibtex
-
- titre
- Compositionality for Quantitative Specifications
- auteur
- Uli Fahrenberg, Jan Křetínský, Axel Legay, Louis-Marie Traonouez
- article
- FACS, Sep 2014, Bertinoro, Italy
- Accès au texte intégral et bibtex
-
- titre
- Configurable Formal Methods for Extreme Modeling
- auteur
- Uli Fahrenberg, Axel Legay
- article
- XM@MoDELS, Sep 2014, Valencia, Spain
- Accès au texte intégral et bibtex
-
- titre
- Faster Statistical Model Checking by Means of Abstraction and Learning
- auteur
- Ayoub Nouri, Balaji Raman, Marius Bozga, Axel Legay, Saddek Bensalem
- article
- RV, Sep 2014, Toronto, Canada. ⟨10.1007/978-3-319-11164-3_28⟩
- Accès au texte intégral et bibtex
-
- titre
- Structural Refinement for the Modal nu-Calculus
- auteur
- Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
- article
- ICTAC, Sep 2014, Bucarest, Romania. pp.169 – 187, ⟨10.1007/978-3-319-10882-7_11⟩
- Accès au texte intégral et bibtex
-
- titre
- Sound Merging and Differencing for Class Diagrams
- auteur
- Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wąsowski
- article
- FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.63 – 78, ⟨10.1007/978-3-642-54804-8_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Specification Theories for Probabilistic and Real-Time Systems
- auteur
- Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez
- article
- FPS@ETAPS, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54848-2_7⟩
- Accès au texte intégral et bibtex
-
- titre
- Parametric and Quantitative Extensions of Modal Transition Systems
- auteur
- Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez
- article
- FPS@ETAPS, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54848-2_6⟩
- Accès au texte intégral et bibtex
-
- titre
- Towards statistical prioritization for software product lines testing
- auteur
- Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans
- article
- VAMOS, Jan 2014, Nice, France. pp.1 – 7, ⟨10.1145/2556624.2556635⟩
- Accès au texte intégral et bibtex
-
Reports
- titre
- Lightweight Verification of Markov Decision Processes with Rewards
- auteur
- Axel Legay, Sean Sedwards, Louis-Marie Traonouez
- article
- [Research Report] INRIA Rennes – Bretagne Atlantique. 2014
- Accès au texte intégral et bibtex
-
- titre
- Dynamic Verification of SystemC with Statistical Model Checking
- auteur
- van Chan Ngo, Axel Legay, Jean Quilbeuf
- article
- [Research Report] RR-8644, INRIA Rennes – Bretagne Atlantique, équipe ESTASYS; INRIA. 2014, pp.25
- Accès au texte intégral et bibtex
-
- titre
- Homotopy Bisimilarity for Higher-Dimensional Automata
- auteur
- Uli Fahrenberg, Axel Legay
- article
- [Research Report] Inria Rennes. 2014
- Accès au texte intégral et bibtex
-
- titre
- Flooding-Based Algorithm for Behavioural Compatibility Measuring
- auteur
- Meriem Ouederni, Uli Fahrenberg, Axel Legay, Gwen Salaün
- article
- [Research Report] Inria Rennes. 2014
- Accès au texte intégral et bibtex
-
- titre
- Measuring Behaviour Interactions between Product-Line Features
- auteur
- Joanne M. Atlee, Uli Fahrenberg, Axel Legay
- article
- [Research Report] Inria Rennes. 2014
- Accès au texte intégral et bibtex
-
- titre
- Compositionality for Quantitative Specifications
- auteur
- Uli Fahrenberg, Jan Křetínský, Axel Legay, Louis-Marie Traonouez
- article
- [Research Report] Inria Rennes. 2014
- Accès au texte intégral et bibtex
-
- titre
- Logical vs. Behavioural Specifications
- auteur
- Nikola Beneš, Uli Fahrenberg, Jan Křetínský, Axel Legay, Louis-Marie Traonouez
- article
- [Research Report] Inria Rennes. 2014
- Accès au texte intégral et bibtex
-
Theses
- titre
- Markovian Processes for Quantitative Information Leakage
- auteur
- Fabrizio Biondi
- article
- Cryptography and Security [cs.CR]. IT University of Copenhagen, 2014. English. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, …
- titre
- Continuous Kleene ω-Algebras
- auteur
- Zoltán Ésik, Uli Fahrenberg, Axel Legay
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- Rare Event Simulation for Statistical Model Checking
- auteur
- Cyrille Jegourel
- article
- 2014
- Accès au bibtex
-
- titre
- Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
- auteur
- K Kalajdzic, Cyrille Jegourel, E Bartocci, Axel Legay, Scott Smolka, R Grosu
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- Information Leakage by Trace Analysis in QUAIL
- auteur
- Fabrizio Biondi, Jean Quilbeuf, Axel Legay
- article
- 2014
- Accès au texte intégral et bibtex
-
- titre
- Statistical Model Checking with Changes and Simulink
- auteur
- Benoît Boyer, Kevin Corre, Axel Legay, Louis-Marie Traonouez
- article
- 2014
- Accès au texte intégral et bibtex
-
2013
Journal articles
- titre
- Weighted modal transition systems
- auteur
- Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Axel Legay, Claus Thrane
- article
- Formal Methods in System Design, 2013, 42 (2), pp.193 – 220. ⟨10.1007/s10703-012-0178-9⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Motion planning in crowds using statistical model checking to enhance the social force model
- auteur
- Alessio Colombo, Daniele Fontanelli, Axel Legay, Luigi Palopoli, Sean Sedwards
- article
- CDC 2013 – IEEE 52nd Annual Conference on Decision and Control, Dec 2013, Florence, Italy. pp.3602 – 3608, ⟨10.1109/CDC.2013.6760437⟩
- Accès au texte intégral et bibtex
-
- titre
- Generalized Quantitative Analysis of Metric Transition Systems
- auteur
- Uli Fahrenberg, Axel Legay
- article
- APLAS 2013 – 11th Asian Symposium Programming Languages and Systems, Dec 2013, Melbourne, Australia. pp.192 – 208, ⟨10.1007/978-3-319-03542-0_14⟩
- Accès au texte intégral et bibtex
-
- titre
- Verifying Software Product Lines with ProVeLines
- auteur
- Maxime Cordy, Marco Willemart, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
- article
- 6ème Journée Lignes de Produits, Nov 2013, Paris, France. pp.ATV-1
- Accès au bibtex
-
- titre
- PyEcdar: Towards Open Source Implementation for Timed Systems
- auteur
- Axel Legay, Louis-Marie Traonouez
- article
- 11th International Symposium on Automated Technology for Verification and Analysis, Oct 2013, Hanoi, France. pp.460 – 463, ⟨10.1007/978-3-319-02444-8_35⟩
- Accès au texte intégral et bibtex
-
- titre
- Kleene Algebras and Semimodules for Energy Problems
- auteur
- Zoltá Esik, Uli Fahrenberg, Axel Legay, Karin Quaas
- article
- ATVA 2013 – 11th International Symposium Automated Technology for Verification and Analysis, Oct 2013, Hanoi, Vietnam. pp.102-117, ⟨10.1007/978-3-319-02444-8_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Synthesizing Distributed Scheduling Implementation for Probabilistic Component-based Systems
- auteur
- Saddek Bensalem, Axel Legay, Ayoub Nouri, Doron Peled
- article
- MEMOCODE, Oct 2013, Portland, United States
- Accès au texte intégral et bibtex
-
- titre
- A Tag Contract Framework for Heterogeneous Systems
- auteur
- Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
- article
- FOCLASA 2013 – 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems, Sep 2013, Málaga, Spain. pp.204-217
- Accès au texte intégral et bibtex
-
- titre
- Behavioural templates improve robot motion planning with social force model in human environments
- auteur
- Alessio Colombo, Daniele Fontanelli, Dhaval Gandhi, Antonella de Angeli, Luigi Palopoli, Sean Sedwards, Axel Legay
- article
- 2013 IEEE 18th Conference on Emerging Technologies \& Factory Automation (ETFA), Sep 2013, Cagliari, Italy. pp.1 – 6, ⟨10.1109/ETFA.2013.6648081⟩
- Accès au texte intégral et bibtex
-
- titre
- Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory
- auteur
- Nikola Beneš, Benoît Delahaye, Uli Fahrenberg, Jan Křetínský, Axel Legay
- article
- CONCUR 2013 – 24th International Conference Concurrency Theory, Aug 2013, Buenos Aires, Argentina. pp.76 – 90, ⟨10.1007/978-3-642-40184-8_7⟩
- Accès au texte intégral et bibtex
-
- titre
- PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library
- auteur
- Benot Boyer, Kevin Corre, Axel Legay, Sean Sedwards
- article
- Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.160 – 164, ⟨10.1007/978-3-642-40196-1_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Refinement and Difference for Probabilistic Automata
- auteur
- Benoît Delahaye, Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
- article
- QEST 2013 – 10th International Conference Quantitative Evaluation of Systems, Aug 2013, Buenos Aires, Argentina. pp.22 – 38, ⟨10.1007/978-3-642-40196-1_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
- auteur
- Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay
- article
- ICTAC, Aug 2013, Shanghai, China. pp.67 – 108, ⟨10.1007/978-3-642-39721-9_2⟩
- Accès au texte intégral et bibtex
-
- titre
- QUAIL: A Quantitative Security Analyzer for Imperative Code
- auteur
- Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
- article
- CAV 2013 – 25th International Conference on Computer Aided Verification, Jul 2013, Saint Petersburg, Russia. pp.702-707, ⟨10.1007/978-3-642-39799-8_49⟩
- Accès au texte intégral et bibtex
-
- titre
- Importance Splitting for Statistical Model Checking Rare Properties
- auteur
- Cyrille Jegourel, Axel Legay, Sean Sedwards
- article
- Computer Aided Verification, Jul 2013, Saint-Pétersbourg, Russia. pp.576 – 591, ⟨10.1007/978-3-642-39799-8_38⟩
- Accès au texte intégral et bibtex
-
- titre
- Tag Machines for Modeling Heterogeneous Systems
- auteur
- Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay
- article
- ACSD, Jul 2013, Barcelona, Spain
- Accès au texte intégral et bibtex
-
- titre
- History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
- auteur
- Uli Fahrenberg, Axel Legay
- article
- LICS 2013 – Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States
- Accès au texte intégral et bibtex
-
- titre
- History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
- auteur
- Uli Fahrenberg, Axel Legay
- article
- MFPS XXIX – Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, Jun 2013, New Orleans, United States. pp.165 – 178, ⟨10.1016/j.entcs.2013.09.012⟩
- Accès au texte intégral et bibtex
-
- titre
- Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features
- auteur
- Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
- article
- ICSE 2013 International Conference on Software Engineering, Jun 2013, San Francisco, United States. pp.472-481
- Accès au texte intégral et bibtex
-
- titre
- A framework for the rigorous design of highly adaptive timed systems
- auteur
- Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez
- article
- 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE), May 2013, San Francisco, United States. pp.64 – 70, ⟨10.1109/FormaliSE.2013.6612279⟩
- Accès au texte intégral et bibtex
-
- titre
- Maximizing Entropy over Markov Processes
- auteur
- Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
- article
- 7th International Conference on Language and Automata Theory and Applications, Apr 2013, Bilbao, Spain
- Accès au texte intégral et bibtex
-
- titre
- Quantifying Information Leakage of Randomized Protocols
- auteur
- Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wąsowski
- article
- 14th International Conference on Verification, Model Checking, and Abstract Interpretation, Feb 2013, Rome, Italy
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
- auteur
- Uli Fahrenberg, Kim Guldstrand Larsen, Axel Legay, Claus Thrane
- article
- Manfred Broy; Doron Peled; Georg Kalus. Engineering Dependable Software Systems, 34, IOS Press, pp.67 – 108, 2013, NATO Science for Peace and Security Series – D: Information and Communication Security, 978-1-61499-206-6. ⟨10.1007/978-3-642-39721-9_2⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- SoS contract verification using statistical model checking
- auteur
- Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold
- article
- 2013, pp.67 – 83. ⟨10.4204/EPTCS.133.7⟩
- Accès au texte intégral et bibtex
-
2012
Journal articles
- titre
- On timed alternating simulation for concurrent timed games
- auteur
- Laura Bozzelli, Axel Legay, Sophie Pinchinat
- article
- Acta Informatica, 2012, Acta Informatica, 49 (4), pp.31. ⟨10.1007/s00236-012-0158-y⟩
- Accès au bibtex
-
- titre
- Reachability analysis for timed automata using max-plus algebra
- auteur
- Qi Lu, Michael Madsen, Martin Milata, Søren Ravn, Uli Fahrenberg, Kim Guldstrand Larsen
- article
- Journal of Logic and Algebraic Programming, 2012, 81, pp.298 – 313. ⟨10.1016/j.jlap.2011.10.004⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Runtime Verification of Biological Systems
- auteur
- Alexandre David, Kim Guldstrand Larsen, Axel Legay, Marius Mikučionis, Danny Bøgsted Poulsen, Sean Sedwards
- article
- Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Oct 2012, Heraklion, Crete, Greece. pp.388 – 404, ⟨10.1007/978-3-642-34026-0_29⟩
- Accès au texte intégral et bibtex
-
- titre
- Statistical Model Checking for Stochastic Hybrid Systems
- auteur
- Alexandre David, Marius Mikučionis, Kim Guldstrand Larsen, Danny Bogsten Poulsen, Axel Legay, Sean Sedwards, Dehui Du
- article
- Proceedings First International Workshop on Hybrid Systems and Biology, Sep 2012, Newcastle Upon Tyne, United Kingdom. pp.122 – 136, ⟨10.4204/EPTCS.92.9⟩
- Accès au texte intégral et bibtex
-
- titre
- Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking
- auteur
- Cyrille Jégourel, Axel Legay, Sean Sedwards
- article
- Computer Aided Verification, Jul 2012, Berkeley, United States. pp.327 – 342, ⟨10.1007/978-3-642-31424-7_26⟩
- Accès au texte intégral et bibtex
-
- titre
- General Quantitative Specification Theories with Modalities
- auteur
- Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus Thrane
- article
- CSR, Jul 2012, Nizhny Novgorod, Russia. pp.18 – 30, ⟨10.1007/978-3-642-30642-6_3⟩
- Accès au texte intégral et bibtex
-
- titre
- Synchronous Interface Theories and Time Triggered Scheduling
- auteur
- Benot Delahaye, Uli Fahrenberg, Axel Legay, Dejan Ničković
- article
- 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.203-218, ⟨10.1007/978-3-642-30793-5_13⟩
- Accès au texte intégral et bibtex
-
- titre
- A Robust Specification Theory for Modal Event-Clock Automata
- auteur
- Uli Fahrenberg, Axel Legay
- article
- FIT 2012 – 4th International Workshop on Foundations of Interface Technologies, Mar 2012, Tallinn, Estonia. pp.5 – 16, ⟨10.4204/EPTCS.87.2⟩
- Accès au texte intégral et bibtex
-
- titre
- A Platform for High Performance Statistical Model Checking – PLASMA
- auteur
- Cyrille Jegourel, Axel Legay, Sean Sedwards
- article
- TACAS 2012 – 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia. pp.498 – 503, ⟨10.1007/978-3-642-28756-5_37⟩
- Accès au texte intégral et bibtex
-
2011
Journal articles
- titre
- Quantitative analysis of real-time systems using priced timed automata
- auteur
- Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey
- article
- Communications of the ACM, 2011, 54 (9), pp.78-87. ⟨10.1145/1995376.1995396⟩
- Accès au texte intégral et bibtex
-
- titre
- Metrics for weighted transition systems: Axiomatization and complexity
- auteur
- Kim Guldstrand Larsen, Uli Fahrenberg, Claus Thrane
- article
- Theoretical Computer Science, 2011, 412, pp.3358 – 3369. ⟨10.1016/j.tcs.2011.04.003⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- The quantitative linear-time–branching-time spectrum
- auteur
- Uli Fahrenberg, Axel Legay, Claus Thrane
- article
- FSTTCS – IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2011, Mumbai, India. pp.54 – 69
- Accès au texte intégral et bibtex
-
- titre
- Vision Paper: Make a Difference! (Semantically)
- auteur
- Uli Fahrenberg, Axel Legay, Andrzej Wasowski
- article
- MoDELS, Oct 2011, Wellington, New Zealand. pp.490 – 500, ⟨10.1007/978-3-642-24485-8_36⟩
- Accès au texte intégral et bibtex
-
- titre
- Robust Specification of Real Time Components
- auteur
- Kim Guldstrand Larsen, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
- article
- 9th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2011), Sep 2011, Aalborg, Denmark. pp.129 – 144, ⟨10.1007/978-3-642-24310-3_10⟩
- Accès au texte intégral et bibtex
-
- titre
- Quantitative Refinement for Weighted Modal Transition Systems
- auteur
- Claus Thrane, Sebastian S. Bauer, Uli Fahrenberg, Kim Guldstrand Larsen, Line Juhl, Axel Legay
- article
- MFCS, Aug 2011, Warszawa, Poland. pp.60 – 71, ⟨10.1007/978-3-642-22993-0_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Energy Games in Multiweighted Automata
- auteur
- Uli Fahrenberg, Line Juhl, Kim Guldstrand Larsen, Jiří Srba
- article
- ICTAC, Aug 2011, Johannesburg, South Africa. pp.95 – 115, ⟨10.1007/978-3-642-23283-1_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Symbolic Model Checking of Software Product Lines
- auteur
- Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
- article
- ICSE 2011 : 33rd International Conference on Software Engineering, Jun 2011, Honolulu, United States. pp.321-330, ⟨10.1145/1985793.1985838⟩
- Accès au texte intégral et bibtex
-
- titre
- Distances for Weighted Transition Systems: Games and Properties
- auteur
- Uli Fahrenberg, Claus Thrane, Kim Guldstrand Larsen
- article
- QAPL, Apr 2011, Saarbrücken, Germany. pp.134 – 147, ⟨10.4204/EPTCS.57.10⟩
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Model-based Verification and Analysis for Real-Time Systems
- auteur
- Uli Fahrenberg, Kim Guldstrand Larsen, Claus Thrane
- article
- Software and Systems Safety – Specification and Verification, pp.30, 2011
- Accès au texte intégral et bibtex
-
2010
Conference papers
- titre
- Model Checking Lots of Systems
- auteur
- Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin
- article
- ICSE 2010 : 32nd International Conference on Software Engineering, Jun 2010, Cape Town, South Africa. pp.335 – 344, ⟨10.1145/1806799.1806850⟩
- Accès au texte intégral et bibtex
-
2008
Conference papers
- titre
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- auteur
- Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, Jiří Srba
- article
- Proceedings of the 6th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS’08), 2008, Saint-Malo, France. pp.33-47, ⟨10.1007/978-3-540-85778-5_4⟩
- Accès au texte intégral et bibtex
-
