A. Legay. Generic Techniques for the Verification of Infinite-State Systems. PhD thesis. Ulg December 2007. Abstract. Thesis.

P. Aziz Abdulla, A. Legay, J. d'Orso, A. Rezine. Tree Regular Model Checking: A Simulation-Based pproach. Journal of Logic and Algebraic Programming, 2006

K. Chatterjee, L. de Alfaro, M. Faella, A. Legay. Qualitative Logics and Equivalences for Probabilistic Systems. Logical Methods in Computer Science, 2009.

F. Cantin, A. Legay, P. Wolper. Computing Convex hulls by automata iteration. International Journal of Foundations of Computer Science, 2009.

E. M. Clarke, A. Donze, A. Legay. On Simulation-Based Probabilistic Model Checking. Formal Methods in System Design, 2010.

A. Legay, P. Wolper. On (Omega-)Regular model checking. Transactions on Computational Logic, 2010.

J-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, R. Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. Fundamenta Informaticae, 2011.

B. Delahaye, B. Caillaud, A. Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Systems with Stochastic and/or non-Deterministic Aspects. Formal Methods in System Design, 2011.

N. Bertrand, A. Legay, J-B. Raclet, Sophie Pinchinat. Modal event-clock specifications for timed component-based design. Science of computer Programming, 2011.

A. Basu, S. Bensalem, M. Bozga, B. Delahaye, A. Legay. Statistical Abstraction and Model Checking of Large Heterogeneous Systems. Software Tools for Technology Transfer, 2011.

B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Constraint Markov Chains. Journal of Theoretical Computer Science, 2011.

A. Legay. Extrapolating (Omega-)Regular Model Checking. Software Tools for Technology Transfer, 2011.

B. Delahaye, K. G. Larsen, A. Legay, M. L. Peddersen, A. Wasowski. Consistency and Refinement for Interval Markov Chains. Journal of Logic and Algebraic Programming, 2011.

L. Bozzelli, A. Legay, S. Pinchinat. Hardness of preorder checking for basic formalisms. Journal of Theoretical Computer Science, 2011.

S. Bauer, L. Juhl, K. Larsen, A. Legay, J. Srba. Extending Modal Transition Systems with Structured Labels. MFCS, 2011.

B. Delahaye, K. G. Larsen, A. Legay, M. L. Peddersen, A. Wasowski. New results for Constraint Markov Chains. Performance evaluation, 2012.

L. Bozzelli, A. Legay, S. Pinchinat. On Timed Alternating Simulation for Concurrent Timed Games. Acta Informatica, 2012.

A. Classens. M. Cordy, P. Heymans, A. Legay, P-Y Schobbens. Model Checking Software Product Lines with SNIP. STTT, 2012.

A. David, K.G. Larsen, A. Legay, M. Moller, A.P. Ravn, A. Skou, A. Wasowski. Compositional Verification of Real-Time Systems Using Ecdar. STTT, 2012.

S. Bauer, L. Juhl, K.G. Larsen, A. Legay, C. Thrane. Weighted Modal Transition Systems. Formal Methods in Systems Design, 2012.

B. Aminof, A. Legay, N. Murano, O. Serre, M. Vardi. Pushdown Module Checking with Imperfect Information. Information and Computation, 2013.

A. Classen, P. Heymans, A. Legay, J-F. Raskin, and P-Y. Schobbens. Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and their Application to LTL Model Checking. To appear in Transactions on Software Engineering, 2013.

L. de Alfaro, M. Faella, A. Legay. An Introduction to the Tool TICC. Proc. of TrustWorthy Workshop Software 2006. Saarbrücken, Août 2006. Published in Dagstuhl online proceedings. This paper describes the new features of Ticc that have been implemented after the CAV06 paper.

A. Legay and B. Delahaye. Statistical Model Checking: A brief Overview. Proc of Quantitative Models: Expressiveness and Analysis 2010. Wadern, January 2010. Published in Dagstuhl online proceedings series

B. Boigelot, A. Legay, P. Wolper. Iterating Transducers in the Large. Proc. 15th International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, Boulder, July 2003.

B. Boigelot, A. Legay, P. Wolper. Omega-regular Model Checking. Proc. 10th International Conference on Tools ans Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Barcelona, April 2004.

