Publications

Publications HAL du labo/EPI spades

2017

Journal articles

titre
A Survey of Parametric Dataflow Models of Computation
auteur
Adnan Bouakaz, Pascal Fradet, Alain Girault
article
ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2017
Accès au bibtex
BibTex
titre
Symbolic Analyses of Dataflow Graphs
auteur
Adnan Bouakaz, Pascal Fradet, Alain Girault
article
ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2017
Accès au bibtex
BibTex

Conference papers

titre
Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies
auteur
Zain A. H. Hammadeh, Rolf Ernst, Sophie Quinton, Rafik Henia, Laurent Rioux
article
Design, Automation and Test in Europe, Mar 2017, Lausanne, Switzerland. <https://www.date-conference.com/>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01426632/file/2017-DATE.pdf BibTex

2016

Journal articles

titre
Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models
auteur
Antoine Girard, Gregor Gössler, Sebti Mouelhi
article
IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2016, 61 (6), pp.1537-1549. <10.1109/TAC.2015.2478131>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01197426/file/multiscale-tac-double.pdf BibTex
titre
Reversibility in the higher-order π-calculus
auteur
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
article
Theoretical Computer Science, Elsevier, 2016, 625, pp.25-84. <10.1016/j.tcs.2016.02.019>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01303090/file/journal-rhopi.pdf BibTex
titre
Contextual equivalences in configuration structures and reversibility
auteur
Clément Aubert, Ioana Cristescu
article
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01229408/file/contextual_equivalences.pdf BibTex

Conference papers

titre
Quantifying the Flexibility of Real-Time Systems
auteur
Rafik Henia, Alain Girault, Christophe Prévot, Sophie Quinton, Laurent Rioux
article
10th Junior Researcher Workshop on Real-Time Computing , Oct 2016, Brest, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01426658/file/JRWRTC_2016_paper_6.pdf BibTex
titre
Energy and timing aware synchronous programming
auteur
Jiajie Wang, Partha Roop, Alain Girault
article
International Conference on Embedded Software, EMSOFT’16, Oct 2016, Pittsburgh, United States. ACM, pp.10, 2016, <10.1145/2968478.2968500>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412100/file/EMSOFT_2016.pdf BibTex
titre
The ForeC Synchronous Deterministic Parallel Programming Language for Multicores
auteur
Eugene Yip, Alain Girault, Partha Roop, Morteza Biglari-Abhari
article
IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip, MCSoC’16, Sep 2016, Lyon, France. IEEE, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01412102/file/mcsoc16-PID4352145.pdf BibTex
titre
Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
auteur
Sönke Holthusen, Sophie Quinton, Ina Schaefer, Johannes Schlatow, Martin Wegner
article
Workshop on Pre- and Post-Deployment Verification Techniques, Jun 2016, Reykjavik, Iceland. <10.4204/EPTCS.208.3>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01426654/file/2016-PrePost.pdf BibTex
titre
Symbolic Buffer Sizing for Throughput-Optimal Scheduling of Dataflow Graphs
auteur
Adnan Bouakaz, Pascal Fradet, Alain Girault
article
RTAS 2016 – 22nd IEEE Real-Time Embedded Technology & Applications Symposium, Apr 2016, Vienne, Austria. <10.1109/RTAS.2016.7461360>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01253168/file/rtas16.pdf BibTex
titre
Symbolic computation of the latency for dataflow graphs
auteur
Adnan Bouakaz, Pascal Fradet, Alain Girault
article
Integrating Dataflow, Embedded computing and Architecture (IDEA’2016), Apr 2016, Vienne, Austria. 2016
Accès au bibtex
BibTex

Directions of work or proceedings

titre
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
auteur
Gregor Gössler, Oleg Sokolsky
article
Gregor Gössler; Oleg Sokolsky. First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, Apr 2016, Eindhoven, Netherlands. 224, 2016, EPTCS, <10.4204/EPTCS.224>. <http://eptcs.web.cse.unsw.edu.au/content.cgi?CREST2016>
Accès au bibtex
BibTex
titre
Work-in-Progress and Demo Proceedings – 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)
auteur
Vincent Nélis, Sophie Quinton
article
2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), Apr 2016, Vienna, Austria. 2016, <http://2016.rtas.org>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01305183/file/RTAS-WiP-and-Demo-proceedings.pdf BibTex

Reports

