| Nicolas Basset, Thao Dang, Akshay Mambakam, and Jose Ignacio Requeno Jarabo |
Learning Specifications for Labelled Patterns
|
2020 |
pdf
|
| Maximilien Dupont de Dinechin, Matheus Schuh,
Matthieu Moy , Claire Maiza |
Scaling Up the Memory Interference
Analysis for Hard Real-Time
Many-Core Systems (Full Version)
|
2019 |
pdf
|
| Claire Maiza, Hamza Rihani, Juan M. Rivas, Joël
Goossens, Sebastian Altmeyer, Robert I. Davis |
A Survey of Timing Verification
Techniques for Multi-Core Real-Time
Systems
|
2018 |
pdf
|
| Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem
|
Predictability in Mixed-Criticality
Systems
|
2018 |
pdf
|
| Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP
|
2018 |
pdf
|
| Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Mahieddine Dellabani, Jacques Combaz, Axel Legay and Saddek Bensalem |
SBIP 2.0: Statistical Model Checking SRT Systems
|
2018 |
pdf
|
| Braham Lotfi Mediouni, Ayoub Nouri, Marius Bozga, Axel
Legay and Saddek Bensalem |
Mitigating Security Risks through
Attack Strategies Exploration
|
2018 |
pdf
|
| Rim El Ballouli, Saddek Bensalem, Marius Bozga, Joseph Sifakis |
DR-BIP - Programming Dynamic Reconfigurable Systems
|
2018 |
pdf
|
| Erwan Jahier, Nicolas Halbwachs , Claire Maiza, Pascal Raymond, Wei-Tsun Sun , Hugues Cassé |
Assessing Software Abstractions in WCET Analysis of Reactive Programs
|
2018 |
pdf
|
| Pascal Raymond |
Verification with Lustre/Lesar
|
2018 |
pdf
|
| Braham Lotfi Mediouni, Iulia Dragomir, Ayoub Nouri and Saddek Bensalem |
Quantitative Risk Assessment in the Design of Resilient Systems
|
2018 |
pdf
|
| Mnacho Echenim, Radu Iosif, Nicolas Peltier |
On the Expressive Completeness of Bernays-Schonfinkel-Ramsey Separation Logic
|
2018 |
pdf
|
| Rany Kahil, Peter Poplavko, Dario Socci, Saddek Bensalem |
Revisiting the Computational Complexity of Mixed-Criticality Scheduling
|
2017 |
pdf
|
| Ayoub nouri, braham lotfi mediouni, Marius Bozga, Axel Legay, and Saddek Bensalem. |
Performance Evaluation of Stochastic Real-Time Systems with the
SBIP Framework
|
2017 |
pdf
|
| Goran Frehse, Nikolaos Kekatos, Dejan Nickovic |
Formally Correct Monitors for Hybrid Automata
|
2017 |
pdf
|
| Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga |
Monitoring Distributed Component-Based Systems
|
2017 |
pdf
|
| Valentin Touzeau
Claire Maïza
David Monniaux
Jan Reineke |
Ascertaining Uncertainty for Efficient Exact Cache Analysis
|
2017 |
pdf
|
| Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga |
Planning Based Semantics for Distributed Real-Time Systems
|
2017 |
pdf
|
| Peter Poplavko, Lefteris Angelis, Ayoub Nouri, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros |
Regression-based Statistical Bounds on Software Execution Time
|
2016 |
pdf
|
| Mahieddine Dellabani, Jacques Combaz, Saddek Bensalem, Marius Bozga |
Local Planning of Multiparty Interactions with Bounded Horizon
|
2016 |
pdf
|
| Peter Poplavko, Rany Kahil, Dario Socci, Saddek
Bensalem, Marius Bozga |
Mixed-Critical Systems Design with Coarse-grained Multi-core Interference
|
2016 |
pdf
|
| Wei-Tsun Sun |
A framework for simulate synchronous reactive programs and measure execution times to aid WCET analysis
|
2016 |
pdf
|
| Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga |
RVMT-BIP: A Tool for the Runtime Verification of Multi-Threaded Component-Based Systems
|
2016 |
pdf
|
| Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer |
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor---Full Version
|
2016 |
pdf
|
| Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga |
Time-Triggered Mixed-Critical Scheduler on Single- and Multi-processor Platforms (Revised Version)
|
2015 |
pdf
|
| Ahlem Triki, Jacques Combaz, Saddek Bensalem |
Optimized Distributed Implementations of Timed Component-based Systems
|
2015 |
pdf
|
| Pranav Tendulkar, Peter Poplavko, Jules Maselbas,
Ioannis Galanommatis, and Oded Maler |
A Runtime Environment for Real-time Streaming Applications on Clustered Multi-cores
|
2015 |
pdf
|
| Hosein Nazarpour, Yliès Falcone, Saddek Bensalem, Marius Bozga, Jacques Combaz |
Monitoring Multi-Threaded Component-Based Systems
|
2015 |
pdf
|
| Ali Kassem
Ylies Falcone
Pascal Lafourcade |
Monitoring Electronic Exams
|
2015 |
pdf
|
| Sergiy Bogomolov, Daniele Magazzeni, Stefano Minopoli, Martin Wehrle |
PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior
|
2015 |
pdf
|
| Ahlem Triki, Borzoo Bonakdarpoor, Jacques Combaz |
Automated Conflict-Free Concurrent
Implementation of Timed
Component-Based Models
|
2015 |
pdf
|
| Dario Socci, Peter Poplavko, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga |
A Timed-automata based Middleware for Time-critical Multicore Applications
|
2015 |
pdf
|
| Minopoli, Stefano and Frehse, Goran |
From simulation models to hybrid automata using urgency and relaxation
|
2015 |
pdf
|
| Ayoub Nouri, Anca Molnos, Julien Mottin, Marius Bozga, Saddek Bensalem, Arnaud Tonda, Francois Pacull |
A Model-based Approach for Rapid Prototyping of Parallel Applications on Manycore
|
2014 |
pdf
|
| Alexandre Maréchal, Michaël Périn |
Three linearization techniques for multivariate polynomials in static analysis using convex polyhedra
|
2014 |
pdf
|
| Najah Ben Said , Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
Building secure-by-construction distributed component-based systems
|
2014 |
pdf
|
| Pranav Tendulkar, Peter Poplavko, Oded Maler |
Strictly Periodic Scheduling of Acyclic Synchronous Dataflow Graphs using SMT Solvers
|
2014 |
pdf
|
| Stefano Minopoli and Goran Frehse |
Non-Convex Invariants and Urgency Conditions on Linear Hybrid Automata
|
2014 |
pdf
|
| Jannik Dreier,
Rosario Giustolisi,
Ali Kassem,
Pascal Lafourcade,
Gabriele Lenzini |
On the Verifiability of (Electronic) Exams
|
2014 |
pdf
|
| Lacramioara Astefanoaei, Souha Ben Rayana, Saddek Bensalem, Marius Bozga and Jacques Combaz |
Compositional Invariant Generation for Timed Systems
|
2014 |
pdf
|
| Alexios Lekidis, Paraskevas Bourgos, Simplice Djoko-Djoko, Marius Bozga, Saddek Bensalem
|
Design Flow for the Rapid Development of Distributed Sensor Network Applications
|
2014 |
pdf
|
| Peter Poplavko, Dario Socci, Paraskevas Bourgos, Saddek Bensalem, Marius Bozga |
Models for Deterministic Execution of Real-time Multiprocessor Applications
|
2014 |
pdf
|
| Dario Socci
Petro Poplavko
Saddek Bensalem
Marius Bozga |
Multiprocessor Scheduling of Precedence-constrained Mixed-Critical Jobs
|
2014 |
pdf
|
| Alexios Lekidis, Marius Bozga, Saddek Bensalem |
Rigorous Modeling and Validation of CANopen Systems
|
2014 |
pdf
|
| Raphaël Jamet
Pascal Lafourcade |
Discovering Flaws in IDS through Analysis of their Inputs
|
2013 |
pdf
|
| Stéphane Devismes, Anissa Lamani, Franck Petit et Sébastien Tixeuil |
Optimal Torus Exploration by Oblivious Mobile Robots
|
2013 |
pdf
|
| Najah Ben Said , Takoua Abdellatif, Saddek Bensalem, Marius Bozga |
Model-driven Information Flow Security for Component-Based Systems
|
2013 |
pdf
|
| Anaïs Durand, Karine Altisen, Stéphane Devismes |
Probabilistic Snap-Stabilizing Algorithms for Local Resource Allocation Problems
|
2013 |
pdf
|
| L. Astefanoaei, S. Ben Rayana, S. Bensalem, M. Bozga, J. Combaz |
Compositional Invariant Generation for
Timed Systems
|
2013 |
pdf
|
| Karine Altisen, Stéphane Devismes, Raphaël Jamet, Pascal Lafourcade |
SR3: A Secure and Resilient Reputation-Based Routing Protocol
|
2013 |
pdf
|
| Pranav Tendulkar, Peter Poplavko, Oded Maler |
Symmetry Breaking for Multi-Criteria Mapping and
Scheduling on Multicores
|
2013 |
pdf
|
| Ahlem Triki, Jacques Combaz |
Model-Based Implementation of Parallel Real-Time Systems
|
2013 |
pdf
|
| Ali Kassem
Pascal Lafourcade
Yassine Lakhnech |
A More Realistic Model for Verifying Route Validity in Ad-Hoc Networks
|
2013 |
pdf
|
| Stéphane Devismes et Franck Petit |
On the Complexity of the Boulinier et al's Unison Algorithm
|
2012 |
pdf
|
| Emmanuel Sifakis
Laurent Mounier |
Offline taint prediction for multi-threaded applications
|
2012 |
pdf
|
| Balaji Raman, Ayoub Nouri, Deepak Gangadharan, Marius Bozga, Ananda Basu, Mayur Maheshwari, Jerome Milan, Axel Legay, Saddek Bensalem, and Samarjit Chakraborty |
A General Stochastic Framework for Low-Cost Design of Multimedia SoCs
|
2012 |
pdf /
ps |
| Karine Altisen, Antoine Gerbaud, Stéphane Devismes et Pascal Lafourcade |
Comparisons of mean hitting times for tabu random walks on finite graphs
|
2012 |
pdf
|
| Christian von Essen, Barbara Jobstmann |
Program Repair Revisited
|
2012 |
pdf
|
| Jannik Dreier, Cristian Ene, Pascal Lafourcade, Yassine Lakhnech |
On Unique Decomposition of Processes in the Applied Pi Calculus
|
2012 |
pdf
|
| Dario Socci, Peter Poplavko, Saddek Bensalem, Marius Bozga
|
Mixed Critical Earliest Deadline First
|
2012 |
pdf
|
| Tayeb Bouhadiba,
Matthieu Moy,
Florence Maraninchi,
Jerome Cornet,
Laurent Maillet-Contoz,
Ilija Materic
|
Co-Simulation of Functional SystemC TLM Models with Power/Thermal Solvers
|
2012 |
pdf
|
| Saddek Bensalem, Marius Bozga, Doron Peled and Jean Quilbeuf |
Knowledge Based Transactional Behavior
|
2012 |
pdf
|
| Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech |
Defining Privacy for Weighted Votes, Single and Multi-Voter Coercion
|
2012 |
pdf
|
| Fabienne Carrier, Ajoy K. Datta, Stéphane Devismes, Lawrence L. Larmore, Yvan Rivierre |
Self-Stabilizing (f,g)-Alliances with Safe Convergence
|
2012 |
pdf
|
| Ajoy K. Datta,
St'ephane Devismes,
Lawrence L. Larmore,
S'ebastien Tixeuil |
Fast Leader (Full) Recovery despite Dynamic Faults
|
2012 |
pdf
|
| Jannik Dreier, Pascal Lafourcade, Yassine Lakhnech |
Formal Verification of e-Auction protocols
|
2012 |
pdf
|
| Rajat Kateja, Goran Frehse |
Representation of Piecewise Linear Interval Functions
|
2012 |
pdf
|
| Benoit Boyer, Saddek Bensalem, Marius Bozga and Axel Legay |
Incremental Generation of Linear Invariants for Component-Based Systems
|
2012 |
pdf
|
| Christian von Essen, Barbara Jobstmann, David Parker, and Rahul Varshneya
|
Semi-Symbolic Computation of Efficient Controllers in Probabilistic Environments
|
2012 |
pdf
|
| Marius Bozga, Radu Iosif, Filip Konecny |
Relational Analysis of Integer Programs
|
2012 |
pdf
|
| Jannik Dreier and Pascal Lafourcade and Yassine Lakhnech |
Vote-Independence: A Powerful Privacy Notion for Voting Protocols
|
2011 |
pdf
|
| Julien Legriel, Scott Cotton, Oded Maler |
On Universal Search Strategies for Multi-Criteria Optimization Using Weighted Sums
|
2011 |
pdf
|
| Datta, Ajoy K. and Devismes, Stéphane and Heurtefeux, Karel and Larmore, Lawrence L. and Rivierre, Yvan |
Self-Stabilizing Small k-Dominating Sets
|
2011 |
pdf
|
| P. Bourgos, A. Basu, M. Bozga, S. Bensalem, J. Sifakis, K. Huang |
Rigorous System Level Modeling and Analysis of Mixed HW/SW Systems
|
2011 |
pdf
|
| Karel Heurtefeux
Florence Maraninchi
Fabrice Valois |
AreaCast: a Communication by Area in Wireless Sensor Networks
|
2011 |
pdf
|
| Borzoo Bonakdarpour, Marius Bozga, Jean Quilbeuf |
Automated Distributed Implementation of Component-based Models with
Priorities
|
2011 |
pdf
|
| Tesnim Abdellatif
Jacques Combaz
Marc Poulhiès |
Open Real-time Systems: From Modeling to Implementation
|
2011 |
pdf
|
| Manuel Garnacho, Michael Perin |
Automatic Coq Proofs Generation from Static Analyzers by Lightweight Instrumentation
|
2011 |
pdf
|
| Florence Maraninchi, Catherine Parent-Vigouroux, Karel Heurtefeux, Pascal Raymond |
A Generic Structure for Modeling Time and Energy Consumption in Abstract Virtual Prototypes of Embedded Systems
|
2011 |
pdf
|
| Ajoy K. Datta, Stéphane Devismes, Karel Heurtefeux, Lawrence L. Larmore, Yvan Rivierre |
Competitive Self-Stabilizing k-Clustering
|
2011 |
pdf /
ps |
| Karine Altisen, Stéphane Devismes, Pascal Lafourcade et Clément Ponsonnet |
Secure Probabilistic Routing in Wireless Sensor Networks
|
2011 |
pdf
|
| Marius Bozga, Radu Iosif, Filip Konecny |
Relational Analysis of Integer Programs
|
2011 |
ps |
| Karine Altisen and Matthieu Moy |
Causality Closure for a New Class of Curves in Real-Time Calculus - Full version
|
2011 |
pdf
|
| Chih-Hong Cheng, Barbara Jobstmann, Michael
Geisinger, Sarah Diot-Girard, Christian Buckl, Alois Knoll, Harald Ruess |
Optimizations for Game-based Software Synthesis
|
2011 |
pdf
|
| Jannik Dreier, Pascal Lafourcade, and Yassine Lakhnech |
A Formal Taxonomy of Privacy in Voting Protocols
|
2011 |
pdf
|
| P. Bourgos, A. Basu, S. Bensalem, K. Huang, J. Sifakis |
Integrating Architectural Constraints in Application Software by Source-to-Source Transformation in BIP
|
2011 |
pdf
|
| Borzoo Bonakdarpour, Marius Bozga, Mohamad Jaber
Jean Quilbeuf, and Joseph Sifakis |
From High-Level Component-Based Models to Distributed Implementations
|
2010 |
pdf /
ps |
| Kevin Marquet and Matthieu Moy |
PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation
|
2010 |
pdf
|
| Kevin Marquet and
Matthieu Moy and
Bertrand Jeannet |
Efficient Encoding of SystemC/TLM in Promela---Full Version
|
2010 |
pdf
|
| Saddek Bensalem, Axel Legay, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
Incremental Invariant Generation for Compositional Design
|
2010 |
pdf
|
| Ylies Falcone, Jean-Claude Fernandez, Laurent Mounier |
What Can You Verify and Enforce at Runtime?
|
2010 |
pdf
|
| Kevin Marquet and Matthieu Moy and Bageshri Karkare |
A theoretical and Experimental Review of SystemC Front-ends
|
2010 |
pdf
|
| Marius Bozga, Radu Iosif, Filip Konecny |
Fast Acceleration of Ultimately Periodic Relations
|
2010 |
pdf
|
| Karine Altisen and Matthieu Moy |
ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre
|
2010 |
pdf
|
| Christian von Essen and Barbara Jobstmann |
Synthesizing Systems with Optimal Average-Case Behavior for Ratio Objectives
|
2010 |
pdf
|
| Karine Altisen, Stéphane Devismes, Pascal Lafourcade et Clément Ponsonnet |
Probabilistic Methods for Routing in Wireless Sensor Networks
|
2010 |
pdf /
ps |
| Giovanni Funchal, Matthieu Moy |
jTLM: an Experimentation Framework for the Simulation of Transaction-Level Models of Systems-on-Chip
|
2010 |
pdf
|
| V.Sfyrla, G.Tsiligiannis, I.Safaka, M.Bozga, J.Sifakis |
Compositional Translation of Simulink Models into Synchronous BIP
|
2010 |
pdf /
ps |
| Imene Ben-Hafaiedh, Susanne Graf and Sophie Quinton |
Building Distributed Controllers for Systems with Priorities
|
2010 |
pdf
|
| Tesnim Abdellatif, Jacques Combaz, Joseph Sifakis |
Model-Based Implementation of Real-Time Applications
|
2010 |
pdf
|
| Giovanni Funchal, Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz |
Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip
|
2010 |
pdf
|
| Sophie Quinton, Susanne Graf and Roberto Passerone |
Contract-Based Reasoning for Component Systems with Complex Interactions
|
2010 |
pdf
|
| Imene Ben-Hafaiedh, Susanne Graf and Sophie Quinton |
A Contract Framework for Reasoning about Safety and Progress
|
2010 |
pdf
|
| Julien Legriel, Oded Maler |
Meeting Deadlines Cheaply
|
2010 |
pdf
|
| Ismail Assayad, Joseph Sifakis |
A Methodology for Construction of Composable Formal Models from SystemC in BIP
|
2009 |
pdf
|
| Marius Bozga, Vassiliki Sfyrla, Joseph Sifakis |
Modeling Synchronous Systems in BIP
|
2009 |
pdf
|
| Tayeb Bouhadiba, Florence Maraninchi, Giovanni Funchal |
Formal and Executable Contracts for Transaction-Level Modeling in SystemC - Full version
|
2009 |
pdf
|
| Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier |
Extending the Safety-Progress Classification of Properties in a Runtime Verification Context
|
2009 |
pdf
|
| Marius Bozga, Mohamad Jaber, Joseph Sifakis |
Source-to-Source Architecture Transformation for Performance Optimization in BIP
|
2009 |
pdf /
ps |
| M. Bozga, P. Habermehl, R. Iosif, F. Konecny, and T. Vojnar |
Automatic Verification of Integer Array Programs
|
2009 |
pdf
|
| Karine Altisen and Matthieu Moy |
Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions
|
2009 |
pdf
|
| Karine Altisen and Matthieu Moy |
Connecting Real-Time Calculus to the Synchronous Programming Language Lustre
|
2009 |
pdf
|
| Saddek Bensalem, Thanh-Hung Nguyen, Joseph Sifakis, Rongjie Yan |
Incremental Component-based Construction and Deadlock Checking
|
2009 |
pdf /
ps |
| Yanhong Liu and Karine Altisen and Matthieu Moy |
Granularity-based Interfacing between RTC and Timed Automata Performance Models
|
2009 |
pdf
|
| MARANINCHI Florence, Tayeb BOUHADIBA |
42: Programmable Models of Computation for the Component-Based
Virtual Prototyping of Heterogeneous Embedded Systems
|
2009 |
pdf
|
| Peter Habermehl, Radu Iosif, Tomas Vojnar |
A Logic of Singly Indexed Arrays
|
2008 |
ps |
| Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier |
Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties
|
2008 |
pdf
|
| A. Benveniste, P. Caspi, R. Lublinerman, S. Tripakis |
Actors without Directors: a Kahnian View of Heterogeneous Systems
|
2008 |
pdf
|
| Saddek Bensalem, Marius Bozga, Thanh-Hung Nguyen and Joseph Sifakis |
Compositional Deadlock-Detection and Verification for Component-based Systems
|
2008 |
pdf
|
| Simon Bliudze, Joseph Sifakis |
Causal Semantics for the Algebra of Connectors
|
2008 |
pdf
|
| Ananda Basu, Philippe Bidinger, Marius Bozga and Joseph Sifakis |
Distributed Semantics and Implementation for Systems with Interaction and Priority
|
2008 |
pdf
|
| Thao Dang and David Salinas |
Image computation for polynomial dynamical systems using the Bernstein expansion
|
2008 |
pdf
|
| Ismail Assayad, Sergio Yovine |
Ordonnancement de tâches hiérarchiques interdépendantes sous des exigences temporelles et objectif d'efficacité
|
2008 |
pdf
|
| Jan Olaf Blech, Michaël Périn |
On Certificate Generation and Checking for Deadlock-freedom of BIP Models
|
2008 |
pdf
|
| Iman Narasamdya, Michael Perin |
Certification of Smart-Card Applications in Common Criteria:
Proving Representation Correspondences
|
2008 |
pdf
|
| Radu Iosif and Adam Rogalewicz |
Automata-based Termination Proofs
|
2008 |
ps |
| Marius Bozga, Codruta Girlea and Radu Iosif |
Iterating Octagons
|
2008 |
ps |
| Ylies Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier |
j-POST: a Java Tool Chain for Property-Oriented Software Testing
|
2008 |
pdf
|
| Iman Narasamdya, Michael Perin |
Certification of Smart-Card Applications in Common Criteria
|
2008 |
pdf
|
| Andrei Voronkov, Iman Narasamdya |
Proving Inter-Program Properties
|
2008 |
pdf
|
| D. Monteverde, A. Olivero, S. Yovine, V. Braberman |
VTS-based Specification and Verification of Behavioral Properties of AADL Models
|
2008 |
pdf
|
| Erwan Jahier, Nicolas Halbwachs, Pascal Raymond |
Synchronous modeling and validation of schedulers
dealing with shared~resources
|
2008 |
pdf
|
| Jan Olaf Blech, Michaël Périn |
Towards Certifying Deadlock-freedom of BIP Models
|
2008 |
pdf
|
| Marius Bozga, Radu Iosif, Swann Perarnau |
Quantitative Separation Logic and Programs with Lists
|
2007 |
pdf
|
| Ylies Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier |
j-POST: a Java Toolchain for Property-Oriented Software Testing
|
2007 |
pdf
|
| Paolo Torrini, Paul Caspi, Pascal Raymond |
From Fault-Trees to Safety Conditions
|
2007 |
pdf
|
| Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis |
Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks
|
2007 |
pdf
|
| Ylies Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier |
A Partial-Specification Driven Compositional Testing Method
|
2007 |
pdf
|
| Simon Bliudze, Joseph Sifakis |
The Algebra of Connectors -- Structuring Interaction in BIP
|
2007 |
pdf /
ps |
| I. Assayad, F.X. Defaut, S. Yovine, M. Zanconi |
Joint software/hardware modeling with FXML/Jahuel
|
2007 |
pdf
|
| S. Yovine, I. Assayad, F.-X. Defaut, M. Zanconi, A. Basu |
A formal approach to derivation of concurrent implementations in software product lines
|
2007 |
pdf
|
| V. Braberman, F. Fernandez, D. Garbervetsky, S. Yovine |
Symbolic Prediction of Dynamic-Memory Requirements
|
2007 |
pdf
|
| Olivier Constant, Wei Monin, Susanne Graf |
From Complex UML Models to Systematic Performance Simulation
|
2007 |
pdf
|
| Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomas Vojnar |
Proving Termination of Tree Manipulating Programs
|
2007 |
ps |
| Ismail Assayad and Sergio Yovine |
P-Ware: Performance-Aware Transaction-Level Simulation for Network Processor Applications
|
2006 |
pdf
|
| C. Helmstetter , F. Maraninchi , L. Maillet-Contoz and M. Moy |
Automatic Generation of Schedulings for
Improving the Test Coverage of Systems-on-a-Chip
|
2006 |
pdf
|
| Marius Bozga and Radu Iosif |
Deciding Safety and Termination Properties for Flat Programs with Lists
|
2006 |
ps |
| Scott Cotton and Oded Maler |
Satisfiability Modulo Theory Chains with DPLL(T)
|
2006 |
pdf
|
| Ahmed Bouajjani, Marius Bozga, Peter Habermehl, Radu Iosif, Pierre Moro and Tom'{a}v{s} Vojnar |
Programs with Lists are Counter Automata
|
2006 |
ps |
| Thao Dang and Tarik Nahhal |
Randomized simulation of Hybrid Systems
|
2006 |
pdf
|
| David Stauch |
Modifying Contracts with Larissa Aspects
|
2006 |
pdf
|
| Stavros Tripakis |
Checking Timed Buchi Automata Emptiness on Simulation Graphs
|
2006 |
pdf
|
| Iulian Ober, Susanne Graf and David Lesens |
A case study in UML model-based validation: The Ariane-5 launcher software
|
2005 |
pdf
|
| Alexandre Donze |
On Temporal Differences Algorithms For Continuous System
|
2005 |
ps |
| Yassine Lakhnech and Laurent Mazare |
Computationally Sound Verification of Security Protocols Using Diffie-Hellman Exponentiation
|
2005 |
pdf /
ps |
| Alexandre Donzé, Samuel Shapero |
Search Methods Based Control of the Simplified Model of the ABB Power Network
|
2005 |
pdf /
ps |
| Moez Krichen and Stavros Tripakis |
State identification problems for finite-state transducers
|
2005 |
pdf
|
| Yassine Lakhnech and Laurent Mazaré |
Probabilistic Opacity for a Passive Adversary and its Application to Chaum's Voting Scheme
|
2005 |
pdf /
ps |
| R. Janvier, Y. Lakhnech, L. Mazaré |
(De)Compositions of Cryptographic Schemes and their Applications to Protocols
|
2005 |
pdf /
ps |
| Marius Bozga and Radu Iosif |
Quantitative Verification of Programs with Lists
|
2005 |
ps |
| Chiheb Kossentini and Paul Caspi |
Approximation, Sampling and Voting in Hybrid Computing Systems
|
2005 |
pdf
|
| Karine Altisen
Florence Maraninchi
David Stauch |
Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework
|
2005 |
pdf
|
| Paul Caspi |
Eléments pour le choix de méthodes de développement de systèmes
logiciels critiques
|
2005 |
pdf
|
| Peter Habermehl, Radu Iosif and Tomas Vojnar |
Automata-based Verification of Programs with Tree Updates
|
2005 |
ps |
| Marius Bozga, Radu Iosif and Yassine Lakhnech |
Flat Parametric Counter Automata
|
2005 |
ps |
| Ismail Assayad and Sergio Yovine |
A model-based software implementation tool for multiprocessor embedded systems
|
2005 |
pdf
|
| Karine Altisen and
Stavros Tripakis |
Implementation of Timed Automata:
An Issue of Semantics or Modeling?
|
2005 |
pdf
|
| Jan Mikac, Paul Caspi |
Formal System Development with Lustre: Framework and Example
|
2005 |
pdf
|
| Zanconi, Marcelo
Yovine, Sergio |
Modeling and Analysis of Real Time Systems with Preemption, Uncertainty, and Dependency
|
2005 |
ps |
| Jan Mikac and Paul Caspi |
How many unfoldings of a program for proving an invariant?
|
2004 |
pdf
|
| Philippe Gerner and Thao Dang |
Computing Schedules
for Multithreaded Real-Time Programs using Geometry
|
2004 |
pdf /
ps |
| Marius Bozga and Radu Iosif |
On Model Checking Generic Topologies
|
2004 |
ps |
| Erwan Jahier, Pascal Raymond |
The Lucky language Reference Manual
|
2004 |
pdf
|
| Erwan Jahier |
The Lurette V2 User Guide
|
2004 |
pdf
|
| Marius Bozga, Radu Iosif and Yassine Lakhnech |
On Logics of Aliasing
|
2004 |
ps |
| Stavros Tripakis |
Decentralized Control of Discrete Event Systems with Bounded or Unbounded Delay Communication
|
2004 |
pdf
|
| Jeremy W. Bryans, Maciej Koutny, Laurent Mazare and Peter Y.A. Ryan |
Opacity Generalised to Transition Systems
|
2004 |
ps |
| Laurent Mazare |
Using Unification For Opacity Properties
|
2004 |
ps |
| Laurent Mazare |
Decidability Of Opacity With Non-Atomic Keys
|
2004 |
ps |
| Laurent Mazare |
Satisfiability of Dolev-Yao Constraints
|
2004 |
ps |
| Laurent Mazare |
An NP Decision Procedure for Generic Dolev-Yao Constraints with Atomic Keys
|
2004 |
ps |
| L. Bozga, C. Ene and Y. Lakhnech |
A symbolic decision procedure for cryptographic protocols with
time stamps
|
2004 |
pdf /
ps |
| R. Janvier, Y. Lakhnech et L. Mazare |
Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries
|
2004 |
pdf /
ps |
| Marius Bozga and Radu Iosif |
On Decidability within the Arithmetic of Addition and Divisibility
|
2004 |
ps |
| N. Scaife, C. Sofronis, P. Caspi, S. Tripakis and F. Maraninchi |
Defining and translating a safe subset of Simulink/Stateflow
into Lustre
|
2004 |
pdf
|
| Moez Krichen and Stavros Tripakis |
Real-time Testing with Timed Automata Testers and Coverage Criteria
|
2004 |
pdf
|
| Stavros Tripakis |
Distributed Observation Problems
|
2004 |
pdf
|
| Moez Krichen and Stavros Tripakis |
An Expressive and Implementable Formal Framework for Testing Real-Time Systems
|
2004 |
pdf
|
| N. Scaife and P. Caspi |
Integrating model-based design and
preemptive scheduling in mixed time-
and event-triggered systems
|
2004 |
pdf
|
| L. Bozga, Y. Lakhnech and M. Perin |
Pattern-based Abstraction for Verifying Secrecy in
Protocols
|
2004 |
pdf /
ps |