A. Bouajjani, A. Legay, P. Wolper. Handling Liveness properties in (Omega-)Regular Model Checking. Proc of Infinity04 Workshop, pages 37-48, London, September 2004. Electronic Notes in Theoretical Computer Scienceq.

P. Aziz Abdulla, A. Legay, J. d'Orso, A. Rezine. Simulation-Based Iteration of Tree Transducers. Proc. 11th International Conference on Tools ans Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Edinburgh, April 2005.

L. de Alfaro, L.Dias da Silva, M. Faella, A. Legay, P. Roy, M. Sorea. Sociable Interfaces. Proc. 5th International Workshop on Frontiers of Combining Systems, Lecture Notes in Computer Science, Vienna, September 2005.

P. Aziz Abdulla, A. Legay, J. d'Orso, A. Rezine. Simulation-Based Iteration of Tree Transducers (short version). Proc. 10th Nordic Workshop on Programming Theory, Uppsala, October 2004.

B. Thomas Adler, L. de Alfaro, L. Dias Da Silva, M. Faella, A. Legay, V. Raman, P. Roy. Ticc: A Tool for Interface Compatibility and Composition. Proc. 18th International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, Seattle, August 2006.\

M. Faella, A. Legay. On the Implementation of a Game-Based Model for Specifying Open Systems. Proc. 10th Conference on "Approches Formelles dans l'Assistance au Developpement de Logiciels". Presses Universitaires de Namur, Namur, June 2007.

F. Cantin, A. Legay, P. Wolper. Computing Convex hulls by automata iteration. Proc 1th AUTOMATHA 07. Palerme, June 2007.

Chatterjee, L. de Alfaro, M. Faella, A. Legay. Qualitative Logics and Equivalences for Probabilistic Systems. Proc. 4th International Conference on Quantitative Evaluation of Systems. IEEE. Edinburgh, September 2007.

A. Legay, A. Murawski, J. Ouaknine, J. Worrell. On Automated Verification of Probabilistic Programs. Proc. 14th International Conference on Tools ans Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Budapest, April 2008.

M. Faella, A. Legay, M. Stoelinga. Model checking Quantitative Linear Time Logic. Proc 6th Workshop on Quantitative Aspects of Programming Languages, Electronic Notes in Computer Science, Budapest, April 2008.

E. M. Clarke, A. Donze, A. Legay. Statistical Model Checking of Mixed-Analog Circuits. Proc. 2sd Workshop on Formal Verification of Analog Circuits. See the Haifa 2008 improved version.

A. Legay. T(O)RMC: a Tool for (Omega-)Regular Model Checking. Proc. 20th International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, Princeton, July 2008.

B. Aminof, A. Legay, A. Murano. O. Serre. Mu-calculus Pushdown Module Checking with Imperfect State Information. Proc 5th IFIP International Conference on Theoretical Computer Science, Springer Science and Business Media, Milano, September 2008.

F. Cantin, A. Legay, P. Wolper. Computing Convex Hull by Automata Iteration. Proc 13th International Conference on Implementation and Application of Automata, Lecture Notes in Computer Science, San Fransisco, July 2008.

E.M. Clarke, J.R. Faeder. L.A. Harris, C.J. Langmead, A. Legay, S. K. Jha. Statistical Model Checking in BioLab: Application to the automated analysis of the T-Cell Receptor Signalling Pathway. Proc. 6th Annual Conference on Computational Methods in Systems Biology, Lecture Notes in Computer Science (Bioinformatics), Rostock, October 2008.

E. M. Clarke, A. Donze, A. Legay. Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Proc. 3rd International Haifa Verification Conference, Lecture Notes in Computer Science, Haifa, October 2008.

A. Donze, G. Clermont, C. J. Langmead, A. Legay. Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology, Proc. 13th Annual International Conference on Research in Computational Molecular Biology, Lecture Notes in Computer Science, Tucson, May 2009.

E.M. Clarke, C.J. Langmead, A. Legay, S. K. Jha, A. Platzer, P. Zuliani. A Bayesian Approach to Model Checking Biological Systems. Proc. 7th Annual Conference on Computational Methods in Systems Biology, Lecture Notes in Computer Science (Bioinformatics), Bologna, September 2009.

