User menu

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

All Publications

Displaying 51 - 150 of 365 results.

Pages

    • Journal article
    Logical vs. behavioural specifications
    Beneš, Nikola Fahrenberg, Uli Křetínský, Jan Legay, Axel[UCL] Traonouez, Louis-Marie (2020) Information and Computation — Vol. 271, no.1, p. 104487 (2020)
    • Speech
    A Decade of Featured Transition Systems
    Cordy, Maxime[UCL] Devroey, Xavier Legay, Axel[UCL] Perrouin, Gilles Classen, Andreas Heymans, Patrick Schobbens, Pierre-Yves Raskin, Jean-François (2019) From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occas — Porto
    • 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
    Effectiveness of Synthesis in Concolic Deobfuscation
    Biondi, Fabrizio Josse, Sébastien Legay, Axel[UCL] Sirvent, Thomas (2017) Computers and Security — Vol. 70, p. 500-515 (2017)
    • Journal article
    Smart Sampling for Lightweight Verification of Markov Decision Processes
    D'Argenio, Pedro Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2015) International Journal on Software Tools for Technology Transfer — Vol. 17, no. 4, p. 469-484 (2015)
    • 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)
    • Journal article
    Attainable Unconditional Security for Shared-Key Cryptosystems
    Biondi, Fabrizio Given-Wilson, Thomas Legay, Axel[UCL] (2016) Information Sciences —
    • 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
    Performance Evaluation of Complex Systems Using the SBIP Framework
    Nouri, Ayoub Bozga, Marius Legay, Axel[UCL] Bensalem, Saddek (2016) he International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS) —
    • Speech
    Statistical Model Checking: Past, Present, and Future
    Larsen Kim, Guldstrand Legay, Axel[UCL] (2014) 6th International Symposium, ISoLA 2014 —
    • Speech
    Scalable Verification of Markov Decision Processes
    Legay, Axel[UCL] Sedwards, Sean Traonouez, Louis-Marie (2014) 4th Workshop on Formal Methods in the Development of Software (FMDS 2014) —
    • 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)
    • Speech
    Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata
    D'Argenio, Pedro Hartmanns, Arnd Legay, Axel[UCL] Sedwards, Sean (2016) Integrated Formal Methods —
    • 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
    An Application of SMC to continuous validation of heterogeneous systems
    Arnold, Alexandre Baleani, Massimo Ferrari, Alberto Marazza, Marco Senni, Valerio Legay, Axel[UCL] Quilbeuf, Jean Etzien, Christoph (2016) Simutools 2016 - Ninth EAI International Conference on Simulation Tools and Techniques —
    • 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
    Statistical Abstraction Boosts Design and Test Efficiency of Evolving Critical Systems
    Legay, Axel[UCL] Sedwards, Sean (2014) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change —
    • 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 —
    • Journal article
    Contract-Based Requirement Modularization via Synthesis of Correct Decompositions
    Le Thi Thieu, Hoa Passerone, Roberto Fahrenberg, Uli Legay, Axel[UCL] (2016) Theory of Computing Systems — Vol. 15, p. 1-26 (2016)
    • 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 —
    • WorkingPaper
    High-level Frameworks for the Specification and Verification of Scheduling Problems
    Chadli, Mounir Kim, Jin Larsen, Kim Legay, Axel[UCL] Naujokat, Stefan Steffen, Bernhard Traonouez, Louis-Marie (2017)
    • Journal article
    The quantitative linear-time–branching-time spectrum
    Fahrenberg, Uli Legay, Axel[UCL] (2014) Theoretical Computer Science — p. 54-69 (2014)

Pages