User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 23 results.
    • Journal article
    Modal event-clock specifications for timed component-based design
    Bertrand, Nathalie Legay, Axel[UCL] Pinchinat, Sophie Raclet, Jean-Baptiste (2012) Science of Computer Programming — no. 77, p. 1212-1234 (2012)
    • Speech
    Synchronous Interface Theories and Time Triggered Scheduling
    Delahaye, Benot Fahrenberg, Uli Legay, Axel[UCL] Ničković, Dejan (2012) 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) —
    • Speech
    Managing Evolution in Software Product Lines : A Model-Checking Perspective
    Cordy, Maxime Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel[UCL] (2012) 6th International Workshop on Variability Modelling of Software Intensive Systems —
    • Speech
    Simulation-Based Abstractions for Software Product-Line Model Checking
    Cordy, Maxime Classen, Andreas Perrouin, Gilles Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] (2012) ICSE 2012 : 34th International Conference on Software Engineering — Zurich
    • Speech
    Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking
    Jégourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2012) Computer Aided Verification —
    • Speech
    Behavioural Modelling and Verification of Real-time Software Product Lines
    Cordy, Maxime Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel[UCL] (2012) 16th Software Product Line Conference —
    • Speech
    Towards Behavioural Model-Driven Validation of Software Product Lines
    Devroey, Xavier Cordy, Maxime Perrouin, Gilles Kang, Eun-Young Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] Baudry, Benoit (2012) 5th International Sympoisum on Leveraging Applications of Formal Methods —
    • Journal article
    Model Checking for Software Product Lines with SNIP
    Classen, Andreas Cordy, Maxime Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel[UCL] (2012) International Journal on Software Tools for Technology Transfer — p. 589-612 (2012)
    • Speech
    Runtime Verification of Biological Systems
    David, Alexandre Larsen Kim, Guldstrand Legay, Axel[UCL] Mikučionis, Marius Poulsen Danny, Bøgsted Sedwards, Sean (2012) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change —
    • Speech
    A Platform for High Performance Statistical Model Checking – PLASMA
    Jegourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2012) TACAS 2012 - 18th International Conference Tools and Algorithms for the Construction and Analysis of Systems —
    • Speech
    General Quantitative Specification Theories with Modalities
    Bauer Sebastian, S. Fahrenberg, Uli Legay, Axel[UCL] Thrane, Claus (2012) CSR —
    • Speech
    Equational Abstraction Refinement for Certified Tree Regular Model Checking
    Boichut, Yohan Boyer, Benoit Genet, Thomas Legay, Axel[UCL] (2012) ICFEM —
    • Speech
    A Robust Specification Theory for Modal Event-Clock Automata
    Fahrenberg, Uli Legay, Axel[UCL] (2012) FIT 2012 - 4th International Workshop on Foundations of Interface Technologies —
    • Speech
    Monitor-Based Statistical Model Checking for Weighted Metric Temporal Logic
    Bulychev, Peter David, Alexandre Larsen Kim, Guldstrand Legay, Axel[UCL] Li, Guangyuan Bogsten Poulsen, Danny Stainer, Amélie (2012) Logic for Programming, Artificial Intelligence, and Reasoning —
    • Report
    Tree Regular Model Checking for Lattice-Based Automata
    Genet, Thomas Le Gall, Tristan Legay, Axel[UCL] Murat, Valérie (2012)
    • Speech
    A Vision for Behavioural Model-Driven Validation of Software Product Lines
    Devroey, Xavier Cordy, Maxime Perrouin, Gilles Kang, Eun-Young Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] Baudry, Benoit (2012) International Symposium On Leveraging Applications of Formal Methods, Verification and Validation —
    • Speech
    Statistical Model Checking for Stochastic Hybrid Systems
    David, Alexandre Mikučionis, Marius Larsen Kim, Guldstrand Bogsten Poulsen, Danny Legay, Axel[UCL] Sedwards, Sean Du, Dehui (2012) Proceedings First International Workshop on Hybrid Systems and Biology —
    • Journal article
    Statistical abstraction and model-checking of Large Heterogeneous Systems
    Basu, Ananda Bensalem, Saddek Bozga, Marius Delahaye, Benoît Legay, Axel[UCL] (2012) International Journal on Software Tools for Technology Transfer — Vol. 14, no. 1, p. 53-72 (2012)
    • Speech
    Statistical Model Checking QoS properties of Systems with SBIP
    Bensalem, Saddek Bozga, Marius Delahaye, Benoît Jégourel, Cyrille Legay, Axel[UCL] Nouri, Ayoub (2012) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012 —
    • Speech
    TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
    Tasharofi, Samira Karmani, Rajesh Lauterburg, Steven Legay, Axel[UCL] Marinov, Darko Agha, Gul (2012) 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) —
    • Speech
    Quantitative Modal Transition Systems
    Larsen, Kim Legay, Axel[UCL] (2012) 21th InternationalWorkshop on Algebraic Development Techniques (WADT) —
    • Journal article
    On timed alternating simulation for concurrent timed games
    Bozzelli, Laura Legay, Axel[UCL] Pinchinat, Sophie (2012) Acta Informatica — Vol. 49, no. 4, p. 249-279 (2012)
    • Speech
    State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems
    Bozga, Marius David, Alexandre Hartmanns, Arnd Hermanns, Holger Larsen Kim, Guldstrand Legay, Axel[UCL] Tretmans, Jan (2012) 2012 Design, Automation & Test in Europe Conference & Exhibition — Dresden