Exploratory Action Estasys
Members
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
Partnerships and Cooperations
Dissemination
Bibliography
Inria | Raweb 2014 | Exploratory Action
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

Bibliography

Publications of the year

Articles in International Peer-Reviewed Journals

  • 1X. Allamigeon, A. Legay, U. Fahrenberg, R. Katz, S. Gaubert.
    Tropical Fourier–Motzkin elimination, with an application to real-time verification, in: International Journal of Algebra and Computation (IJAC), 2014, vol. 24, no 5, pp. 569 - 607. [ DOI : 10.1142/S0218196714500258 ]
    https://hal.inria.fr/hal-01087367
  • 2S. Bensalem, M. Bozga, A. Legay, T.-H. Nguyen, J. Sifakis, R. Yan.
    Component-based Verification using Incremental design and Invariants, in: Software and Systems Modeling, 2014, pp. 1-25. [ DOI : 10.1007/s10270-014-0410-8 ]
    https://hal.inria.fr/hal-01087682
  • 3F. Biondi, A. Legay, P. Malacaria, A. Wąsowski.
    Quantifying Information Leakage of Randomized Protocols, in: Theoretical Computer Science, 2014, pp. 68 - 87. [ DOI : 10.1007/978-3-642-35873-9_7 ]
    https://hal.inria.fr/hal-01088193
  • 4B. Delahaye, U. Fahrenberg, K. G. Larsen, A. Legay.
    Refinement and Difference for Probabilistic Automata, in: Logical Methods in Computer Science, June 2014, pp. LMCS-2013-936.
    https://hal.archives-ouvertes.fr/hal-01010866
  • 5B. Delahaye, K. G. Larsen, A. Legay.
    Stuttering for Abstract Probabilistic Automata, in: Journal of Logic and Algebraic Programming, January 2014, pp. 1–19. [ DOI : 10.1016/j.jlap.2013.05.006 ]
    https://hal.archives-ouvertes.fr/hal-01084342
  • 6U. Fahrenberg, A. Legay.
    General quantitative specification theories with modal transition systems, in: Acta Informatica, 2014, pp. 261-295. [ DOI : 10.1007/s00236-014-0196-8 ]
    https://hal.inria.fr/hal-01087314
  • 7U. Fahrenberg, A. Legay.
    The quantitative linear-time–branching-time spectrum, in: Journal of Theoretical Computer Science (TCS), 2014, pp. 54-69. [ DOI : 10.1016/j.tcs.2013.07.030 ]
    https://hal.inria.fr/hal-01087368
  • 8J. B. Ferreira Filho, O. Barais, M. Acher, J. Le Noir, A. Legay, B. Baudry.
    Generating Counterexamples of Model-based Software Product Lines, in: Software Tools for Technology Transfer (STTT), July 2014.
    https://hal.inria.fr/hal-01026581
  • 9K. G. Larsen, A. Legay, L.-M. Traonouez, A. Wąsowski.
    Robust Synthesis for Real Time Systems, in: Journal of Theoretical Computer Science (TCS), January 2014, vol. 515, pp. 96 - 122. [ DOI : 10.1016/j.tcs.2013.08.015 ]
    https://hal.archives-ouvertes.fr/hal-01087778
  • 10A. Nouri, S. Bensalem, M. Bozga, B. Delahaye, C. Jegourel, A. Legay.
    Statistical model checking QoS properties of systems with SBIP, in: International Journal on Software Tools for Technology Transfer, 2014, 14 p. [ DOI : 10.1007/s10009-014-0313-6 ]
    https://hal.inria.fr/hal-01087822

Invited Conferences

  • 11A. Legay, S. Sedwards.
    On Statistical Model Checking with PLASMA, in: The 8th International Symposium on Theoretical Aspects of Software Engineering, Changsha, China, IEEE, September 2014.
    https://hal.inria.fr/hal-01088859

