Bibliography

Major publications by the team in recent years

• 1S. Andalam, P. Roop, A. Girault, C. Traulsen.
  
  A Predictable Framework for Safety-Critical Embedded Systems, in: IEEE Trans. on Computers, July 2014, vol. 63, n^o 7, pp. 1600–1612.
• 2S. Djoko Djoko, R. Douence, P. Fradet.
  
  Aspects preserving properties, in: Science of Computer Programming, 2012, vol. 77, n^o 3, pp. 393-422.
• 3G. Frehse, A. Hamann, S. Quinton, M. Wöhrle.
  
  Formal Analysis of Timing Effects on Closed-loop Properties of Control Software, in: 35th IEEE Real-Time Systems Symposium 2014 (RTSS), Rome, Italy, December 2014.
  
  https://hal.inria.fr/hal-01097622
• 4A. Girard, G. Gössler, S. Mouelhi.
  
  Safety Controller Synthesis for Incrementally Stable Switched Systems Using Multiscale Symbolic Models, in: IEEE Transactions on Automatic Control, 2016, vol. 61, n^o 6, pp. 1537-1549. [ DOI : 10.1109/TAC.2015.2478131 ]
  
  https://hal.archives-ouvertes.fr/hal-01197426
• 5A. Girault, H. Kalla.
  
  A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, in: IEEE Trans. Dependable Secure Comput., December 2009, vol. 6, n^o 4, pp. 241–254, Research report Inria 6319.
  
  http://hal.inria.fr/inria-00177117
• 6G. Gössler, D. Le Métayer.
  
  A general framework for blaming in component-based systems, in: Science of Computer Programming, 2015, vol. 113, Part 3. [ DOI : 10.1016/j.scico.2015.06.010 ]
  
  https://hal.inria.fr/hal-01211484
• 7S. Lenglet, A. Schmitt, J.-B. Stefani.
  
  Characterizing Contextual Equivalence in Calculi with Passivation, in: Inf. Comput., 2011, vol. 209, n^o 11, pp. 1390–1433.
• 8S. Quinton, M. Hanke, R. Ernst.
  
  Formal analysis of sporadic overload in real-time systems, in: 2012 Design, Automation & Test in Europe Conference & Exhibition, DATE 2012, Dresden, Germany, March, 2012, 2012, pp. 515–520.
  
  http://dx.doi.org/10.1109/DATE.2012.6176523

Publications of the year

Articles in International Peer-Reviewed Journals

• 9L. Ahrendts, S. Quinton, R. Ernst.
  
  Exploiting Execution Dynamics in Timing Analysis Using Job Sequences, in: IEEE Design & Test of Computers, August 2017. [ DOI : 10.1109/MDAT.2017.2746638 ]
  
  https://hal.inria.fr/hal-01674751
• 10A. Bouakaz, P. Fradet, A. Girault.
  
  A Survey of Parametric Dataflow Models of Computation, in: ACM Transactions on Design Automation of Electronic Systems (TODAES), January 2017.
  
  https://hal.inria.fr/hal-01417126
• 11A. Bouakaz, P. Fradet, A. Girault.
  
  Symbolic Analyses of Dataflow Graphs, in: ACM Transactions on Design Automation of Electronic Systems (TODAES), January 2017.
  
  https://hal.inria.fr/hal-01417146

Invited Conferences

• 12P. Fradet, A. Girault, L. Jamshidian, X. Nicollin, A. Shafiei.
  
  Lossy channels in a dataflow model of computation, in: Principles of Modeling, Festschrift in Honor of Edward A. Lee, Berkeley, United States, Lecture Notes in Computer Science, Springer, October 2017.
  
  https://hal.inria.fr/hal-01666568
• 13L. Shan, S. Graf, S. Quinton, L. Fejoz.
  
  A Framework for Evaluating Schedulability Analysis Tools, in: Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Aalborg, Denmark, August 2017.
  
  https://hal.inria.fr/hal-01674731

International Conferences with Proceedings

• 14I. Assayad, A. Girault.
  
  Adaptive Mapping for Multiple Applications on Parallel Architectures, in: Third International Symposium on Ubiquitous Networking, UNET'17, Casablanca, Morocco, May 2017.
  
  https://hal.inria.fr/hal-01672463
• 15X. Guo, S. Quinton, P. Fradet, J.-F. Monin.
  
  Work In Progress: Toward a Coq-certified Tool for the Schedulability Analysis of Tasks with Offsets, in: RTSS 2017 - IEEE Real-Time Systems Symposium, Paris, France, IEEE, December 2017, pp. 1-3.
  
  https://hal.inria.fr/hal-01629288