titre
A static analysis for the minimization of voters in fault-tolerant circuits
auteur
Dmitry Burlyaev, Pascal Fradet, Alain Girault
article
[Research Report] RR-9004, Inria – Research Centre Grenoble – Rhône-Alpes. 2016, pp.1-27
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01417164/file/RR-9004.pdf BibTex
titre
RTLib: A Library of Timed Automata for Modeling Real-Time Systems
auteur
Lijun Shan, Susanne Graf, Sophie Quinton
article
[Research Report] Grenoble 1 UGA – Université Grenoble Alpe; INRIA Grenoble – Rhone-Alpes. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01393888/file/short.pdf BibTex
titre
Synchronous Deterministic Parallel Programming for Multicores with ForeC
auteur
Eugene Yip, Partha S. Roop, Alain Girault, Morteza Biglari-Abhari
article
[Research Report] RR-8943, Inria – Research Centre Grenoble – Rhône-Alpes. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01351552/file/RR-8943.pdf BibTex
titre
Symbolic Analysis of Dataflow Graphs (Extended Version)
auteur
Adnan Bouakaz, Pascal Fradet, Alain Girault
article
[Research Report] 8742, Inria – Research Centre Grenoble – Rhône-Alpes. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01166360/file/RR-8742.pdf BibTex

2015

Journal articles

titre
Knowledge-based construction of distributed constrained systems
auteur
Susanne Graf, Sophie Quinton
article
International Journal on Software and Systems Modeling, 2015, <10.1007/s10270-014-0451-z>
Accès au bibtex
BibTex
titre
A general framework for blaming in component-based systems
auteur
Gregor Gössler, Daniel Le Métayer
article
Science of Computer Programming, Elsevier, 2015, 113, Part 3, <10.1016/j.scico.2015.06.010>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01211484/file/blaming-final.pdf BibTex

Conference papers

titre
Mixed criticality systems with weakly-hard constraints
auteur
Oliver Gettings, Sophie Quinton, Robert Davis
article
International Conference on Real Time and Networks Systems, Nov 2015, Lille, France. <10.1145/2834848.2834850>
Accès au bibtex
BibTex
titre
Formal Verification of Automatic Circuit Transformations for Fault-Tolerance
auteur
Dmitry Burlyaev, Pascal Fradet
article
Formal Methods in Computer-Aided Design (FMCAD 2015), Sep 2015, Austin, Texas, United States
Accès au bibtex
BibTex
titre
A Hybrid Approach to Causality Analysis
auteur
Shaohui Wang, Yoann Geoffroy, Gregor Gössler, Oleg Sokolsky, Insup Lee
article
RV 2015 – 6th International Conference on Runtime Verification, Sep 2015, Vienna, Austria. 9333, 2015, LNCS. <10.1007/978-3-319-23820-3_16>
Accès au bibtex
BibTex
titre
Improved Deadline Miss Models for Real-Time Systems Using Typical Worst-Case Analysis
auteur
Xu Wenbo, Zain A. H. Hammadeh, Kröller Alexander, Sophie Quinton, Rolf Ernst
article
Euromicro Conference on Real-Time Systems, Jul 2015, Lund, Sweden. <10.1109/ECRTS.2015.29>
Accès au bibtex
BibTex
titre
Time-redundancy transformations for adaptive fault-tolerant circuits
auteur
Dmitry Burlyaev, Pascal Fradet, Alain Girault
article
2015 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), Jun 2015, Montreal, Canada. <10.1109/AHS.2015.7231164>
Accès au bibtex
BibTex
titre
A formal approach for the synthesis and implementation of fault-tolerant industrial embedded systems
auteur
Wei-Tsun Sun, Alain Girault, Gwenaël Delaval
article
SIES’2015: 10th IEEE International Symposium on Industrial Embedded Systems, Jun 2015, Siegen, Germany. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01165686/file/20140927-0819.pdf BibTex
titre
Reversible Barbed Congruence on Configuration Structures
auteur
Clément Aubert, Ioana Cristescu
article
S. Knight, I. Lanese, A. Lluch Lafuente and H. T. Vieira. 8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. 189, pp.68-85, 2015, EPTCS Proceedings ICE 2015. <http://discotec2015.inria.fr/workshops/ice-2015/>. <10.4204/EPTCS.189.7>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01157974/file/1508.04852v1.pdf BibTex
titre
Simple Isolation for an Actor Abstract Machine
auteur
Benoit Claudel, Quentin Sabah, Jean-Bernard Stefani
article
35th IFIP International Conference on Formal Techniques for Distributed Objects, Components and Systems, Jun 2015, Montbonnot, France. Springer, 9039, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-19195-9_14>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01219656/file/SIAAM-FORTE.pdf BibTex
titre
An in-between “implicit” and “explicit” complexity: Automata
auteur
Clément Aubert
article
DICE 2015 – Developments in Implicit Computational Complexity, Apr 2015, Londres, United Kingdom. <http://dice15.computing.dundee.ac.uk/>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01111737/file/standalone.pdf BibTex
titre
Automatic Time-Redundancy Transformation for Fault-Tolerant Circuits
auteur
Dmitry Burlyaev, Pascal Fradet, Alain Girault
article
23rd ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, FPGA’15, Feb 2015, Monterey, United States. <10.1145/2684746.2689058>
Accès au bibtex
BibTex
titre
Fault Ascription in Concurrent Systems
auteur
Gregor Gössler, Jean-Bernard Stefani
article
P. Ganty; M. Loreti. Trustworthy Global Computing, 2015, Madrid, Spain. Springer, LNCS, 9533, pp.16, TGC 2015. <10.1007/978-3-319-28766-9 6>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01246485/file/tgc.pdf BibTex