International Conferences with Proceedings

  • 12F. Biondi, A. Legay.
    Quantitative Anonymity Evaluation of Voting Protocols, in: 12th International Conference on Software Engineering and Formal Methods, Grenoble, France, September 2014.
    https://hal.inria.fr/hal-01088188
  • 13F. Biondi, A. Legay, B. F. Nielsen, P. Malacaria, A. Wasowski.
    Information Leakage of Non-Terminating Processes , in: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Delhi, India, December 2014. [ DOI : 10.4230/LIPIcs.FSTTCS.2014.517 ]
    https://hal.inria.fr/hal-01086879
  • 14B. Boyer, A. Legay, L.-M. Traonouez.
    A Formalism for Stochastic Adaptive Systems, in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Corfu, Greece, Lecture Notes in Computer Science, Springer, October 2014, vol. 8803, pp. 160 - 176. [ DOI : 10.1007/978-3-662-45231-8_12 ]
    https://hal.archives-ouvertes.fr/hal-01087327
  • 15M. Cordy, P. Heymans, A. Legay, P.-Y. Schobbens, B. Dawagne, M. Leucker.
    Counterexample Guided Abstraction Refinement of Product-Line Behavioural Models, in: FSE 2014 : International Symposium on Foundations of Software Engineering, Hong Kong, Hong Kong SAR China, ACM, November 2014, pp. 190-201. [ DOI : 10.1145/2635868.2635919 ]
    https://hal.inria.fr/hal-01087789
  • 16B. Delahaye, J. L. Fiadeiro, A. Legay, A. Lopes.
    Heterogeneous Timed Machines, in: 11th International Colloquium on Theoretical Aspects of Computing, Bucharest, France, September 2014, 18 p.
    https://hal.archives-ouvertes.fr/hal-01010877
  • 17X. Devroey, G. Perrouin, M. Cordy, M. Papadakis, A. Legay, P.-Y. Schobbens.
    A Variability Perspective of Mutation Analysis, in: FSE 2014 : International Symposium on Foundations of Software Engineering, Hong Kong, Hong Kong SAR China, ACM, November 2014, pp. 841-844. [ DOI : 10.1145/2635868.2666610 ]
    https://hal.inria.fr/hal-01087644
  • 18X. Devroey, G. Perrouin, M. Cordy, P.-Y. Schobbens, A. Legay, P. Heymans.
    Towards statistical prioritization for software product lines testing, in: VAMOS, Nice, France, January 2014, pp. 1 - 7. [ DOI : 10.1145/2556624.2556635 ]
    https://hal.inria.fr/hal-01092958
  • 19U. Fahrenberg, M. Acher, A. Legay, A. Wąsowski.
    Sound Merging and Differencing for Class Diagrams, in: FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Grenoble, France, S. Gnesi, A. Rensink (editors), LNCS : Fundamental Approaches to Software Engineering, Springer, April 2014, vol. 8411, pp. 63 - 78. [ DOI : 10.1007/978-3-642-54804-8_5 ]
    https://hal.inria.fr/hal-01087323
  • 20U. Fahrenberg, F. Biondi, K. Corre, C. Jegourel, S. Kongshøj, A. Legay.
    Measuring Global Similarity between Texts, in: SLSP 2014 : Second International Conference on Statistical Language and Speech Processing, Grenoble, France, Springer, October 2014, pp. 220-232. [ DOI : 10.1007/978-3-319-11397-5_17 ]
    https://hal.inria.fr/hal-01087009
  • 21U. Fahrenberg, J. Křetínský, A. Legay, L.-M. Traonouez.
    Compositionality for Quantitative Specifications, in: FACS, Bertinoro, Italy, September 2014.
    https://hal.inria.fr/hal-01087320
  • 22U. Fahrenberg, K. G. Larsen, A. Legay, L.-M. Traonouez.
    Parametric and Quantitative Extensions of Modal Transition Systems, in: FPS@ETAPS, Grenoble, France, April 2014. [ DOI : 10.1007/978-3-642-54848-2_6 ]
    https://hal.inria.fr/hal-01087363
  • 23U. Fahrenberg, A. Legay.
    Configurable Formal Methods for Extreme Modeling, in: XM@MoDELS, Valencia, Spain, September 2014.
    https://hal.inria.fr/hal-01087370
  • 24U. Fahrenberg, A. Legay, L.-M. Traonouez.
    Specification Theories for Probabilistic and Real-Time Systems, in: FPS@ETAPS, Grenoble, France, April 2014. [ DOI : 10.1007/978-3-642-54848-2_7 ]
    https://hal.inria.fr/hal-01087364
  • 25U. Fahrenberg, A. Legay, L.-M. Traonouez.
    Structural Refinement for the Modal nu-Calculus, in: ICTAC, Bucarest, Romania, September 2014, pp. 169 - 187. [ DOI : 10.1007/978-3-319-10882-7_11 ]
    https://hal.inria.fr/hal-01087295
  • 26C. Jegourel, A. Legay, S. Sedwards.
    An Effective Heuristic for Adaptive Importance Splitting in Statistical Model Checking, in: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Corfou, Greece, October 2014, pp. 143 - 159. [ DOI : 10.1007/978-3-662-45231-8_11 ]
    https://hal.inria.fr/hal-01087828
  • 27A. Legay, S. Sedwards.
    Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems, in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Corfu, Greece, T. Margaria, B. Steffen (editors), Lecture Notes in Computer Science, EasyConference, October 2014, vol. 8802, pp. 4 - 25. [ DOI : 10.1007/978-3-662-45234-9_2 ]
    https://hal.inria.fr/hal-01087858
  • 28A. Legay, S. Sedwards, L.-M. Traonouez.
    Scalable Verification of Markov Decision Processes, in: 4th Workshop on Formal Methods in the Development of Software (FMDS 2014), Grenoble, France, Lecture Notes in Computer Science, September 2014.
    https://hal.inria.fr/hal-01088396
  • 29S. Naujokat, L.-M. Traonouez, M. Isberner, B. Steffen, A. Legay.
    Domain-Specific Code Generator Modeling: A Case Study for Multi-faceted Concurrent Systems, in: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Corfu, Greece, Lecture Notes in Computer Science, Springer, October 2014, vol. 8802, pp. 481 - 498. [ DOI : 10.1007/978-3-662-45234-9_33 ]
    https://hal.archives-ouvertes.fr/hal-01087322
  • 30A. Nouri, M. Bozga, A. Molnos, A. Legay, S. Bensalem.
    Building Faithful High-level Models and Performance Evaluation of Manycore Embedded Systems, in: MEMOCODE, Lausanne, Switzerland, October 2014. [ DOI : 10.1109/MEMCOD.2014.6961864 ]
    https://hal.inria.fr/hal-01087671
  • 31A. Nouri, B. Raman, M. Bozga, A. Legay, S. Bensalem.
    Faster Statistical Model Checking by Means of Abstraction and Learning, in: RV, Toronto, Canada, September 2014. [ DOI : 10.1007/978-3-319-11164-3_28 ]
    https://hal.inria.fr/hal-01087676

