Synchrone by years ; by kinds
Tempo by years ; by kinds
Pacss by years ; by kinds
RSD by years ; by kinds
Verimag by years ; by kinds
De la surveillance secrète à la prédiction des risques : les dérives du fichage dans le champ de la lutte contre le terrorisme. Virginie Gautron, David Monniaux - Archives de politique criminelle - [bibtex]
On the existence and decidability of unique decompositions of processes in the applied (pi)-calculus. Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech - Theor. Comput. Sci. - [bibtex]
Self-Stabilizing Silent Disjunction in an Anonymous Network. Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore - Theoretical Computer Science (TCS) - [bibtex]
Concurrency in Snap-Stabilizing Local Resource Allocation. Karine Altisen, Stéphane Devismes, Anaïs Durand - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
Guided search for hybrid systems based on coarse-grained space abstractions. Sergiy Bogomolov, Alexandre Donz\' e, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle - STTT - [bibtex]
Silent Self-stabilizing BFS Tree Algorithms Revisited. Stéphane Devismes, Colette Johnen - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
Causality Problem in Real-Time Calculus. Karine Altisen, Matthieu Moy - Formal Methods in System Design - [bibtex]
SR3: Secure Resilient Reputation-based Routing. Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade - Wireless Networks - [bibtex]
Self-Stabilizing Leader Election in Polynomial Steps. Karine Altisen, Alain Cournier, Stéphane Devismes, Anaïs Durand, Franck Petit - Information and Computation - [bibtex]
Modeling Power Consumption and Temperature in TLM Models. Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi - Leibniz Transactions on Embedded Systems - [bibtex]
Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Denis Becker, Matthieu Moy, Jérôme Cornet - MDPI Electronics - [bibtex]
Competitive Self-Stabilizing k-Clustering. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - Theoretical Computer Science (TCS) - [bibtex]
The Expressive Power of Snap-Stabilization. Alain Cournier, Ajoy Kumar Datta, Stéphane Devismes, Franck Petit, Vincent Villain - Theoretical Computer Science (TCS) - [bibtex]
Snap-Stabilizing Committee Coordination. Borzoo Bonakdarpour, Stéphane Devismes, Franck Petit - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
Distinguishing extended finite state machine configurations using predicate abstraction. Khaled El-Fakih, Nina Yevtushenko, Marius Bozga, Saddek Bensalem - J. Software Eng. R&D - [bibtex]
Component-based verification using incremental design and invariants. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - Software and System Modeling - [bibtex]
ASTROLABE: A Rigorous Approach for System-Level Performance Modeling and Analysis. Ayoub Nouri, Marius Bozga, Anca Molnos, Axel Legay, Saddek Bensalem - ACM Trans. Embedded Comput. Syst. - [bibtex]
Knowledge-based construction of distributed constrained systems. Susanne Graf, Sophie Quinton - Software and System Modeling - [bibtex]
Learning Regular Languages over Large Ordered Alphabets. Irini-Eleftheria Mens, Oded Maler - Logical Methods in Computer Science - [bibtex]
On Probabilistic Snap-Stabilization. Karine Altisen, Stéphane Devismes - Theoretical Computer Science (TCS) - [bibtex]
Timing analysis enhancement for synchronous program. Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae - Real-Time Systems - PDF - [bibtex]
Statistical model checking QoS properties of systems with SBIP. Ayoub Nouri, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Cyrille J'egourel, Axel Legay - STTT - [bibtex]
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Ylies Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem - Software and System Modeling - [bibtex]
Optimized distributed implementation of multiparty interactions with Restriction. Saddek Bensalem, Marius Bozga, Jean Quilbeuf, Joseph Sifakis - Sci. Comput. Program. - [bibtex]
Weak vs. Self vs. Probabilistic Stabilization. Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita - International Journal of Foundations of Computer Science - [bibtex]
Self-Stabilizing (f,g)-Alliances with Safe Convergence. Fabienne Carrier, Ajoy Kumar Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
Comparison of Mean Hitting Times for a Degree-Biased Random Walk. Karine Altisen, Stéphane Devismes, Antoine Gerbaud, Pascal Lafourcade - Discrete Applied Mathematics - [bibtex]
Apport des méthodes formelles pour l'exploitation des logs informatiques dans un contexte contractuel. Gregor Goessler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei - TSI, Technique et Science Informatiques - [bibtex]
Implementing and Reasoning About Hash-consed Data Structures in Coq. Thomas Braibant, Jacques-Henri Jourdan, David Monniaux - Journal of Automated Reasoning - [bibtex]
Deciding Conditional Termination. Marius Bozga, Radu Iosif, Filip Konecn\'y - Logical Methods in Computer Science - [bibtex]
Component-based verification using incremental design and invariants. Saddek Bensalem, Marius Bozga, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan - Software & Systems Modeling - [bibtex]
Analyse de Code et Recherche de Vulnérabilités. Marie-Laure Potet, Josselin Feist, Laurent Mounier - Revue MISC - [bibtex]
Distributed Implementation of Constrained Systems based on Knowledge. Susanne Graf, Sophie Quinton - Journal on Software and Systems Modeling, SoSym - [bibtex]
Synthesizing robust systems. Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Georg Hofferek, Barbara Jobstmann, Bettina Konighofer, Robert Konighofer - Acta Inf. - [bibtex]
Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Matthieu Moy - Technique et Science Informatiques - [bibtex]
Statically detecting Use-After-Free on Binary Code. Josselin Feist, Laurent Mounier, Marie-Laure Potet - Journal of Computer Virology and Hacking Techniques - [bibtex]
Verification and validation meet planning and scheduling. Saddek Bensalem, Klaus Havelund, Andrea Orlandini - STTT - [bibtex]
Rigorous implementation of real-time systems - from theory to application. Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis - Mathematical Structures in Computer Science - [bibtex]
Runtime verification of component-based systems in the BIP framework with formally-proved sound and complete instrumentation. Ylies Falcone, Mohamad Jaber, Thanh-Hung Nguyen, Marius Bozga, Saddek Bensalem - Software & Systems Modeling - [bibtex]
Rigorous embedded design: challenges and perspectives. Saddek Bensalem, Axel Legay, Marius Bozga - STTT - [bibtex]
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions. Adriana B. Compagnoni, Vishakha Sharma, Yifei Bao, Matthew Libera, Svetlana Sukhishvili, Philippe Bidinger, Livio Bioglio, Eduardo Bonelli - Electr. Notes Theor. Comput. Sci. - [bibtex]
Algorithmic program synthesis: introduction. Rastislav Bodík, Barbara Jobstmann - STTT - [bibtex]
Automata-Based Termination Proofs. Radu Iosif, Adam Rogalewicz - Computing and Informatics - [bibtex]
Self-Stabilizing Labeling and Ranking in Ordered Trees. Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Yvan Rivierre - Theoretical Computer Science (Special Issue SSS 2011) - [bibtex]
Specification and Validation of Embedded Systems: A Case Study of a Fault-Tolerant Data Acquisition System with Lustre Programming environment. Florence Maraninchi, Nicolas Halbwachs, Pascal Raymond, Catherine Parent, R. K. Shyamasundar - CSI Journal of Computing - [bibtex]
Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms. Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler - Microprocessors and Microsystems - Embedded Hardware Design - [bibtex]
Optimal Probabilistic Ring Exploration by Semi-Synchronous Oblivious Robots. Stéphane Devismes, Franck Petit, Sébastien Tixeuil - Theoretical Computer Science (TCS) - [bibtex]
STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification. Szymon Stoma, Alexandre Donzé, Francois Bertaux, Oded Maler, Grégory Batt - PLoS Computational Biology - [bibtex]
Self-Stabilizing Small k-Dominating Sets. Ajoy Kumar Datta, Lawrence L. Larmore, Stéphane Devismes, Karel Heurtefeux, Yvan Rivierre - IJNC, International Journal of Networking and Computing - [bibtex]
Rigorous design of robot software: A formal component-based approach. Tesnim Abdellatif, Saddek Bensalem, Jacques Combaz, Lavindra de Silva, Felix Ingrand - Robotics and Autonomous Systems - [bibtex]
Statistical abstraction and model-checking of large heterogeneous systems. Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay - STTT - [bibtex]
A framework for automated distributed implementation of component-based models. Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber, Jean Quilbeuf, Joseph Sifakis - Distributed Computing - [bibtex]
Model-based implementation of distributed systems with priorities. Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf - Design Automation for Embedded Systems - [bibtex]
Generating Invariant-based Certificates for Embedded Systems. Jan-Olaf Blech, Michaël Périn - ACM Transactions on Embedded Computing Systems (TECS) - [bibtex]
Politiques de gestion de protections pour l'implémentation de sections critiques.. Sifakis Emmanuel, Mounier Laurent - Techniques et Sciences Informatiques - [bibtex]
More testable properties. Ylies Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier - STTT - [bibtex]
Algorithme autostabilisant construisant un petit ensemble k-dominant. Ajoy Kumar Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre - Technique et Science Informatiques - [bibtex]
Introduction à la calculabilité. David Monniaux - Quadrature - [bibtex]
Reachability analysis for polynomial dynamical systems using the Bernstein expansion. Thao Dang, Romain Testylier - Reliable Computing Journal - [bibtex]
Improved cache related pre-emption delay aware response time analysis for fixed priority pre-emptive systems. Sebastian Altmeyer, Robert I. Davis, Claire Maiza - Real-Time Systems - [bibtex]
Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs. Thomas Gawlitza, David Monniaux - Logical Methods in Computer Science - [bibtex]
Monitoring Properties of Analog and Mixed-Signal Designs,. Oded Maler, Dejan Nickovic - Software Tools for Technology Transfer - [bibtex]
Synthesis of Reactive(1) designs. Roderick Bloem, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Yaniv Sa'ar - J. Comput. Syst. Sci. - [bibtex]
Finding and fixing faults. Barbara Jobstmann, Stefan Staber, Andreas Griesmayer, Roderick Bloem - J. Comput. Syst. Sci. - [bibtex]
Sécuriser les systèmes distribués à base de composants par contrôle de flux d'information. Lilia Sfaxi, Takoua Abdellatif, Yassine Lakhnech, Riadh Robbana - Technique et Science Informatiques - [bibtex]
Achieving distributed control through model checking. Susanne Graf, Doron Peled, Sophie Quinton - Formal Methods in System Design - [bibtex]
Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems. Nicolas Berthier, Florence Maraninchi, Laurent Mounier - ACM Transactions on Embedded Computing Systems (TECS) - [bibtex]
Optimizing Explicit Data Transfers for Data Parallel Applications on the Cell Architecture. Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler - ACM Transactions on Architecture and Code Optimization, Vol. V, - PDF - [bibtex]
A vision for computer science - the system perspective. Joseph Sifakis - Central Europ. J. Computer Science - [bibtex]
Priority scheduling of distributed systems based on model checking. Ananda Basu, Saddek Bensalem, Doron Peled, Joseph Sifakis - Formal Methods in System Design - [bibtex]
Rigorous Component-Based System Design Using the BIP Framework. Ananda Basu, Saddek Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis - IEEE Software - [bibtex]
Programs with lists are counter automata. Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro, Tomás Vojnar - Formal Methods in System Design - [bibtex]
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties. Daniel Le Métayer, Manuel Maarek, Eduardo Mazza, Marie-Laure Potet, Stéphane Frénot, Valérie Viet Triem Tong, Nicolas Craipeau, Ronan Hardouin - Commun. ACM - [bibtex]
Formalisms for Specifying Markovian Population Models. Thomas A. Henzinger, Barbara Jobstmann, Verena Wolf - Int. J. Found. Comput. Sci. - [bibtex]
Building Distributed Controllers for Systems with Priorities. Imene Ben Hafaiedh, Susanne Graf, Sophie Quinton - J. Log. Algebr. Program. - [bibtex]
Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks. Alexandre Donzé, Eric Fanchon, Lucie Martine Gattepaille, Oded Maler, Philippe Tracqui - PLOS One - [bibtex]
Autour de l'Auto-Stabilisation. Partie II : Techniques spécialisant l'approche. Stéphane Devismes, Franck Petit, Vincent Villain - Technique et science informatiques (TSI) - [bibtex]
Autour de l'Auto-stabilisation. Partie I : Techniques généralisant l'approche. Stéphane Devismes, Franck Petit, Vincent Villain - Technique et science informatiques (TSI) - [bibtex]
Automated Proofs for Asymmetric Encryption. Judicaël Courant, Marion Daubignard, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech - J. Autom. Reasoning - [bibtex]
Asymptotically Optimal Deterministic Rendezvous. Fabienne Carrier, Stéphane Devismes, Franck Petit, Yvan Rivierre - International Journal of Foundations of Computer Science (IJFCS) - [bibtex]
Computing reachable states for nonlinear biological models. Thao Dang, Colas Le Guernic, Oded Maler - Theoretical Computer Science - [bibtex]
Self-Stabilizing k-out-of-l exclusion on tree networks. Ajoy Kumar Datta, Stéphane Devismes, Florian Horn, Lawrence L. Larmore - International Journal of Foundations of Computer Science - [bibtex]
Runtime Enforcement Monitors: composition, synthesis, and enforcement abilities. Ylies Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier - Formal Methods in System Design - [bibtex]
What can you Verify and Enforce at Runtime ? Ylies Falcone, Jean-Claude Fernandez, Laurent Mounier - Software Tool in Tecnology Transfer (STTT) - [bibtex]
Causal semantics for the algebra of connectors. Simon Bliudze, Joseph Sifakis - Formal Methods in System Design - [bibtex]
2009 CAV award announcement. Randal E. Bryant, Orna Grumberg, Joseph Sifakis, Moshe Y. Vardi - Formal Methods in System Design - [bibtex]
Detection of deadlock potentials in multithreaded programs. Rahul Agarwal, Saddek Bensalem, Eitan Farchi, Klaus Havelund, Yarden Nir-Buchbinder, Scott D. Stoller, Shmuel Ur, Liqiang Wang - IBM Journal of Research and Development - [bibtex]
Source-to-Source Architecture Transformation for Performance Optimization in BIP. Marius Bozga, Mohamad Jaber, Joseph Sifakis - IEEE Trans. Industrial Informatics - [bibtex]
Compositional verification for component-based systems and application. Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen, Joseph Sifakis - IET Software - [bibtex]
Modular static scheduling of synchronous data-flow networks. Marc Pouzet, Pascal Raymond - Design Automation for Embedded Systems - [bibtex]
Automata-based verification of programs with tree updates. Peter Habermehl, Radu Iosif, Tomás Vojnar - Acta Inf. - [bibtex]
Quantitative Separation Logic and Programs with Lists. Marius Bozga, Radu Iosif, Swann Perarnau - J. Autom. Reasoning - [bibtex]
A Self-Stabilizing 3-Approximation for the Maximum Leaf Spanning Tree Problem in Arbitrary Networks. Stéphane Devismes, Hirotsugu Kakugawa, Sayaka Kamei, Sébastien Tixeuil - Journal of Combinatorial Optimization (Special Issue) - [bibtex]
Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. Alexandre Donzé, Gilles Clermont, Christopher James Langmead - Journal of Computational Biology - [bibtex]
On Simulation-Based Probabilistic Model-Checking of Mixed-Analog Circuits. Edmund M. Clarke, Alexandre Donzé, Axel Legay - Formal Methods in System Design - [bibtex]
Controle de flux d?Information des systemes distribues a base de composants. Takoua Abdellatif, Lilia Sfaxi, Yassine Lakhnech - NOTERE IEEE - [bibtex]
Snap-Stabilization in Message-Passing Systems. Sylvie Delaët, Stéphane Devismes, Mikhail Nesterenko, Sébastien Tixeuil - Journal of Parallel and Distributed Computing (JPDC) - [bibtex]
Automatic Modular Abstractions for Template Numerical Constraints. David Monniaux - Logical Methods in Computer Science - PDF - [bibtex]
Stabilizing leader election in partial synchronous systems with crash failures. Carole Delporte-Gallet, Stéphane Devismes, Hugues Fauconnier - J. Parallel Distrib. Comput. - [bibtex]
Model checking: algorithmic verification and debugging. Edmund M. Clarke, Allen Emerson, Joseph Sifakis - Commun. ACM - [bibtex]
Toward a More Dependable Software Architecture for Autonomous Robots. Saddek Bensalem, Matthieu Gallien, Felix Ingrand, Imen Kahloul, Thanh-Hung Nguyen - Special issue on Software Engineering for Robotics of the IEEE Robotics and Automation Magazine - [bibtex]
Les résultats du projet OpenEmbeDD. Charles Andre, Mariano Belaunde, Bernard Berthomieu, Christian Brunette, Agusti Canals, Hubert Garavel, Susanne Graf, Frederic Lang, Vincent Mahe, Michel Nakhle, others - Génie logiciel - [bibtex]
Convincing Proofs for Program Certification. Manuel Garnacho, Michaël Périn - Electronic Notes in Theoretical Computer Science - [bibtex]
Flat Parametric Counter Automata. Marius Bozga, Radu Iosif, Yassine Lakhnech - Fundam. Inform. - [bibtex]
A minimalistic look at widening operators. David Monniaux - Higher order and symbolic computation - PDF - [bibtex]
Meta-models in Europe: Languages, Tools and Applications. Roberto Passerone, Imene Ben-Hafaiedh, Susanne Graf, Albert Benveniste, Daniela Cancila, Arnaud Cuccuru, Sébastien Gérard, François Terrier, Werner Damm, Alberto Ferrari, Leonardo Mangeruca, Bernhard Josko, Thomas Peikenkamp, Alberto L. Sangiovanni-Vincentelli - IEEE Design & Test of Computers - [bibtex]
Full Simulation Coverage for SystemC Transaction-Level Models of Systems-on-a-Chip. Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz - Formal Methods in System Design - [bibtex]
Coverage-Guided Test Generation for Continuous and Hybrid Systems. Thao Dang, Tarik Nahhal - Formal Methods in System Design - [bibtex]
Flush: an example of development by refinements in SCADE/Lustre. Jan Mikác, Paul Caspi - International Journal on Software Tools for Technology Transfer (STTT) - [bibtex]
Symbolic quality control for multimedia applications. Jacques Combaz, Jean-Claude Fernandez, Joseph Sifakis, Loïc Strus - Real-Time Systems - [bibtex]
The Algebra of Connectors - Structuring Interaction in BIP. Simon Bliudze, Joseph Sifakis - IEEE Trans. Computers - [bibtex]
Automatic generation of path conditions for concurrent timed systems. Saddek Bensalem, Doron Peled, Hongyang Qu, Stavros Tripakis - Theor. Comput. Sci. - [bibtex]
Lutin: a language for specifying and executing reactive scenarios. Pascal Raymond, Yvan Roux, Erwan Jahier - EURASIP Journal on Embedded Systems - [bibtex]
Timing analysis and validation with UML: the case of the embedded MARS bus manager. Iulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober - Innovations in Systems and Software Engineering - [bibtex]
OMEGA -- Correct development of Real Time Embedded Systems. Susanne Graf - SoSyM, int. Journal on Software & Systems Modelling - [bibtex]
The pitfalls of verifying floating-point computations. David Monniaux - TOPLAS - [bibtex]
Formal Analysis Tools for the Synchronous Aspect Language Larissa. David Stauch - EURASIP Journal on Embedded Systems - [bibtex]
Semantic-preserving multitask implementation of synchronous programs. Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis - ACM Trans. Embedded Computing Systems - [bibtex]
Symbolic protocol analysis for monoidal equational theories. Stéphanie Delaune, Pascal Lafourcade, Denis Lugiez, Ralf Treinen - Information and Computation - [bibtex]
PHAVer: Algorithmic Verification of Hybrid Systems past HyTech. Goran Frehse - International Journal on Software Tools for Technology Transfer - [bibtex]
Implementing synchronous models on Loosely Time-Triggered Architectures. Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale - IEEE trans. on Computers - [bibtex]
The Discipline of Embedded Systems Design. Thomas A. Henzinger, Joseph Sifakis - IEEE Computer - [bibtex]
Specify, Compile, Run: Hardware from PSL. Roderick Bloem, Stefan J. Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer - Electr. Notes Theor. Comput. Sci. - [bibtex]
Time in Abstract State Machines. Susanne Graf, Andreas Prinz - Fundamentae Informaticae, Special issue on ASM 2005 - [bibtex]
Software and architecture modelling with Omega-UML and validation with IF. Susanne Graf, Iulian Ober - Génie Logiciel - [bibtex]
Intruder Deduction for the Equational Theory of Abelian Groups with Distributive Encryption. Pascal Lafourcade, Denis Lugiez, Ralf Treinen - Information and Computation - [bibtex]
On optimal and reasonable control in the presence of adversaries. Oded Maler - Annual Reviews in Control - [bibtex]
Hybridization methods for the analysis of nonlinear systems. Eugene Asarin, Thao Dang, Antoine Girard - Acta Inf. - [bibtex]
Case Studies with Lurette V2. Erwan Jahier, Pascal Raymond, Philippe Baufreton - Software Tools for Technology Transfer - [bibtex]
Specification and Validation of Models of Real Time and Embedded Systems in UML. Susanne Graf, Ileana Ober, Oystein Haugen, Bran Selic - STTT, Software Tools for Technology Transfer, a special issue on the SVERTS 2003 workshop - [bibtex]
Validating Timed UML models by simulation and verification. Susanne Graf, Ileana Ober, Iulian Ober - STTT, Software Tools for Technology Transfer - [bibtex]
A real-time profile for UML. Susanne Graf, Ileana Ober, Iulian Ober - STTT, Software Tools for Technology Transfer - [bibtex]
Automatic rate desynchronization of embedded reactive programs. Alain Girault, Xavier Nicollin, Marc Pouzet - ACM TECS - PDF - [bibtex]
Scheduling with timed automata. Yasmina Abdeddaïm, Eugene Asarin, Oded Maler - Theor. Comput. Sci. - [bibtex]
LusSy: an open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level. Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz - Design Automation for Embedded Systems - [bibtex]
Some ways to reduce the space dimension in polyhedra computations. Nicolas Halbwachs, David Merchat, Laure Gonnord - Formal Methods in System Design - [bibtex]
Tester la conformité d'un réseau à une politique de sécurité. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier - Revue de l'electricité et de l'Electronique (REE) - [bibtex]
Counter-example Guided Predicate Abstraction of Hybrid Systems. Rajeev Alur, Thao Dang, Franjo Ivancic - Theoretical Computer Science (TCS) - [bibtex]
Reachability Analysis of Hybrid Systems via Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - ACM transactions on embedded computing systems (TECS) - [bibtex]
Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework. Karine Altisen, Florence Maraninchi, David Stauch - Science of Computer Programming - [bibtex]
Pattern-based abstraction for verifying secrecy in protocols. Liana Bozga, Yassine Lakhnech, Michaël Périn - International Journal on Software Tools for Technology Transfer (STTT) - [bibtex]
Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme. Yassine Lakhnech, Laurent Mazaré - IACR Cryptology ePrint Archive - [bibtex]
Translating Java for Multiple Model Checkers: The Bandera Back-End. Radu Iosif, Matthew B. Dwyer, John Hatcliff - Formal Methods in System Design - [bibtex]
Guidelines for a graduate curriculum on embedded software and systems.. Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, Francois Laroussinie, Lucia Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan De la Puente, Norman Scaife, Joseph Sifakis, Robert De Simone, Martin Torngren, Paulo Veríssimo, Andrew J. Wellings, Reinhard Wilhelm, Tim Willemse, Wang Yi - ACM Trans. Embedded Comput. Syst. - [bibtex]
Un profile UML et un outil pour la modélisation et la validation de systèmes temps-réel. Iulian Ober, Susanne Graf, Ileana Ober, David Lesens - Numéro spécial du journal Génie Logiciel consacré à la Journée NEPTUNE 05 : Ingénierie des Modèles - vérification de modèles - [bibtex]
Formation en systèmes embarqués à l'INPG. Florence Maraninchi, Marc Renaudin - Revue des ingénieurs INPG - [bibtex]
Translating Discrete-Time Simulink to Lustre. Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis - ACM Trans. Embedded Computing Systems - [bibtex]
A symbolic decision procedure for cryptographic protocols with time stamps. Liana Bozga, Cristian Ene, Yassine Lakhnech - J. Log. Algebr. Program. - [bibtex]
Symmetry reductions for model checking of concurrent dynamic software. Radu Iosif - STTT - [bibtex]
Counter-example generation in symbolic abstract model-checking. Gordon Pace, Nicolas Halbwachs, Pascal Raymond - Software Tools for Technology Transfer - [bibtex]
Temporal logic properties of Java objects. Radu Iosif, Riccardo Sisto - Journal of Systems and Software - [bibtex]
Tools and Algorithms for the Construction and Analysis of Systems: An STTT special section. Susanne Graf - STTT, Software Tools for Technology Transfer - [bibtex]
The synchronous languages 12 years later. Albert Benveniste, Paul Caspi, Stefan A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert De Simone - Proceedings of the IEEE - [bibtex]
Mode-Automata: a new Domain-Specific Construct for the Development of Safe Critical Systems. Florence Maraninchi, Yann Rémond - Science of Computer Programming - [bibtex]
Testing Theories for Broadcasting Processes. Cristian Ene, Traian Muntean - Sci. Ann. Cuza Univ. - [bibtex]
Iterating Transducers. Dennis Dams, Yassine Lakhnech, Martin Steffen - The Journal of Logic and Algebraic Programming - [bibtex]
Scheduler modelling based on the controller synthesis paradigm. Karine Altisen, Gregor Goessler, Joseph Sifakis - Journal of Real-Time Systems - [bibtex]
Argos: an Automaton-Based Synchronous Language. Florence Maraninchi, Yann Rémond - Computer Languages - [bibtex]
Verification of Parameterized Protocols. Kai Baukus, Yassine Lakhnech, Karsten Stahl - Journal of Universal Computer Science - [bibtex]
Verifying Untimed and Timed Aspects of the Experimental Batch Plant. Ralf Huuck, Ben Lukoschus, Yassine Lakhnech - European Journal of Control - [bibtex]
Automatic Verification of Parameterized Networks of Processes. David Lesens, Nicolas Halbwachs, Pascal Raymond - Theoretical Computer Science - [bibtex]
Verification and test generation for the SSCOP protocol. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier - Sci. Comput. Program - [bibtex]
Langages pour la conception de systèmes réactifs. Paul Caspi - Technique et science informatique - [bibtex]
A Deadlock Detection Tool for Concurrent Java Programs. Claudio Demartini, Radu Iosif, Riccardo Sisto - Softw., Pract. Exper. - [bibtex]
Characterization of a sequentially consistent memory and verification of a cache memory by abstraction. Susanne Graf - Distributed Computing - [bibtex]
Automatic Generation of Invariants. Saddek Bensalem, Yassine Lakhnech - Formal Methods in System Design - [bibtex]
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. Paul Caspi, Alain Girault, Daniel Pilaud - IEEE Transactions on Software Engineering - [bibtex]
On Complexity of Reachability of Transition Restricted Petri Nets. Cristian Ene - Sci. Ann. Cuza Univ. - [bibtex]
About synchronous programming and abstract interpretation. Nicolas Halbwachs - Science of Computer Programming, Special Issue on SAS'94 - [bibtex]
Integrating Timed Condition/Event Systems and Timed Automata to the Verification of Hybrid Systems. Ralf Huuck, Yassine Lakhnech, Ben Lukoschus, Luis Urbina, Sebastian Engell, Stefan Kowalewski, Jorg Preußig - Journal of Parallel and Distributed Computing Practices - [bibtex]
Protocol Verification with the Aldebaran Toolset. Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier - Software Tools for Technology Transfer - [bibtex]
Hierarchies of Petri Net Languages and a Super-Normal Form. Ferucio Laurentiu Tiplea, Cristian Ene - Journal of Automata, Languages and Combinatorics - [bibtex]
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology. Jean-Claude Fernandez, Claude Jard, Thierry Jéron, César Viho - Sci. Comput. Program. - [bibtex]
Distributing Automata for Asynchronous Networks of Processors. Benoît Caillaud, Paul Caspi, Alain Girault, Claude Jard - Journal Européen des Systèmes Automatisés - [bibtex]
Verifying programs in the Calculus of Inductive Constructions. Catherine Parent-Vigouroux - Formal Aspects of Computing - [bibtex]
Verification of real-time systems using linear relation analysis. Nicolas Halbwachs, Yann-Eric P