B. Delahaye, B. Caillaud, A. Legay. Compositinal Reasoning for Assume/Guarantee Contracts Combining Stochastic and Nondeterministic Aspects. Proc. 21th Nordic Workshop on Programming Theory, October 2009.

A. Legay, M. Viswanathan. Simulation + Hypothesis Testing for Model Checking of Probabilistic Systems (tutorial). Proc. 6th International Conference on Quantitative Evaluation of Systems. IEEE. Budapest, September 2009.

J-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, Roberto Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. Proc. 9th International Conference on Embedded Software. IEEE. Grenoble, October 2009.

N. Bertrand, A. Legay, J-B. Raclet, S. Pinchinat. A Compositional Approach on Modal Specifications for Timed Systems. Proc 11th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, Rio, December 2009.

L. Bozzelli, A. Legay, S. Pinchinat. On Timed Alternating Simulation for Concurrent Timed Games. Proc 29th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Kanpur, December 2009.

R. Chadha, A. Legay, P. Prabhakar and M. Viswanathan. Complexity bounds for the verification of real-time software. Proc 11th International Conference on Verification, Model Checking, and Abstraction Interpretation, Lecture Notes in Computer Science, Madrid, January 2010, Springer-verlag.

A. Classen, P. Heymans, A. Legay, J-F. Raskin, and P-Y. Schobbens. Model Checking lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. Proc 32nd International Conference on Software Engineering, ACM, Cap Town, May 2010.

B. Delahaye, K. G. Larsen, A. Legay, M. Peddersen, A. Wasowski. Decision Problems for Interval Markov Chains. Proc 22th Nordic Workshop on Programming Theory, October 2010.

A. David, K.G. Larsen, A. Legay, U. Nyeman, and A. Wasowski. Timed I/O Automata: A Complete Specification Theory for Real-time Systems. Proc of 13th International Conference on Hybrid Systems, ACM, Stockholm, April 2010.

L. Bozzelli, A. Legay, S. Pinchinat. Hardness of preorder checking for basic formalisms. Proc 16th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Lecture Notes in Computer Science, Dakar, May 2010, Springer-verlag.

B. Delahaye, B. Caillaud, A. Legay. Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems. Proc 10th International Conference on Application of Concurrency to System Design, IEEE, Braga, June 2010.

L. Doyen, A. Legay, D. Nickovic, T.A. Henzinger. Robustness of Sequential Circuits. Proc 10th International Conference on Application of Concurrency to System Design, IEEE, Braga, June 2010.

A. Basu, M. Bozga. S. Bensalem, B. Caillaud, B. Delahaye, A. Legay. Statistical Abstraction and Model-Checking of Large Heterogeneous Systems. Proc 30th International Conference on Formal Techniques for Distributed Systems, Lecture Notes in Computer Science, Amsterdam, June 2010, Springer-verlag.

A. David, K.G. Larsen, A. Legay, U. Nyman, A. Wasowski. Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. Proc 8th International Simposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science, Eindhoven, November 2009, Springer-verlag. Post Proceedings.

S. Bensalem, A. Legay, T. Nguyen, J. Sifakis. Incremental Invariant Generation for Compositional Design Proc 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, IEEE, Taipei, August 2010.

J. Ortizs, A. Legay, P-Y. Schobbens. Memory Event Clocks. Proc. 8th International Conference on Formal Modelling and Analysis of Timed Systems, Lecture Notes in Computer Science, Vienna, September 2010, Springer-verlag.

A. David, K.G. Larsen, A. Legay, U. Nyman, A. Wasowski. Methodologies for Specification of Real-Time Systems Using Timed I/O Automata. Proc 8th Symposium on Automated Technology for Verification and Analysis, Lecture Notes in Computer Science, Singapore, September 2010, Springer-verlag.

B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Compositional Design Methodology with Constraint Markov Chains. Proc. 7th International Conference on Quantitative Evaluation of SysTems, IEEE, Williamsburg, September 2010.

S. Bensalem, M. Bozga, A. Legay, T. Nguyen, J. Sifakis. Incremental Component-based Construction and Verification using Invariants. Proc 10th International Conference on Formal Methods in Computer Aided Design, IEEE, Lugano, October 2010.