Internal Reports

  • 32J. M. Atlee, U. Fahrenberg, A. Legay.
    Measuring Behaviour Interactions between Product-Line Features, Inria Rennes, 2014.
    https://hal.inria.fr/hal-01088160
  • 33N. Beneš, U. Fahrenberg, J. Křetínský, A. Legay, L.-M. Traonouez.
    Logical vs. Behavioural Specifications, Inria Rennes, 2014.
    https://hal.inria.fr/hal-01088150
  • 34P. D'Argenio, A. Legay, S. Sedwards, L.-M. Traonouez.
    Smart Sampling for Lightweight Verification of Markov Decision Processes, Inria Rennes - Bretagne Atlantique, équipe ESTASYS, October 2014, Submitted to conference.
    https://hal.inria.fr/hal-01088633
  • 35U. Fahrenberg, J. Křetínský, A. Legay, L.-M. Traonouez.
    Compositionality for Quantitative Specifications, Inria Rennes, 2014.
    https://hal.inria.fr/hal-01088154
  • 36U. Fahrenberg, A. Legay.
    Homotopy Bisimilarity for Higher-Dimensional Automata, Inria Rennes, September 2014.
    https://hal.inria.fr/hal-01087294
  • 37A. Legay, S. Sedwards, L.-M. Traonouez.
    Lightweight Verification of Markov Decision Processes with Rewards, Inria Rennes - Bretagne Atlantique, October 2014, Submitted to conference.
    https://hal.inria.fr/hal-01088684
  • 38V. C. Ngo, A. Legay, J. Quilbeuf.
    Dynamic Verification of SystemC with Statistical Model Checking, Inria Rennes - Bretagne Atlantique, équipe ESTASYS, October 2014, no RR-8644, 25 p.
    https://hal.inria.fr/hal-01089742
  • 39M. Ouederni, U. Fahrenberg, A. Legay, G. Salaün.
    Flooding-Based Algorithm for Behavioural Compatibility Measuring, Inria Rennes, 2014.
    https://hal.inria.fr/hal-01088157

