User menu

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

Search

Displaying 1 - 25 of 96 results.

Pages

    • Journal article
    A Modal Interface Theory for Component-based Design
    Raclet, Jean-Baptiste Badouel, Eric Benveniste, Albert Caillaud, Benoît Legay, Axel[UCL] Passerone, Roberto (2011) Fundamenta Informaticae — Vol. 108, no. 1-2, p. 119-149 (2011)
    • 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
    Symbolic Model Checking of Software Product Lines
    Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Legay, Axel[UCL] (2011) ICSE 2011 : 33rd International Conference on Software Engineering — Waikiki, Honolulu, HI, USA
    • Report
    Compositional Design Methodology with Constraint Markov Chains
    Caillaud, Benoit Delahaye, Benoît Larsen Kim, Guldstrand Legay, Axel[UCL] Pedersen Mikkel, L. Wasowski, Andrzej (2009)
    • Report
    Measuring Behaviour Interactions between Product-Line Features
    Atlee Joanne, M. Fahrenberg, Uli Legay, Axel[UCL] (2014)
    • Speech
    Probabilistic Contracts : A Compositional Reasoning Methodology for the Design of Stochastic Systems.
    Delahaye, Benoît Caillaud, Benoît Legay, Axel[UCL] (2010) 10th International Conference on Application of Concurrency to System Design (ACSD) —
    • 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 —
    • Report
    Statistical Model Checking of Systems of Systems: An Industrial Approach : Verification statistique de systèmes de systèmes : une approche industrielle
    Arnold, Alexandre Baleani, Massimo Ferrari, Alberto Marazza, Marco Senni, Valerio Legay, Axel[UCL] Quilbeuf, Jean Etzien, Christoph (2015)
    • Speech
    Beyond Boolean Product-Line Model Checking: Dealing with Feature Attributes and Multi-Features
    Cordy, Maxime Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] (2013) ICSE 2013 International Conference on Software Engineering —
    • Speech
    A completion algorithm for lattice tree automata
    Genet, Thomas Le Gall, Tristan Legay, Axel[UCL] Murat, Valérie (2013) CIAA 2013 - 18th International Conference on Implementation and Application of Automata —
    • Speech
    Refinement and Difference for Probabilistic Automata
    Delahaye, Benoît Fahrenberg, Uli Larsen Kim, Guldstrand Legay, Axel[UCL] (2013) QEST 2013 - 10th International Conference Quantitative Evaluation of 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
    • Report
    Dynamic Verification of SystemC with Statistical Model Checking
    Ngo Van, Chan Legay, Axel[UCL] Quilbeuf, Jean (2014)
    • Report
    Equational Abstraction Refinement for Certified Tree Regular Model Checking
    Boichut, Yohan Boyer, Benoît Genet, Thomas Legay, Axel[UCL] (2010)
    • Speech
    Cross-Entropy Optimisation of Importance Sampling Parameters for Statistical Model Checking
    Jégourel, Cyrille Legay, Axel[UCL] Sedwards, Sean (2012) Computer Aided Verification —
    • WorkingPaper
    On the Attacker's Knowledge in Shared-Key Cryptosystems
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] (2015)
    • Report
    A Compositional Approach on Modal Specifications for Timed Systems
    Bertrand, Nathalie Legay, Axel[UCL] Pinchinat, Sophie Raclet, Jean-Baptiste (2009)
    • Report
    Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
    Ngo Van, Chan Legay, Axel[UCL] (2015)
    • 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
    On Timed Alternating Simulation for Concurrent Timed Games
    Bozzelli, Laura Legay, Axel[UCL] Pinchinat, Sophie (2009) FSTTCS —
    • Speech
    Verification of an AFDX infrastructure using simulation and probabilities
    Basu, Ananda Bensalem, Saddek Bozga, Marius Delahaye, Benoît Legay, Axel[UCL] Sifakis, Emmanuel (2010) Runtime Verification - First International Conference, RV 2010 —
    • 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 —
    • Speech
    μ-Calculus Pushdown Module Checking with Imperfect State Information
    Aminof, Benjamin Legay, Axel[UCL] Murano, Aniello Serre, Olivier (2008) Fifth IFIP International Conference On Theoretical Computer Science - TCS 2008, IFIP 20th World Computer Congress, TC1, Foundations of Computer Science —
    • 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)

Pages