A. Basu, M. Bozga. S. Bensalem, B. Delahaye, A. Legay, E. Sifakis. Verification of an AFDX Infrastructure using Simulations and Probabilities. Proc 1st International Conference on Runtime Verification, Lecture Notes in Computer Science, Malta, November 2010, Springer-verlag.

A. Legay, S. Bensalem, B. Delahaye. Statistical Model Checking: Present and Future: a tutorial. Proc of 1th International Conference on Runtime Verification, Lecture Notes in Computer Science, Malta, November 2010, springer-verlag.

B. Delahaye, J-P Katoen, K. Larsen, A. Legay, M. Peddersen, F. Sher, A. Wasowski. Abstract Probabilistic Automata. Proc 12th International Conference on Verification, Model Checking, and Abstraction Interpretation, Lecture Notes in Computer Science, Austin, January 2011, Springer Verlag.

P. E. Bulychev, A. David, K. G. Larsen, M. Mikucionis, A. Legay. Distributed Parametric and Statistical Model Checking. Proc 10th International Workshop on Parallel and Distributed Methods in verifiCation, Snow-bird, July 2011.

B. Delahaye, K. G. Larsen, A. Legay, M. Peddersen, A. Wasowski, Stuttering in Abstract Probabilistic Automata. Proc 23th Nordic Workshop on Programming Theory, October 2011.

A. Classen, P. Heymans, A. Legay, and P-Y. Schobbens. Symbolic Model Checking of Software Product Lines. Proc 33nd International Conference on Software Engineering, ACM, Hawai, May 2011.

T. Bourk, A. David, K. G. Larsen, A. Legay, D. Lime, U. Nyman, A. Wasowski. Nex results on timed specifications. Proc. 20th International Workshop on Algebraic Development Techniques, Verification, Model Checking, and Abstraction Interpretation, Lecture Notes in Computer Science, Elesten, October 2010, Springer Verlag.

S. Bensalem, A. Griesmayer, A. Legay, T. Nguyen, J. Sifakis, R. Yan. D-Finder 2: Towards Efficient Correctness of Incremental Design. Proc 3rd of NASA Formal Methods Symposium, Lecture Notes in Computer Science, Los Angeles, April 2011, Springer Verlag.

B. Delahaye, K.G. Larsen, A. Legay, M. Pedersen, A. Wasowski. Decision Problems for Interval Markov Chains. Proc 5th International Conference on Languages and Automata, Lecture Notes in Computer Science, Taragona, May 2011, Springer Verlag.

B. Delahaye, J-P Katoen, K. Larsen, A. Legay, M. Peddersen, F. Sher, A. Wasowski.New Results on Abstract Probabilistic Automata. Proc 11th International Conference on Application of Concurrency to System Design, IEEE, Kanazawa, June 2011.

A. Legay, S. Bensalem, A. Griesmayer, R. Yan, L. De Silva and F. Ingrand A Formal Approach for Incremental Construction with an Application to Autonomous Robotic Systems. Proc 12th International Conference on Software Composition, Lecture Notes in Computer Science, Zurich, August 2011.

A. David, K. G. Larsen, A. Legay, M. Mikucionis. Time for Real Statistical Model-Checking: Statistical Model-Checking for Real-Time. Proc 23 th International Conference on Computer-Aided Verification, Lecture Notes in Computer Science, Snow Bird, July 2011.

J. Ortizs, A. Legay, P-Y. Schobbens. Distributed Event Clock Automata. Proc 16th International Conference on Implementation and Application of Automata, Lecture Notes in Computer Science, Blois, July 2011.

A. Griesmayer, A. Legay, H. Nguyen, D. Peled, S. Bensalem.Efficient Deadlock detection for concurrent systems. Proc 9th International Conference on Formal Methods and Models for Codesign. IEEE. Cambridge, July 2011.

B. Delahaye, K.G. Larsen, A. Legay, M. Pedersen, A. Wasowski. APAC: a tool for reasoning about Abstract Probabilistic Automata. Proc. 8th International Conference on Quantitative Evaluation of SysTems, Aachen, September 2011.

