Team Pop Art

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Bibliography

Major publications by the team in recent years

[1]
K. Altisen, A. Clodic, F. Maraninchi, E. Rutten.
Using Controller-Synthesis Techniques to Build Property-Enforcing Layers, in: Proceedings of the European Symposium on Programming, ESOP'03, Lecture Notes in Computer Science (LNCS), Springer Verlag, April 2003, no 2618, p. 174–188.
[2]
K. Altisen, G. Goessler, J. Sifakis.
Scheduler Modeling Based on the Controller Synthesis Paradigm, in: Journal of Real-Time Systems, special issue on "control-theoretical approaches to real-time computing", 7-9 2002, vol. 23, no 1/2, p. 55–84.
[3]
T. Ayav, P. Fradet, A. Girault.
Implementing fault-tolerance in real-time programs by automatic program transformations, in: ACM Transactions on Embedded Computing Systems (TECS), july 2008, vol. 7, no 4, p. 1-43.
[4]
G. Delaval, E. Rutten.
A domain-specific language for multi-task systems, applying discrete controller synthesisd, in: Journal on Embedded Systems (special issue on Synchronous Paradigm in Embedded Systems), January 2007, vol. 2007, no 84192, 17 p
http://www.hindawi.com/GetArticle.aspx?doi=10.1155/2007/84192.
[5]
P. Fradet.
Approches langages pour la conception et la mise en œuvre de programmes, Habilitation thesis, Université de Rennes 1, November 2000.
[6]
P. Fradet, S. Hong Tuan Ha.
Network Fusion, in: Proceedings of Asian Symposium on Programming Languages and Systems (APLAS'04), LNCS, Springer-Verlag, November 2004, vol. 3302, p. 21–40.
[7]
A. Girault, H. Kalla.
A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, in: TDSC, Research report INRIA 6319, 2009
http://hal.inria.fr/inria-00177117.
[8]
G. Goessler, J. Sifakis.
Composition for Component-based Modeling, in: Science of Computer Programming, 2005, vol. 55, no 1-3, p. 161-183.
[9]
T. Le Gall, B. Jeannet.
Lattice automata: a representation of languages over an infinite alphabet, and some applications to verification, in: Static Analysis Symposium, SAS'07, LNCS, August 2007, vol. 4634
http://pop-art.inrialpes.fr/people/bjeannet/publications/sas07.ps.

Publications of the year

Doctoral Dissertations and Habilitation Theses

[10]
G. Delaval.
Répartition Modulaire de Programmes Synchrones, Ph. D. Thesis, INPG, INRIA Grenoble Rhône-Alpes, projet Pop-Art, July 2008.

Articles in International Peer-Reviewed Journal

[11]
T. Ayav, P. Fradet, A. Girault.
Implementing fault-tolerance in real-time programs by automatic program transformations, in: ACM Transactions on Embedded Computing Systems (TECS), july 2008, vol. 7, no 4, p. 1-43.
[12]
A. Gamatié, E. Rutten, H. Yu, P. Boulet, J.-L. Dekeyser.
Synchronous Modeling and Analysis of Data Intensive Applications, in: Journal on Embedded Systems, September 2008, vol. 2008, no 561863, 22 p
http://www.hindawi.com/getarticle.aspx?doi=10.1155/2008/561863.
[13]
A. Girault, H. Kalla.
A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate, in: IEEE Trans. Dependable Secure Comput., Research report INRIA 6319., 2009
http://hal.inria.fr/inria-00177117.
[14]
A. Girault, E. Saule, D. Trystram.
Reliability Versus Performance for Critical Applications, in: J. of Parallel and Distributed Computing, 2009.
[15]
B. Jeannet, A. Loginov, T. Reps, M. Sagiv.
A relational approach to interprocedural shape analysis, in: ACM Trans. On Programming Languages and Systems (TOPLAS), 2009.

International Peer-Reviewed Conference/Proceedings

[16]
G. Delaval, A. Girault, M. Pouzet.
A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs, in: International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'08, Tucson (AZ), USA, ACM, New-York, June 2008, p. 101–110
ftp://ftp.inrialpes.fr/pub/bip/pub/girault/Publications/Lctes08/main.pdf.
[17]
S. Djoko Djoko, R. Douence, P. Fradet.
Aspects Preserving Properties, in: Proc. of the ACM SIGPLAN 2008 Symposium on Partial Evaluation and Program Manipulation (PEPM'08), ACM, january 2008, p. 135-145.
[18]
S. Djoko Djoko, R. Douence, P. Fradet.
Specialized Aspect Languages Preserving Classes of Properties, in: Proc. of the Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM'08), IEEE, november 2008, p. 227-236.
[19]
A. Gamatié, E. Rutten, H. Yu, P. Boulet, J.-L. Dekeyser.
Modeling and Formal Validation of High-Performance Embedded Systems, in: Proceedings of the 7th International Symposium on Parallel and Distributed Computing, ISPDC '08, Krakow, Poland July 1-5, 2008, 2008.
[20]
G. Goessler.
Compositional Strategy Mapping, in: Proc. FSEN'09, F. Arbab, M. Sirjani (editors), LNCS, Springer, 2009.
[21]
E. Rutten.
Reactive control of adaptive embedded systems – a position paper, in: 7th Workshop on Adaptive and Reflective Middleware (ARM'08), 2008.
[22]
H. Yu, A. Gamatié, E. Rutten, J.-L. Dekeyser.
Safe Design of High-Performance Embedded Systems in a MDE Framework, in: Proceedings of the First IEEE International workshop UML and Formal Methods, UML&FM'08, Special issue of the ISSE NASA journal Innovations in Systems and Software Engineering, 2008.

Workshops without Proceedings

[23]
G. Delaval.
Modular Distribution and Application to Discrete Controller Synthesis, in: International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P'08, Budapest, Hungary, ENTCS, March 2008.

Scientific Books (or Scientific Book chapters)

[24]
J.-P. Banâtre, P. Fradet, Y. Radenac.
Classical Coordination Mechanisms in the Chemical Model, in: From Semantics to Computer Science: Essays in Honor of Gilles Kahn, Cambridge University Press, 2008.
[25]
J.-P. Banâtre, P. Fradet, Y. Radenac.
The Chemical Reaction Model - Recent Developments and Prospects, in: Software-Intensive Systems and New Computing Paradigms, Lecture Notes in Computer Science, Springer, 2008, vol. 5380, p. 209-234.
[26]
H. Yu, A. Gamatié, E. Rutten, J.-L. Dekeyser.
13, in: Model Transformations from a Data Parallel Formalism towards Synchronous Languages, Lecture Notes Electrical Engineering Vol. 10, ISBN: 978-1-4020-8296-2, Springer Verlag, 2008.

Books or Proceedings Editing

[27]
A. Girault, E. Rutten (editors)
International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P'08, ENTCS, March 2008, vol. To appear.
[28]
F. Maraninchi, M. Mendler, M. Pouzet, A. Girault, E. Rutten (editors)
Model-driven High-level Programming of Embedded Systems. Selected papers from Sla++p'07 and Sla++p'08, Special issue of the Journal on Embedded Systems, 2008
http://www.hindawi.com.
[29]
E. Niel, E. Rutten, J. Muller (editors)
Interactions of discrete-event automation and computer sciences, Special issue of the Journal of Universal Computer Science, 2009
http://www.jucs.org/jucs.

Internal Reports

[30]
P. Fradet, S. Hong Tuan Ha.
Aspects of Availability - Enforcing timed properties to prevent denial of service, (submitted to journal publication), INRIA, december 2008, no 6754.
[31]
A. Gamatié, E. Rutten, H. Yu.
A Model for the Mixed-Design of Data-Intensive and Control-Oriented Embedded Systems, Rapport de Recherche, INRIA, July 2008, no 6589
http://hal.inria.fr/inria-00293909.
[32]
G. Goessler.
Component-based Modeling and Reachability Analysis of Genetic Networks, research report, INRIA, 2008, no RR-6755.
[33]
B. Jeannet.
Relational interprocedural analysis of concurrent programs, Technical report, INRIA, October 2008, no 6671.
[34]
E. Rutten.
Reactive control of adaptive embedded systems, Rapport de Recherche, INRIA, July 2008, no 6604
http://hal.inria.fr/inria-00308660.

Scientific Popularization

[35]
A. Girault, H. Kalla.
Bicriteria Multi-Processor Static Scheduling, October 2008
http://ercim-news.ercim.org, ERCIM News, 75:46–47.

References in notes

[36]
A. Arnold.
Systèmes de transitions finis et sémantique des processus communicants, Masson, 1992.
[37]
E. Asarin, O. Bournez, T. Dang, O. Maler, A. Pnueli.
Effective Synthesis of Switching Controllers of Linear Systems, in: Proceedings of the IEEE, 2000, vol. 88, p. 1011–1025.
[38]
R. Bagnara, E. Ricci, E. Zaffanella, P. M. Hill.
Possibly not Closed Convex Polyhedra and the Parma Polyhedra Library, in: Static Analysis Sympisum, SAS'02, LNCS, 2002, vol. 2477
http://www.cs.unipr.it/~bagnara/Papers/Abstracts/SAS02.
[39]
J.-R. Beauvais, E. Rutten, T. Gautier, R. Houdebine, P. Le Guernic, Y.-M. Tang.
Modelling Statecharts and Activity Charts as Signal Equations, in: ACM Transactions on Software Engineering and Methodology, October 2001, vol. 10, no 4, p. 397–451.
[40]
R. Bryant.
Graph-based algorithms for boolean function manipulation, in: IEEE Transactions on Computers, 1986, vol. C-35, no 8, p. 677–692.
[41]
P. Caspi, M. Pouzet.
Synchronous Kahn networks, in: International Conference on Functional Programming, ICFP'96, Philadelphia (PA), USA, ACM, 1996, p. 226–238.
[42]
C. Cassandras, S. Lafortune.
Introduction to Discrete Event Systems, Kluwer, 1999.
[43]
CEI (Commission Électrotechnique Internationale).
Norme Internationale – Automates programmables : Langages de programmation, Technical report, CEI/IEC (International Electrotechnical Commission), 1993, no IEC 1131 partie 3.
[44]
D. Chase, M. Wegman, F. Zadeck.
Analysis of Pointers and Structures, in: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM Press, 1990, p. 296–310
http://doi.acm.org/10.1145/93542.93585.
[45]
E. Clarke, E. Emerson, A. Sistla.
Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications, in: ACM Transactions on Programming Languages and Systems, 1986, vol. 8, no 2, p. 244-263.
[46]
D. Clarke, T. Jéron, V. Rusu, E. Zinovieva.
STG: a Symbolic Test Generation tool, in: (Tool paper) Tools and Algorithms for the Construction and Analysis of Systems (TACAS'02), LNCS, 2002, vol. 2280.
[47]
P. Cousot, R. Cousot.
Abstract Interpretation and Application to Logic Programs, in: Journal of Logic Programming, 1992, vol. 13, no 2–3, p. 103–179.
[48]
P. Cousot, N. Halbwachs.
Automatic discovery of linear restraints among variables of a program, in: 5th ACM Symposium on Principles of Programming Languages, POPL'78, Tucson (Arizona), January 1978.
[49]
P. D'Argenio, B. Jeannet, H. Jensen, K. Larsen.
Reduction and Refinement Strategies for Probabilistic Analysis, in: Process Algebra and Probabilistic Methods - Performance Modelling and Verification, PAPM-PROBMIV'02, Copenhagen (Denmark), LNCS, July 2002, vol. 2399.
[50]
H. de Jong, J.-L. Gouzé, C. Hernandez, M. Page, T. Sari, J. Geiselmann.
Qualitative Simulation of Genetic Regulatory Networks Using Piecewise-Linear Models, in: Bulletin of Mathematical Biology, 2004, vol. 66, p. 301-340.
[51]
E. Dumitrescu, A. Girault, H. Marchand, E. Rutten.
Optimal Discrete Controller Synthesis for Modeling Fault-Tolerant Distributed Systems, in: Workshop on Dependable Control of Discrete Systems, DCDS'07, Cachan, France, IFAC, New-York, June 2007, p. 23–28.
[52]
E. Dumitrescu, A. Girault, E. Rutten.
Validating Fault-Tolerant Behaviors of Synchronous System Specifications by Discrete Controller Synthesis, in: Workshop on Discrete Event Systems, WODES'04, Reims, France, IFAC, New-York, September 2004.
[53]
F. Gaucher, E. Jahier, B. Jeannet, F. Maraninchi.
Automatic State Reaching for Debugging Reactive Programs, in: 5th Int. Workshop on Automated and Algorithmic Debugging, AADEBUG'03, September 2003.
[54]
A. Girault.
System-Level Design of Fault-Tolerant Embedded Systems, October 2006, vol. 67.
[55]
A. Girault, H. Kalla, M. Sighireanu, Y. Sorel.
An Algorithm for Automatically Obtaining Distributed and Fault-Tolerant Static Schedules, in: International Conference on Dependable Systems and Networks, DSN'03, San-Francisco (CA), USA, IEEE, June 2003.
[56]
A. Girault, H. Kalla, Y. Sorel.
Transient Processor/Bus Fault Tolerance for Embedded Systems, in: IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, Braga, Portugal, Springer, October 2006, p. 135–144.
[57]
A. Girault, E. Rutten.
Discrete Controller Synthesis for Fault-Tolerant Distributed Systems, in: International Workshop on Formal Methods for Industrial Critical Systems, FMICS'04, Linz, Austria, ENTCS, Elsevier Science, New-York, September 2004, vol. 133, p. 81–100.
[58]
A. Girault, H. Yu.
A Flexible Method to Tolerate Value Sensor Failures, in: International Conference on Emerging Technologies and Factory Automation, ETFA'06, Prague, Czech Republic, IEEE, Los Alamitos, CA, September 2006, p. 86–93.
[59]
G. Goessler.
Compositional Reachability Analysis of Genetic Networks, in: CMSB'06, C. Priami (editor), LNBI, Springer, 2006, vol. 4210, p. 212-226.
[60]
G. Goessler, J. Sifakis.
Priority Systems, in: proc. FMCO'03, F. de Boer, M. Bonsangue, S. Graf, W.-P. de Roever (editors), LNCS, Springer-Verlag, 2004, vol. 3188, p. 314-329.
[61]
D. Gopan, T. Reps.
Guided Static Analysis, in: Static Analysis Symposium, SAS'07, LNCS, August 2007, vol. 4634
http://dx.doi.org/10.1007/978-3-540-74061-2_22.
[62]
T. Grötker, S. Liao, G. Martin, S. Swan.
System Design with SystemC, Kluwer, 2002.
[63]
N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud.
The Synchronous Data-Flow Programming Language Lustre, in: Proceedings of the IEEE, September 1991, vol. 79, no 9, p. 1305–1320.
[64]
N. Halbwachs.
Synchronous Programming of Reactive Systems, Kluwer, 1993.
[65]
N. Halbwachs.
Synchronous Programming of Reactive Systems – a Tutorial and Commented Bibliography, in: Proc. of the Int. Conf. on Computer-Aided Verification, CAV'98, Vancouver, Canada, LNCS Vol. 1427, Springer-Verlag, 1998.
[66]
D. Harel.
Statecharts: A Visual Formalism for Complex Systems, in: Science of Computer Programming, 1987, vol. 8, p. 231-274.
[67]
B. Jeannet, P. D'Argenio, K. Larsen.
RAPTURE: A tool for verifying Markov Decision Processes, in: Tools Day, International Conference on Concurrency Theory, CONCUR'02, Brno (Czech Republic), Technical Report, Faculty of Informatics at Masaryk University Brno, August 2002.
[68]
B. Jeannet.
Dynamic Partitioning In Linear Relation Analysis. Application To The Verification Of Reactive Systems, in: Formal Methods in System Design, July 2003, vol. 23, no 1, p. 5–37.
[69]
B. Jeannet, T. Jéron, V. Rusu, E. Zinovieva.
Symbolic Test Selection based on Approximate Analysis, in: 11th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05), Edinburgh (UK), LNCS, April 2005, vol. 3440.
[70]
B. Jeannet, A. Loginov, T. Reps, M. Sagiv.
A relational approach to interprocedural shape analysis, in: Static Analysis Symposium, SAS'04, LNCS, 2004, vol. 3148.
[71]
K. Keutzer, S. Malik, A. Newton, J. Rabaey, A. Sangiovanni-Vincentelli.
System Level Design: Orthogonalization of Concerns and Platform-Based Design, in: IEEE Trans. on Computer-Aided Design, 2000, vol. 19, no 12.
[72]
O. Maler, A. Pnueli, J. Sifakis.
On the Synthesis of Discrete Controllers for Timed Systems, in: Proc. of STACS'95, LNCS, Springer Verlag, 1995, vol. 900.
[73]
F. Maraninchi, Y. Rémond.
Mode-Automata: a new Domain-Specific Construct for the Development of Safe Critical Systems, in: Science of Computer Programming, March 2003, vol. 46, no 3, p. 219-254.
[74]
H. Marchand, P. Bournai, M. Le Borgne, P. Le Guernic.
Synthesis of Discrete-Event Controllers based on the Signal Environment, in: Discrete Event Dynamical System: Theory and Applications, October 2000, vol. 10, no 4, p. 325–346.
[75]
J.-P. Queille, J. Sifakis.
Specification and Verification of Concurrent Systems in CESAR, in: proc. International Symposium on Programming, LNCS, Springer-Verlag, 1982, vol. 137, p. 337-351.
[76]
P. J. Ramadge, W. M. Wonham.
Supervisory control of a class of discrete event processes, in: SIAM J. Control Optim., 1987, vol. 25, no 1, p. 206–230.
[77]
P. J. Ramadge, W. M. Wonham.
The Control of Discrete Event Systems, in: Proceedings of the IEEE, 1989, vol. 77, no 1.

previous
next