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, É. 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]
I. Assayad, A. Girault, H. Kalla.
A Bi-Criteria Scheduling Heuristics for Distributed Embedded Systems Under Reliability and Real-Time Constraints, in: International Conference on Dependable Systems and Networks, DSN'04, Firenze, Italy, IEEE, June 2004, p. 347–356.
[4]
P. Caspi, A. Girault, D. Pilaud.
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors, in: IEEE Trans. on Software Engineering, May 1999, vol. 25, no 3, p. 416–427.
[5]
T. Colcombet, P. Fradet.
Enforcing trace properties by program transformation, in: Proc. of Principles of Programming Languages, Boston, ACM Press, January 2000, p. 54-66.
[6]
P. Fradet.
Approches langages pour la conception et la mise en œuvre de programmes, Habilitation thesis, Université de Rennes 1, November 2000.
[7]
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.
[8]
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.
[9]
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.

Publications of the year

Books and Monographs

[10]
H. Alla, R. Boel, E. Rutten (editors)
Modelling and Control of Reactive Systems, Special issue of the journal of Discrete Event Dynamic System, Volume 17, number 2, May 2007
http://springerlink.metapress.com/content/1573-7594/.

Articles in refereed journals and book chapters

[11]
J.-P. Banâtre, P. Fradet, Y. Radenac.
Programming Self-Organizing Systems with the Higher-Order Chemical Language, in: International Journal of Unconventional Computing, 2007, vol. 3, no 3, p. 161–177.
[12]
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.
[13]
R. Douence, P. Fradet.
The next 700 Krivine Machines, in: Higher-Order and Symbolic Computation, 2007, vol. 20, no 3.
[14]
O. Labbani, J.-L. Dekeyser, P. Boulet, E. Rutten.
18, in: Advances in Design and Specification Languages for Embedded Systems, ISBN: 978-1-4020-6147-9, Springer Verlag, September 2007.

Publications in Conferences and Workshops

