User menu

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

Search

Displaying 1 - 25 of 32 results.

Pages

    • Speech
    A Tag Contract Framework for Heterogeneous Systems
    Le Thi Thieu, Hoa Passerone, Roberto Fahrenberg, Uli Legay, Axel[UCL] (2013) FOCLASA 2013 - 12th International Workshop on Foundations of Coordination Languages and Self Adaptive Systems —
    • Speech
    A framework for the rigorous design of highly adaptive timed systems
    Cordy, Maxime Legay, Axel[UCL] Schobbens, Pierre-Yves Traonouez, Louis-Marie (2013) 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) — San Francisco, CA, USA
    • Speech
    Kleene Algebras and Semimodules for Energy Problems
    Esik, Zoltá Fahrenberg, Uli Legay, Axel[UCL] Quaas, Karin (2013) ATVA 2013 - 11th International Symposium Automated Technology for Verification and Analysis —
    • Speech
    Incremental Generation of Linear Invariants for Component-Based Systems
    Bensalem, Saddek Bozga, Marius Boyer, Benoît Legay, Axel[UCL] (2013) 3th International Conference on Application of Concurrency to System Design (ACSD) —
    • Journal article
    Pushdown Module Checking with Imperfect Information
    Aminof, Benjamin Legay, Axel[UCL] Murano, Aniello Serre, Olivier Vardi, Moshe (2013) Information and Computation — Vol. 223, p. 1-17 (2013)
    • Speech
    History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
    Fahrenberg, Uli Legay, Axel[UCL] (2013) MFPS XXIX - Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics —
    • Speech
    A Timed Component Algebra for Services
    Delahaye, Benoît Fiadeiro, José Legay, Axel[UCL] Lopes, Antónia (2013) 15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE) —
    • Speech
    Tree Regular Model Checking for Lattice-Based Automata
    Genet, Thomas Le Gall, Tristan Legay, Axel[UCL] Murat, Valérie (2013) CIAA - 18th International Conference on Implementation and Application of Automata —
    • Speech
    Maximizing Entropy over Markov Processes
    Biondi, Fabrizio Legay, Axel[UCL] Friis Nielsen, Bo Wasowski, Andrzej (2013) 7th International Conference on Language and Automata Theory and Applications —
    • Speech
    Quantifying Information Leakage of Randomized Protocols
    Biondi, Fabrizio Legay, Axel[UCL] Malacaria, Pasquale Wąsowski, Andrzej (2013) 14th International Conference on Verification, Model Checking, and Abstract Interpretation —
    • 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 —
    • Journal article
    Rigorous embedded design: challenges and perspectives
    Bensalem, Saddek Legay, Axel[UCL] Bozga, Marius (2013) International Journal on Software Tools for Technology Transfer — Vol. 15, no. 3, p. 149-154 (2013)
    • Speech
    History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps
    Fahrenberg, Uli Legay, Axel[UCL] (2013) LICS 2013 - Twenty-Eighth Annual ACM/IEEE Symposium on Logic in Computer Science —
    • Speech
    Generalized Quantitative Analysis of Metric Transition Systems
    Fahrenberg, Uli Legay, Axel[UCL] (2013) APLAS 2013 - 11th Asian Symposium Programming Languages and Systems —
    • 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
    Stochastic Modeling and Performance Analysis of Multimedia SoCs
    Raman, Balaji Nouri, Ayoub Gangadharan, Deepak Bozga, Marius Basu, Ananda Maheshwari, Mayur Milan, Jérôme Legay, Axel[UCL] Bensalem, Saddek Chakraborty, Samarjit (2013) Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIII) — Agios konstantinos, Samos Island, Greece
    • Speech
    PyEcdar: Towards Open Source Implementation for Timed Systems
    Legay, Axel[UCL] Traonouez, Louis-Marie (2013) 11th International Symposium on Automated Technology for Verification and Analysis —

Pages