• 16G. Gössler, O. Sokolsky, J.-B. Stefani.
  
  Counterfactual Causality from First Principles?, in: 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017), Uppsala, Sweden, 2017, vol. 259, pp. 47 - 53, https://arxiv.org/abs/1710.03393. [ DOI : 10.4204/EPTCS.259.5 ]
  
  https://hal.inria.fr/hal-01631415
• 17Z. A. H. Hammadeh, R. Ernst, S. Quinton, R. Henia, L. Rioux.
  
  Bounding Deadline Misses in Weakly-Hard Real-Time Systems with Task Dependencies, in: Design, Automation & Test in Europe Conference & Exhibition (DATE 2017), Lausanne, Switzerland, March 2017.
  
  https://hal.inria.fr/hal-01426632
• 18Z. A. H. Hammadeh, S. Quinton, M. Panunzio, R. Henia, L. Rioux, R. Ernst.
  
  Budgeting Under-Specified Tasks for Weakly-Hard Real-Time Systems, in: 29th Euromicro Conference on Real-Time Systems (ECRTS) 2017, Dubrovnik, Croatia, June 2017. [ DOI : 10.4230/LIPIcs.ECRTS.2017.17 ]
  
  https://hal.inria.fr/hal-01674742
• 19S. Quinton, L. Ahrendts, R. Ernst.
  
  Finite Ready Queues As a Mean for Overload Reduction in Weakly-Hard Real-Time Systems, in: Proceedings of the 25th International Conference on Real-Time Networks and Systems (RTNS) 2017, Grenoble, France, October 2017. [ DOI : 10.1145/3139258.3139259 ]
  
  https://hal.inria.fr/hal-01674737
• 20R. von Hanxleden, T. Bourke, A. Girault.
  
  Real-Time Ticks for Synchronous Programming, in: FDL 2017 - 12th Forum on Specification and Design Languages, Vérone, Italy, Electronic Chips & System Design Initiative (ECSI), September 2017.
  
  https://hal.inria.fr/hal-01575629

Internal Reports

• 21B. Gaujal, A. Girault, S. Plassart.
  
  Dynamic Speed Scaling Minimizing Expected Energy Consumption for Real-Time Tasks, UGA - Université Grenoble Alpes ; Inria Grenoble Rhône-Alpes ; Université de Grenoble, October 2017, n^o RR-9101, pp. 1-35.
  
  https://hal.inria.fr/hal-01615835

Other Publications

• 22R. Henia, L. Rioux, N. Sordon, Z. A. H. Hammadeh, R. Ernst, S. Quinton.
  
  Demo Abstract: Bounding Deadline Misses for Weakly-Hard Real-Time Systems Designed in CAPELLA, April 2017, 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) 2017, Poster.
  
  https://hal.inria.fr/hal-01674754

References in notes

• 23Automotive Open System Architecture, 2003.
  
  http://www.autosar.org
• 24G. Leavens, M. Sitaraman (editors)
  
  Foundations of Component-Based Systems, Cambridge University Press, 2000.
• 25Z. Liu, H. Jifeng (editors)
  
  Mathematical Frameworks for Component Software - Models for Analysis and Synthesis, World Scientific, 2006.
• 26A Library for formally proven schedulability analysis.
  
  http://prosa.mpi-sws.org/
• 27ARTEMIS Joint Undertaking.
  
  ARTEMIS Strategic Research Agenda, 2011.
• 28I. Assayad, A. Girault, H. Kalla.
  
  Tradeoff Exploration between Reliability, Power Consumption, and Execution Time for Embedded Systems, in: Int. J. Software Tools for Technology Transfer, June 2013, vol. 15, n^o 3, pp. 229–245.
• 29E. Bainomugisha, A. Carreton, T. Van Cutsem, S. Mostinckx, W. De Meuter.
  
  A Survey on Reactive Programming, in: ACM Computing Surveys, 2013, vol. 45, n^o 4.
• 30N. Bansal, T. Kimbrel, K. Pruhs.
  
  Speed Scaling to Manage Energy and Temperature, in: Journal of the ACM, 2007, vol. 54, n^o 1.
• 31A. Basu, S. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.-H. Nguyen, J. Sifakis.
  
  Rigorous Component-Based System Design Using the BIP Framework, in: IEEE Software, 2011, vol. 28, n^o 3.
• 32V. Bebelis, P. Fradet, A. Girault, B. Lavigueur.
  
  BPDF: A Statically Analyzable Dataflow Model with Integer and Boolean Parameters, in: International Conference on Embedded Software, EMSOFT'13, Montreal, Canada, ACM, September 2013.
