Verimag

Technical Reports

Author(s) Title Year Download
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
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

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

Logged in visitors: 22 ; visits: 460161