U. Fahrenberg, A. Legay, A. Wasowski. Make a difference (Semantically). Proc 14th International Conference on Model Driven Engineering Languages and Systems, Lecture Notes in Computer Science, Wellington, October 2011.

S. Bauer, P. Mayer, A. Legay. MIO Workbench: A Tool for Compositional Design with Modal Input/Output Interfaces. Proc 9th Symposium on Automated Technology for Verification and Analysis, Lecture Notes in Computer Science, Taipei, October 2011, Springer-verlag.

Alexandre David, Kim G. Larsen, Axel Legay, Marius Mikuonis, Danny Poulsen, Jonas Van Vliet and Zheng Wang. Statistical Model Checking for Networks of Priced Timed Automata. Proc. 9th International Conference on Formal Modelling and Analysis of Timed Systems, Lecture Notes in Computer Science, Aalborg, September 2011, Springer-verlag.

Louis-Marie Traonouez, Axel Legay, Andrzej Wasowski and Kim G. Larsen. Robust Specification of Real Time Components. Proc. 9th International Conference on Formal Modelling and Analysis of Timed Systems, Lecture Notes in Computer Science, Aalborg, September 2011, Springer-verlag.

S. Bauer, U. Fahrenberg, L. Juhl, K. G Larsen, A. Legay and C. Thrane. Quantitative Refinement for Weighted Modal Transition Systems. Proc. 36th International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, Warsaw, August 2011, Springer verlag.

S. Bauer, K. G. Larsen, A. Legay, U. Nyman, A. Wasowski. A Modal Specification Theory for Components with Data. Proc. 8th International Symposium on Formal Aspects of Component Software, Lecture Notes in Computer Science, Oslo, September 2011, Springer verlag.

U. Fahrenberg, A. Legay, C. Thrahn. The Quantitative Linear-Time Branching-Time Spectrum. Proc 31th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Kanpur, December 2011.

A. Classens, M. Cordy, P. Heymans, A. Legay, P-Y Schobbens. Managing Evolution in Software Product Lines: A Model Checking Perspective. Proc 6th Variability Modelling of Software-intensive Systems, ACM Digital, Leipzig, January 2012.

M. Bozga, A. David, H. Hermanns, A. Hartmaans, K. G. Larsen, A. Legay, J. Tretmans. Tools and Techniques for Modeling and Analyzing Embedded Systems. Proc of International Conference on Design Automation and Test in Europe, IEEE, Dresden, March 2012.

C. Jegourelle, A. Legay, S. Sedwards. A Platform for High Performance Statistical Model Checking - PLASMA. Proc. 18th International Conference on Tools ans Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, Tallin, April 2012.

S. Bauer, A. David, R. Hennicker, K. G. Larsen, A. Legay, U. Nyman, A. Wasowski Moving from Specifications to Contracts in Component-based Design. Proc 15th International Conference on Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science, Tallin, April 2012.

P. Bulychev, A. David, K.G. Larsen, A. Legay. Computing Nash Equilibrium in Wireless Ad Hoc Networks: A Simulation-Based Approach. Second International Workshop on Interactions, Games and Protocols, EPTCS, Tallin, April 2012.

P. Bulychev, A. David, K. G. Larsen, M. Mikučionis, D. Bøgsted~Poulsen. Uppaal SMC, Statistical Model Checking for Priced Timed Automata. Proc 10th Workshop on Quantitative Aspects of Programming Languages, EPTCS, Tallin, April 2012.

P. Bulychev, A. David, K. G. Larsen, A. Legay, G. Li, D. Poulsen, A. Stainer. Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic Proc 18th International Conference on Logic for Programming Artificial Intelligence and Reasoning, Lecture Notes in Computer Science, Merida, May 2012, Springer-verlag.

P. Bulychev, A. David, K. G. Larsen, A. Legay, M. Mikuionis and D. B. Poulsen. Checking and Distributing Statistical Model Checking Proc 4rd of NASA Formal Methods Symposium, Lecture Notes in Computer Science, Norfol;, April 2012, Springer Verlag.\

A. Classens, M. Cordy, P. Heymans, A. Legay, G. Perrouin, P-Y Schobbens. Simulation Relation for Software Product Lines: Foundations for Scalable Model Checking. Proc 34nd International Conference on Software Engineering, ACM, Zurich, June 2012.