• 33A. Benveniste, P. Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone.
  
  The synchronous languages 12 years later, in: Proceedings of the IEEE, 2003, vol. 91, n^o 1.
• 34A. Benveniste, J. Raclet, B. Caillaud, D. Nickovic, R. Passerone, A. Sangiovanni-Vicentelli, T. Henzinger, K. Larsen.
  
  Contracts for the Design of Embedded Systems Part I: Methodology and Use Cases, in: Proceedings of the IEEE, 2012.
• 35A. Benveniste, J. Raclet, B. Caillaud, D. Nickovic, R. Passerone, A. Sangiovanni-Vicentelli, T. Henzinger, K. Larsen.
  
  Contracts for the Design of Embedded Systems Part II: Theory, in: Proceedings of the IEEE, 2012.
• 36B. Bonakdarpour, S. S. Kulkarni, F. Abujarad.
  
  Symbolic synthesis of masking fault-tolerant distributed programs, in: Distributed Computing, 2012, vol. 25, n^o 1.
• 37S. Borkar.
  
  Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation, in: IEEE Micro, 2005, vol. 25, n^o 6.
• 38E. Bruneton, T. Coupaye, M. Leclercq, V. Quema, J.-B. Stefani.
  
  The Fractal Component Model and its Support in Java, in: Software - Practice and Experience, 2006, vol. 36, n^o 11-12.
• 39R. Bruni, H. C. Melgratti, U. Montanari.
  
  Theoretical foundations for compensations in flow composition languages, in: 32nd ACM Symposium on Principles of Programming Languages (POPL), ACM, 2005.
• 40T. Chothia, D. Duggan.
  
  Abstractions for fault-tolerant global computing, in: Theor. Comput. Sci., 2004, vol. 322, n^o 3.
• 41R. Davis, A. Burns.
  
  A Survey of Hard Real-Time Scheduling for Multiprocessor Systems, in: ACM Computing Surveys, 2011, vol. 43, n^o 4.
• 42V. De Florio, C. Blondia.
  
  A Survey of Linguistic Structures for Application-Level Fault-Tolerance, in: ACM Computing Surveys, 2008, vol. 40, n^o 2.
• 43J. Eker, J. W. Janneck, E. A. Lee, J. Liu, X. Liu, J. Ludvig, S. Neuendorffer, S. Sachs, Y. Xiong.
  
  Taming heterogeneity - the Ptolemy approach, in: Proceedings of the IEEE, 2003, vol. 91, n^o 1.
• 44J. Field, C. A. Varela.
  
  Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, in: 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, 2005.
• 45A. Girard, G. Pappas.
  
  Approximation metrics for discrete and continuous systems, in: IEEE Trans. on Automatic Control, 2007, vol. 52, n^o 5, pp. 782–798.
• 46A. Girault, H. Kalla.
  
  A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, in: IEEE Trans. Dependable Secure Comput., December 2009, vol. 6, n^o 4, pp. 241–254, Research report Inria 6319.
  
  http://www.computer.org/portal/web/csdl/doi/10.1109/TDSC.2008.50
• 47D. Gizopoulos, M. Psarakis, S. V. Adve, P. Ramachandran, S. K. S. Hari, D. Sorin, A. Meixner, A. Biswas, X. Vera.
  
  Architectures for Online Error Detection and Recovery in Multicore Processors, in: Design Automation and Test in Europe (DATE), 2011.
• 48C. Glymour, D. Danks, B. Glymour, F. Eberhardt, J. Ramsey, R. Scheines, P. Spirtes, C. M. Teng, J. Zhang.
  
  Actual causation: a stone soup essay, in: Synthese, 2010, vol. 175, n^o 2, pp. 169–192.
• 49F. C. Gärtner.
  
  Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments, in: ACM Computing Surveys, 1999, vol. 31, n^o 1.
• 50G. Gössler, J.-B. Stefani.
  
  Fault Ascription in Concurrent Systems, in: Proc. Trustworthy Global Computing - 10th International Symposium, TGC 2015, P. Ganty, M. Loreti (editors), LNCS, Springer, 2016, vol. 9533.
• 51S. Haar, E. Fabre.
  
  Diagnosis with Petri Net Unfoldings, in: Control of Discrete-Event Systems, Lecture Notes in Control and Information Sciences, Springer, 2013, vol. 433, chap. 15.
• 52Y. Haimes, L. Lasdon, D. Wismer.
  
  On a Bicriterion Formulation of the Problems of Integrated System Identification and System Optimization, in: IEEE Trans. Systems, Man, and Cybernetics, 1971, vol. 1, pp. 296–297.