[15]
C. Bryce, M. Dekker, S. Etalle, D. Le Métayer, F. Le Mouël, M. Minier, J. Moret-Bailly, S. Ubéda.
Ubiquitous privacy protection, in: 5th International Workshop on Privacy in UbiComp (UbiPriv'07), 2007.
[16]
C. Constant, B. Jeannet, T. Jéron.
Automatic Test Generation from Interprocedural Specifications, in: Testing of Communicating Systems and Formal Approaches to Testing of Software, TESTCOM/FATES'07, LNCS, July 2007, vol. 4581
http://pop-art.inrialpes.fr/people/bjeannet/publications/testcom07.ps.gz.
[17]
E. Dumitrescu, A. Girault, H. Marchand, E. Rutten.
Optimal discrete controller synthesis for modeling of fault-tolerant distributed systems, in: Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, DCDS'07, Paris - Cachan, France, June 13-15, 2007, 2007.
[18]
E. Dumitrescu, A. Girault, H. Marchand, E. Rutten.
Synthèse optimale de contrôleurs discrets pour des systèmes distribués tolérants aux fautes, in: Actes du 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'07 Lyon, France, 17-19 octobre 2007, 2007.
[19]
P. Fradet, S. Hong Tuan Ha.
Aspects of Availability, in: Proc. of the Sixth International Conference on Generative Programming and Component Engineering (GPCE'07), ACM, october 2007, p. 165–174.
[20]
G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis.
An Approach to Modelling and Verification of Component Based Systems, in: proc. SOFSEM'07, LNCS, Springer-Verlag, 2007, vol. 4362.
[21]
G. Goessler, S. Graf, M. Majster-Cederbaum, M. Martens, J. Sifakis.
Ensuring Properties of Interaction Systems by Construction, in: Program Analysis and Compilation, Theory and Practice, T. Reps, M. Sagiv, J. Bauer (editors), LNCS, 2007, vol. 4444, p. 201-224.
[22]
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.gz.
[23]
D. Le Métayer.
IT security analysis: best practices and formal approaches, in: proc. Foundations of Security Analysis and Design IV (FOSAD), LNCS, Springer, 2007, vol. 4677.
[24]
M. Tivoli, P. Fradet, A. Girault, G. Goessler.
Adaptor Synthesis for Real-Time Components, in: Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07), Lecture Notes in Computer Science, Springer, 2007, vol. 4424, p. 185-200.
[25]
H. Yu, A. Gamatié, E. Rutten.
Model Transformations from a Data Parallel Formalism towards Synchronous Languages, in: Proceedings of the Forum on specification and Design Languages, FDL'07, Barcelona, Spain September 18-20, 2007, 2007.

Internal Reports

[26]
C. Constant, B. Jeannet, T. Jéron.
Automatic Test Generation from Interprocedural Specifications, Technical report, IRISA, March 2007, no 1835
http://www.irisa.fr/vertecs/Publis/Ps/PI-1835.pdf.
[27]
E. Dumitrescu, A. Girault, H. Marchand, E. Rutten.
Optimal discrete controller synthesis for the modeling of fault-tolerant distributed systems, Research Report, INRIA, March 2007, no 6137
http://hal.inria.fr/inria-00134550.
[28]
A. Girault, H. Kalla.
Revisiting the Bicriteria (length,reliability) Multiprocessor Static Scheduling Problem, Research Report, INRIA , Grenoble, France, October 2007, no 6319
http://hal.inria.fr/inria-00177117/.
[29]
T. Le Gall, B. Jeannet.
Analysis of Communicating Infinite State Machines using Lattice Automata, Technical report, IRISA, March 2007, no 1839
http://www.irisa.fr/vertecs/Publis/Ps/PI-1839.pdf.
[30]
H. Yu, A. Gamatié, E. Rutten, J.-L. Dekeyser.
Model Transformations from a Data Parallel Formalism towards Synchronous Languages, Research Report, INRIA, September 2007, no 6291
http://hal.inria.fr/inria-00172302.

Miscellaneous

[31]
O. Labbani, E. Rutten, J.-L. Dekeyser.
Safe Design Methodology for an Intelligent Cruise Control System with GPS, 2007, vol. 8, no 4.

References in notes

[32]
A. Arnold.
Systèmes de transitions finis et sémantique des processus communicants, Masson, 1992.
[33]
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.
[34]
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.
[35]
J.-R. Beauvais, E. Rutten, T. Gautier, R. Houdebine, P. Le Guernic, Yan-Mei. 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.
[36]
J.-J. Borrelly, E. Coste Manière, B. Espiau, K. Kapellos, R. Pissard-Gibollet, D. Simon, N. Turro.
The Orccad Architecture, in: International Journal on Robotic Research, 1998, vol. 17, no 4, p. 338–359.
[37]
R. Bryant.
Graph-based algorithms for boolean function manipulation, in: IEEE Transactions on Computers, 1986, vol. C-35, no 8, p. 677–692.
[38]
P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis, P. Niebert.
From Simulink to Scade/Lustre to TTA: A Layered Approach for Distributed Embedded Applications, in: International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES'03, San Diego (CA), USA, ACM, June 2003, p. 153–162.
[39]
P. Caspi, M. Pouzet.
Synchronous Kahn networks, in: International Conference on Functional Programming, ICFP'96, Philadelphia (PA), USA, ACM, 1996, p. 226–238.
[40]
C. Cassandras, S. Lafortune.
Introduction to Discrete Event Systems, Kluwer, 1999.
[41]
CEI (Commission Électrotechnique Internationale).
Norme Internationale – Automates programmables : Langages de programmation, Technical report, CEI/IEC (International Electrotechnical Commission), 1993, no IEC 1131 partie 3.
[42]
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.
[43]
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.
[44]
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.
[45]
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.
[46]
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.
[47]
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.
[48]
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.
[49]
R. Douence, P. Fradet.
A Systematic Study of Functional Language Implementations, in: ACM Transactions on Programming Languages and Systems, 1998, vol. 20, no 2, p. 344–387.
[50]
P. Fradet, S. Hong Tuan Ha.
Network Fusion, in: proc. APLAS'04, LNCS, Springer-Verlag, 2004, vol. 3302, p. 21-40.
[51]
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.
[52]
A. Girault.
System-Level Design of Fault-Tolerant Embedded Systems, October 2006, vol. 67.
[53]
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.
[54]
L. Glass, S. Kauffman.
The logical analysis of continuous, non-linear biochemical control networks, in: Journal of Theoretical Biology, 1973, vol. 39, no 1, p. 103-129.
[55]
G. Goessler.
Compositional Reachability Analysis of Genetic Networks, in: CMSB'06, C. Priami (editor), LNBI, Springer, 2006, vol. 4210, p. 212-226.
[56]
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.
[57]
G. Goessler, J. Sifakis.
Composition for Component-based Modeling, in: Science of Computer Programming, 2005, vol. 55, no 1-3, p. 161-183.
[58]
D. Gopan, T. W. Reps.
Guided Static Analysis, in: Static Analysis Symposium, SAS'07, LNCS, August 2007, vol. 4634.
[59]
T. Grötker, S. Liao, G. Martin, S. Swan.
System Design with SystemC, Kluwer, 2002.
[60]
N. Halbwachs.
Synchronous Programming of Reactive Systems, Kluwer, 1993.
[61]
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.
[62]
D. Harel.
Statecharts: A Visual Formalism for Complex Systems, in: Science of Computer Programming, 1987, vol. 8, p. 231-274.
[63]
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.
[64]
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.
[65]
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.
[66]
T. Le Gall, B. Jeannet, T. Jéron.
Verification of Communication Protocols Using Abstract Interpretation of FIFO queues, in: Algebraic Methodology and Software Technology, AMAST'06, LNCS, July 2006, vol. 4019.
[67]
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.
[68]
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.
[69]
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.
[70]
A. Miné.
Symbolic Methods to Enhance the Precision of Numerical Abstract Domains, in: Verification, Model-Checking and Abstract Interpretation, VMCAI'06, LNCS, 2002, vol. 3855
http://www.di.ens.fr/~mine/publi/article-mine-VMCAI06.pdf.
[71]
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.
[72]
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.
[73]
P. J. Ramadge, W. M. Wonham.
The Control of Discrete Event Systems, in: Proceedings of the IEEE, 1989, vol. 77, no 1.
[74]
S. Shatz, J.-P. Wang.
Models and Algorithms for Reliability-Oriented Task-Allocation in Redundant Distributed-Computer Systems, in: IEEE Trans. on Reliability, April 1989, vol. 38, no 1, p. 16–26.
[75]
J.-P. Talpin, P. Jouvelot.
Polymorphic Type, Region and Effect Inference, in: Journal of Functional Programming, 1992, vol. 2, no 3.
[76]
R. Thomas.
Boolean Formalisation of Genetic Control Circuits, in: J. Theor. Biol., 1973, vol. 42, p. 565-583.
[77]
S. Tripakis, C. Sofronis, P. Caspi, A. Curic.
Translating Discrete-Time Simulink to Lustre, in: ACM Trans. on Embedded Computing Systems, November 2005, vol. 4, no 4, p. 779–818.

previous
next