S. Bauer, U. Fahrenberg, A. Legay and C. Thrane Quantitative Specification Theories with Modalities. Proc 7th International Computer Science Symposium in Russia, LNCS, Nizhny Novgorod, July 2012.

E. Kang, A. Legay, P-Y Schobbens. Verification of Component-based Architectural Models in EAST-ADL. Proc EASe 2012, IEEE, 2012.

C. Jegourel, A. Legay, S. Sedwards: Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking. Proc 24th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Berkeley, July 2012.

S. Tasharofi, R. K. Karmani, S. Lauterburg, A. Legay, D. Marinov, G. Agha. TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs. Proc 32th International Conference on Formal Techniques for Distributed Systems, Lecture Notes in Computer Science, Stockholm, June 2012.

B. Delahaye, U. Fahrenberg, T.A. Henzinger, A. Legay, D. Nickovic. Synchronous Interface Theories and Time Triggered Scheduling. Proc 32th International Conference on Formal Techniques for Distributed Systems, Lecture Notes in Computer Science, Stockholm, June 2012.

A Logic for Accumulated-Weight Reasoning on Multiweighted Modal Automata. S. Bauer, L. Juhl, K. G. Larsen, A. Legay, J. Srba Proc 6th IEEE International Symposium on Theoretical Aspects of Software Engineering, IEEE, Beijing, August 2012.

M. Cordy, P. Heymans, P-Y Schobbens and A. Legay. Behavioural Modelling and Verification of Real-Time Software Product Lines. Proc. 16th International Software Product Line Conference, ACM, Salvadore, September 2012.

S. Bauer, R. Hennicker and A. Legay. Component Interfaces with Contracts on Ports. Proc. 9th International Symposium on Formal Aspects of Component Software, Lecture Notes in Computer Science, San Fransisco, September 2012.

P. Bulychev, A. David, K. G. Larsen; D. Poulsen. Rewrite-Based Statistical Model Checking of WMTL. Proc 3rd International Conference on Runtime Verification, Lecture Notes in Computer Science, Istambul, September 2012.

A. David, K. G. Larsen, A. Legay, M. Mikuionis. Schedulability of Herschel-Planck Revisited Using Statistical Model Checking. Proc 4th International Symposium on Leveraging Applications, Lecture Notes in Computer Science, Crete, October 2012.

X. Devroye, M. Cordy, G. Perrouin, E. Kang, P-Y Schobbens, P. Heymans, A. Legay, B. Baudry. Software Product Line, Model-Based Testing, Test Generation, Model-Checking Proc 4th International Symposium on Leveraging Applications, Lecture Notes in Computer Science, Crete, October 2012.

A. Legay, B. Delahaye, S. Bensalem, M. Bozga, C. Jegourel, Ayoub Nouri. Statistical Model Checking QoS properties of Systems with SBIP. Proc 4th International Symposium on Leveraging Applications, Lecture Notes in Computer Science, Crete, October 2012.

A. Legay, A. David, K. G. Larsen, S. Seadwards, D. Poulsen. Runtime Verification of Biological Systems. Proc 4th International Symposium on Leveraging Applications, Lecture Notes in Computer Science, Crete, October 2012.

Y. Boichut, B. Boyer, A. Legay and T. Genet. Equational Abstraction Refinement for Certified Tree Regular Model Checking. Proc 14th International Conference on Formal Engineering Methods, Lecture Notes in Computer Science, Kyoto, November 2012.

B. Delahaye, K. G. Larsen, A. Legay. Stuttering for Abstract Probabilistic Automata. Proc Symposium on Logical Foundations of Computer Science, Lecture Notes in Computre Science, San Diego, January 2013.

F. Biondi, A. Wasowski, A. Legay and B. F. Nielsen. Maximizing Entropy over Markov Processes. Proc 7th International Conference on Languages and Automata, Lecture Notes in Computer Science, May 2013, Springer Verlag.

M. Cordy, P. Heymans, A. Legay, P-Y Schobbens. Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-features. Proc 35nd International Conference on Software Engineering, ACM, San Fransisco, June 2013.