Directions of work or proceedings

titre
2015 International Conference on Embedded Software, EMSOFT’15
auteur
Alain Girault, Guan Nan
article
Alain Girault; Nan Guan. Amsterdam, Netherlands. IEEE, 2015, 978-1-4673-8079-9. <http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7313572>
Accès au bibtex
BibTex
titre
Reversible Computation
auteur
Jean Krivine, Jean-Bernard Stefani
article
Krivine, Jean; Stefani, Jean-Bernard. Reversible Computation, Jul 2015, Grenoble, France. 9138, Springer, 2015, Lecture Notes in Computer Science, 978-3-319-20859-6. <10.1007/978-3-319-20860-2>. <http://www.reversible-computation.org/2015/>
Accès au bibtex
BibTex

Reports

titre
Fault Ascription in Concurrent Systems
auteur
Gregor Gössler, Jean-Bernard Stefani
article
[Research Report] RR-8772, INRIA Grenoble – Rhône-Alpes. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01197486/file/RR-8772.pdf BibTex

Theses

titre
Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques
auteur
Dmitry Burlyaev
article
Hardware Architecture [cs.AR]. Université Grenoble Alpes, 2015. English. <NNT : 2015GREAM058>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01253368/file/BURLYAEV_2015_archivage.pdf BibTex

2014

Journal articles

titre
Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony
auteur
Loïc Besnard, Adnan Bouakaz, Thierry Gautier, Paul Le Guernic, Yue Ma, Jean-Pierre Talpin, Huafeng Yu
article
Science of Computer Programming, Elsevier, 2014, Science of Computer Programming, pp.20
Accès au bibtex
BibTex
titre
A Predictable Framework for Safety-Critical Embedded Systems
auteur
Sidharta Andalam, Partha Roop, Alain Girault, Claus Traulsen
article
IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers, 2014, pp.13
Accès au bibtex
BibTex
titre
Building Timing Predictable Embedded Systems
auteur
Philip Axer, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson, Peter Marwedel, Jan Reineke, Christine Rochange, Maurice Sebastian, Reinhard Von Hanxleden, Reinhard Wilhelm, Wang Yi
article
ACM Transactions on Embedded Computing Systems (TECS), ACM, 2014, 13 (4), pp.38. <10.1145/2560033>
Accès au bibtex
BibTex
titre
Apport des méthodes formelles pour l’exploitation de logs informatiques dans un contexte contractuel
auteur
Gregor Gössler, Daniel Le Métayer, Eduardo Mazza, Marie-Laure Potet, Lacramioara Astefanoaei
article
Revue des Sciences et Technologies de l’Information – Série TSI : Technique et Science Informatiques, Lavoisier, 2014, pp.63-84. <10.3166/tsi.33.63-84>
Accès au bibtex
BibTex
titre
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design
auteur
Roopak Sinha, Alain Girault, Gregor Gössler, Partha Roop
article
ACM Transactions on Design Automation of Electronic Systems (TODAES), ACM, 2014, 20, pp.30. <10.1145/2663344>
Accès au bibtex
BibTex

Conference papers