• 53J. Y. Halpern.
  
  A Modification of the Halpern-Pearl Definition of Causality, in: Proc. Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Q. Yang, M. Wooldridge (editors), AAAI Press, 2015, pp. 3022–3033.
  
  http://ijcai.org/Abstract/15/427
• 54J. Halpern, J. Pearl.
  
  Causes and Explanations: A Structural-Model Approach. Part I: Causes, in: British Journal for the Philosophy of Science, 2005, vol. 56, n^o 4, pp. 843-887.
• 55D. Harmanci, V. Gramoli, P. Felber.
  
  Atomic Boxes: Coordinated Exception Handling with Transactional Memory, in: 25th European Conference on Object-Oriented Programming (ECOOP), Lecture Notes in Computer Science, 2011, vol. 6813.
• 56T. Henzinger, J. Sifakis.
  
  The Embedded Systems Design Challenge, in: Formal Methods 2006, Lecture Notes in Computer Science, Springer, 2006, vol. 4085.
• 57I. Hwang, S. Kim, Y. Kim, C. E. Seah.
  
  A Survey of Fault Detection, Isolation and Reconfiguration Methods, in: IEEE Trans. on Control Systems Technology, 2010, vol. 18, n^o 3.
• 58V. Izosimov, P. Pop, P. Eles, Z. Peng.
  
  Scheduling and Optimization of Fault-Tolerant Embedded Systems with Transparency/Performance Trade-Offs, in: ACM Trans. Embedded Comput. Syst., 2012, vol. 11, n^o 3, 61 p.
• 59C. M. Kirsch, A. Sokolova.
  
  The Logical Execution Time Paradigm, in: Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years), 2012, pp. 103–120.
• 60R. Küsters, T. Truderung, A. Vogt.
  
  Accountability: definition and relationship to verifiability, in: ACM Conference on Computer and Communications Security, 2010, pp. 526-535.
• 61I. Lanese, C. A. Mezzina, J.-B. Stefani.
  
  Reversing Higher-Order Pi, in: 21th International Conference on Concurrency Theory (CONCUR), Lecture Notes in Computer Science, Springer, 2010, vol. 6269.
• 62E. A. Lee, A. L. Sangiovanni-Vincentelli.
  
  Component-based design for the future, in: Design, Automation and Test in Europe, DATE 2011, IEEE, 2011.
• 63P. Menzies.
  
  Counterfactual Theories of Causation, in: Stanford Encyclopedia of Philosophy, E. Zalta (editor), Stanford University, 2009.
  
  http://plato.stanford.edu/entries/causation-counterfactual
• 64M. Moore.
  
  Causation and Responsibility, Oxford, 1999.
• 65J. Pearl.
  
  Causal inference in statistics: An overview, in: Statistics Surveys, 2009, vol. 3, pp. 96-146.
• 66P. Ramadge, W. Wonham.
  
  Supervisory Control of a Class of Discrete Event Processes, in: SIAM Journal on control and optimization, January 1987, vol. 25, n^o 1, pp. 206–230.
• 67G. Ramalingam, K. Vaswani.
  
  Fault tolerance via idempotence, in: 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), ACM, 2013.
• 68B. Randell.
  
  System Structure for Software Fault Tolerance, in: IEEE Trans. on Software Engineering, 1975, vol. 1, n^o 2.
• 69J. Rushby.
  
  Partitioning for Safety and Security: Requirements, Mechanisms, and Assurance, NASA Langley Research Center, 1999, n^o CR-1999-209347.
• 70J.-B. Stefani.
  
  Components as Location Graphs, in: 11th International Symposium on Formal Aspects of Component Software, Bertinoro, Italy, Lecture Notes in Computer Science, September 2014, vol. 8997.
  
  https://hal.inria.fr/hal-01094208
• 71P. Tabuada.
  
  Verification and Control of Hybrid Systems - A Symbolic Approach, Springer, 2009.
• 72K. Tindell.
  
  Using offset information to analyse static priority pre-emptively scheduled task sets, Technical report YCS 182, University of York, Department of Computer Science, 1992.
  
  https://books.google.fr/books?id=qARQHAAACAAJ
• 73D. Walker, L. W. Mackey, J. Ligatti, G. A. Reis, D. I. August.
  
  Static typing for a faulty lambda calculus, in: 11th ACM SIGPLAN International Conference on Functional Programming (ICFP), ACM, 2006.
• 74F. Yao, A. Demers, S. Shenker.
  
  A scheduling model for reduced CPU energy, in: Proceedings of lEEE Annual Foundations of Computer Science, 1995, pp. 374–382.