Other Publications

References in notes
  • 45A. Arnold, B. Boyer, A. Legay.
    Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach, January 2013, 21 p.
    https://hal.inria.fr/hal-00778039
  • 46F. Biondi, A. Legay, L.-M. Traonouez, A. Wasowski.
    QUAIL: A Quantitative Security Analyzer for Imperative Code, in: Computer Aided Verification - 25th International Conference, Saint Petersburg, Russia, Lecture Notes in Computer Science, Springer, July 2013, vol. 8044, pp. 702 - 707. [ DOI : 10.1007/978-3-642-39799-8_49 ]
    https://hal.archives-ouvertes.fr/hal-01087804
  • 47B. Boyer, K. Corre, A. Legay, S. Sedwards.
    PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, in: Quantitative Evaluation of Systems, Buenos Aires, Argentina, K. Joshi, M. Siegle, M. Stoelinga, P. R. D’Argenio (editors), Lecture Notes in Computer Science, August 2013, vol. 8054, pp. 160 - 164. [ DOI : 10.1007/978-3-642-40196-1_12 ]
    https://hal.inria.fr/hal-01088411
  • 48C. Jegourel, A. Legay, S. Sedwards.
    A Platform for High Performance Statistical Model Checking – PLASMA, in: TACAS 2012 - 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems, Tallinn, Estonia, C. Flanagan, B. König (editors), LNCS - Lecture Notes in Computer Science, Springer, March 2012, vol. 7214, pp. 498 - 503. [ DOI : 10.1007/978-3-642-28756-5_37 ]
    https://hal.inria.fr/hal-01087824
  • 49C. Jegourel, A. Legay, S. Sedwards.
    Importance Splitting for Statistical Model Checking Rare Properties, in: Computer Aided Verification, Saint-Pétersbourg, Russia, July 2013, pp. 576 - 591. [ DOI : 10.1007/978-3-642-39799-8_38 ]
    https://hal.inria.fr/hal-01087826
  • 50C. Jégourel, A. Legay, S. Sedwards.
    Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking, in: Computer Aided Verification, Berkeley, United States, July 2012, pp. 327 - 342. [ DOI : 10.1007/978-3-642-31424-7_26 ]
    https://hal.inria.fr/hal-01087341
  • 51A. Mignogna, L. Mangeruca, B. Boyer, A. Legay, A. Arnold.
    SoS contract verification using statistical model checking, 2013, pp. 67 - 83, Workshop paper presenting the Toolchain to be produced by the DANSE project for modelling and verifying systems of systems. [ DOI : 10.4204/EPTCS.133.7 ]
    https://hal.inria.fr/hal-01090330

previous Previous | up Home