Personal tools
Navigation
 

List of publications

  • B. Caillaud, B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, A. Wasowski. Constraint Markov Chains. To appear in Theoretical Computer Science (2011).
  • B. Delahaye, K. G. Larsen, A. Legay, M. L. Pedersen, A. Wasowski. Consistency and Refinement for Interval Markov Chains. To appear in Journal of Logic and Algebraic Programming (2011).
  • S. Bauer, L. Juhl, K. Larsen, A. Legay, J. Srba. Extending Modal Transition Systems with Structured Labels. MFCS (2011).
  • 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, volume XXXX, Lecture Notes in Computer Science, pages XXXX, Oslo, 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, volume XXXX, Lecture Notes in Computer Science, pages XXXX, Warsaw, August 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, volume XXXX, Lecture Notes in Computer Science, pages XXXX, Aalborg, September 2011, Springer-verlag.
  • 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, IEEE, pages XXXX, Aachen, September 2011. To appear.
  • 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, volume XXXX, Lecture Notes in Computer Science, pages XXXX, Taipei, October 2011, 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, pages 335-344, Cap Town, May 2010.
  • A. David, K.G. Larsen, A. Legay, U. Nyman, and A. Wasowski. Timed I/O Automata: A Complete Specification Theory for Real-time Systems. Proc of 13th International Conference on Hybrid Systems, ACM, pages 91-100, Stockholm, April 2010.
  • 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, pages 223-232 Braga, June 2010.
  • 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, to appear.
  • 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. To appear.
  • 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, to appear.
  • B. Caillaud, B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Constraint Markov Chains. Submitted to TCS.
  • 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, pages 91-100, Stockholm, April 2010
  • 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 Symposium on Formal Methods for Components and Objects, Lecture Notes in Computer Science, Eindhoven, November 2009, Springer-verlag. Post Proceedings, to appear.
  • 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. To appear.
  • Louis-Marie Traonouez, Bartosz Grabiec, Claude Jard, Didier Lime, Olivier H. Roux. Symbolic Unfolding of Parametric Stopwatch Petri Nets.
  • Bartosz Grabiec, Louis-Marie Traonouez, Claude Jard, Didier Lime and Olivier H. Roux. Diagnosis using Unfoldings of Parametric Time Petri Nets.
  • B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Decision Problems for Interval Markov Chains. Tech. report.
  • B. Delahaye, J.-P. Katoen, K. G. Larsen, A. Legay, M. L. Pedersen, F. Sher, and A. Wąsowski. Abstract Probabilistic Automata. Proc. 12th International Conference on Verification, Model Checking and Abstract Interpretation, Austin, January 2011, to appear.
  • B. Delahaye, K. Larsen, A. Legay, M. Pedersen, A. Wasowski. Decision Problems for Interval Markov Chains. Talk accepted at NWPT
     

 
Contact

ARC (TP)I
Axel Legay, INRIA/IRISA Rennes
PHONE: +33 2 9984 7431,
FAX: +33 2 2 9984 7171