titre
Formal Analysis of Timing Effects on Closed-loop Properties of Control Software
auteur
Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Wöhrle
article
35th IEEE Real-Time Systems Symposium 2014 (RTSS), Dec 2014, Rome, Italy. <http://2014.rtss.org/>
Accès au bibtex
BibTex
titre
Blaming in component-based real-time systems
auteur
Gregor Gössler, Lacramioara Astefanoaei
article
Proceedings of the 14th International Conference on Embedded Software – EMSOFT’14, Oct 2014, Delhi, India. ACM, 2014, <10.1145/2656045.2656048>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01078214/file/ta-causality.pdf BibTex
titre
Extending typical worst-case analysis using response-time dependencies to bound deadline misses
auteur
Zain A. H. Hammadeh, Sophie Quinton, Rolf Ernst
article
14th International Conference on Embedded Software 2014 (EMSOFT), Oct 2014, New Delhi, India. <10.1145/2656045.2656059>
Accès au bibtex
BibTex
titre
Components as Location Graphs
auteur
Jean-Bernard Stefani
article
11th International Symposium on Formal Aspects of Component Software, Sep 2014, Bertinoro, Italy. Lecture Notes in Computer Science, 8997, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01094208/file/ComponentsLocationGraphs.pdf BibTex
titre
libDGALS: A Library-based Approach to Design Dynamic GALS Systems
auteur
Wei-Tsun Sun, Alain Girault, Zoran Salcic, Avinash Malik
article
9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014), Jun 2014, Pisa, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00996978/file/SIES_2014_v4-2.pdf BibTex
titre
A framework to schedule parametric dataflow applications on many-core platforms
auteur
Vagelis Bebelis, Pascal Fradet, Alain Girault
article
Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, Compilers and Tools for Embedded Systems, LCTES’14, Jun 2014, Edinburgh, United Kingdom. <10.1145/2666357.2597819>
Accès au bibtex
BibTex
titre
Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design
auteur
Sophie Quinton, Julien Hennig, Torsten Bone, Moritz Neukirchner, Rolf Ernst, Mircea Negrean
article
The 51st Annual Design Automation Conference 2014, Jun 2014, San Francisco, CA, United States. <https://dac.com>. <10.1145/2593069.2602977>
Accès au bibtex
BibTex
titre
Verification-guided Voter Minimization in Triple-Modular Redundant Circuits
auteur
Dmitry Burlyaev, Pascal Fradet, Alain Girault
article
Design, Automation and Test in Europe Conference, DATE’14, Mar 2014, Dresden, Germany. 2013
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Formal Techniques for Component-based Design of Embedded Systems
auteur
Gregor Gössler
article
Embedded Systems. Grenoble University, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01267041/file/hdr-goessler.pdf BibTex

Patents

titre
Procédé de fabrication automatisée d’un circuit électronique adapté pour détecter ou masquer des fautes par redondance temporelle, programme d’ordinateur et circuit électronique associés
auteur
Dmitry Burlyaev, Pascal Fradet, Alain Girault
article
France, N° de brevet: 1456080. 2014
Accès au bibtex
BibTex

Preprints, Working Papers, …

titre
Reversibility in the higher-order π-calculus
auteur
Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01081714/file/journal-rhopi.pdf BibTex

2013

Journal articles

titre
Tradeoff exploration between reliability, power consumption, and execution time for embedded systems
auteur
Ismail Assayad, Alain Girault, Hamoudi Kalla
article
Software Tools for Technology Transfer (STTT), Springer, 2013, 15 (3), pp.229-245. <10.1007/s10009-012-0263-9>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00923926/file/main.pdf BibTex
titre
Reliability and performance optimization of pipelined real-time systems
auteur
Anne Benoit, Fanny Dufossé, Alain Girault, Yves Robert
article
Journal of Parallel and Distributed Computing, Elsevier, 2013, 73 (6), pp.851-865. <10.1016/j.jpdc.2013.02.009>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00926123/file/jpdc.pdf BibTex

Conference papers

