Verimag

Technical Reports

Author(s) Title Year Download
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 Concurrent Component-Based Systems 2015 pdf
Ali Kassem Ylies Falcone Pascal Lafourcade Monitoring Electronic Exams 2015 pdf
Ahlem Triki, Borzoo Bonakdarpoor, Jacques Combaz Automated Conflict-Free Concurrent Implementation of Timed Component-Based Models 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
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

Contact | Site Map | Site created with SPIP 2.1.28 + AHUNTSIC [CC License]

visits: 594003