titre
Mode Sequences as Symbolic States in Abstractions of Incrementally Stable Switched Systems
auteur
Euriell Le Corronc, Antoine Girard, Gregor Gössler
article
CDC 2013 – 52nd Conference on Decision and Control, Dec 2013, Florence, Italy. IEEE, pp.3225-3230, 2013, <10.1109/CDC.2013.6760375>
Accès au bibtex
BibTex
titre
BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters
auteur
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur
article
The Tenth Biennial Ptolemy Miniconference, Nov 2013, Berkeley, United States. 2013
Accès au bibtex
BibTex
titre
BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters
auteur
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur
article
EMSOFT’13 – Eleventh ACM International Conference on Embedded Software, Sep 2013, Montreal, Canada. ACM, pp.10, 2013, <http://dl.acm.org/citation.cfm?id=2555757>
Accès au bibtex
BibTex
titre
A Framework to Schedule Parametric Dataflow Applications on Many-Core Platforms
auteur
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur
article
CPC 2013, 17th Workshop on Compilers for Parallel Computing, Jul 2013, Lyon, France. 2013
Accès au bibtex
BibTex
titre
Programming and Timing Analysis of Parallel Programs on Multicores
auteur
Eugene Yip, Partha Roop, Morteza Biglari-Abhari, Alain Girault
article
International Conference on Application of Concurrency to System Design, ACSD’13, Jul 2013, Barcelona, Spain. IEEE, pp.167–176, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00842402/file/yip-acsd13.pdf BibTex
titre
Precise timing analysis for direct-mapped caches
auteur
Sidharta Andalam, Roopak Sinha, Partha Roop, Alain Girault, Jan Reineke
article
Design Automaton Conference, DAC, Jun 2013, Austin, TX, United States. ACM, 2013, <10.1145/2463209.2488917>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00842368/file/andalam-dac13.pdf BibTex
titre
CoSyMA: a tool for controller synthesis using multi-scale abstractions
auteur
Sebti Mouelhi, Antoine Girard, Gregor Goessler
article
HSCC’13 – 16th International Conference on Hybrid systems: computation and control, Apr 2013, Philadelphie, United States. ACM, pp.83-88, 2013, <10.1145/2461328.2461343>
Accès au bibtex
BibTex
titre
Concurrent Flexible Reversibility
auteur
Ivan Lanese, Michaël Lienhardt, Claudio Mezzina, Alan Schmitt, Jean-Bernard Stefani
article
Matthias Felleisen and Philippa Gardner. 22nd European Symposium on Programming, ESOP 2013, Mar 2013, Rome, Italy. Springer, 7792, pp.370-390, 2013, Lecture Notes in Computer Science (LNCS); Programming Languages and Systems. <10.1007/978-3-642-37036-6_21>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00811629/file/crop.pdf BibTex
titre
A General Trace-Based Framework of Logical Causality
auteur
Gregor Gössler, Daniel Le Métayer
article
FACS – 10th International Symposium on Formal Aspects of Component Software – 2013, 2013, Nanchang, China. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00924048/file/facs2013.pdf BibTex
titre
A Causality Analysis Framework for Component-based Real-time Systems
auteur
Shaohui Wang, Anaheed Ayoub, Baekgyu Kim, Gregor Gössler, Oleg Sokolsky, Insup Lee
article
Axel Legay and Saddek Bensalem. RV – 4th International Conference on Runtime Verification – 2013, 2013, Rennes, France. Springer, 8174, pp.285-303, 2013
Accès au bibtex
BibTex

Other publications

titre
Abstract Acceleration of General Linear Loops
auteur
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan
article
Extended version of the POPL’14 paper. 2013
Accès au bibtex
https://arxiv.org/pdf/1311.0768 BibTex
titre
A Flexible Approach for Scheduling Parametric Data Flow Applications on Sthorm
auteur
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur
article
Poster at Workshop on Platform 2012 / STHORM embedded many-core acceleration, DATE 2013. 2013
Accès au bibtex
BibTex

Reports

titre
A General Trace-Based Framework of Logical Causality
auteur
Gregor Gössler, Daniel Le Métayer
article
[Research Report] RR-8378, INRIA. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00873665/file/RR-8378.pdf BibTex
titre
Unified Functional Safety Assessment of Industrial Automation Systems
auteur
Zeeshan Ejaz Bhatti, Roopak Sinha, Partha Roop
article
[Research Report] RR-8357, 2013
Accès au bibtex
BibTex
titre
BPDF: Boolean Parametric Data Flow
auteur
Vagelis Bebelis, Pascal Fradet, Alain Girault, Bruno Lavigueur
article
[Research Report] RR-8333, INRIA. 2013, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00846645/file/RR-8333.pdf BibTex
titre
Precise Modelling of Instruction Cache Behaviour
auteur
Sidharta Andalam, Roopak Sinha, Partha S. Roop, Alain Girault, Jan Reineke
article
[Research Report] RR-8214, INRIA. 2013, 62 p
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00781566/file/CacheAnalysisINRIAtechreport.pdf BibTex

Theses

titre
Verification of Weakly-Hard Requirements on Quasi-Synchronous Systems
auteur
Gideon Smeding
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00925626/file/thesis_1_.pdf BibTex
titre
SIAAM: Simple Isolation for an Abstract Actor Machine
auteur
Quentin Sabah
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00933072/file/thesis_sabah.pdf BibTex