Team s4

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2003
Project: s4

Bibliography

Major publications by the team in recent years

[1]
E. Badouel , P. Darondeau .
Theory of regions, in: Lectures on Petri Nets I: Basic Models, Lecture Notes in Computer Science, Springer, 1999, vol. 1491, p. 529-586.
[2]
A. Benveniste .
Some Synchronization Issues When Designing Embedded Systems from Components, in: Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, T. Henzinger, C. M. Kirsch (editors), Lecture Notes in Computer Science, Springer, October 2001, vol. 2211, p. 32-49.
[3]
A. Benveniste , B. Caillaud , P. Le Guernic.
Compositionality in dataflow synchronous languages: specification and distributed code generation, in: Information and Computation, 2000, vol. 163, p. 125-171.
[4]
A. Benveniste , C. Jard, S. Gaubert.
Algebraic techniques for timed systems, in: CONCUR'98, Concurrency Theory, 9th International Conference, Nice, France, D. Sangiorgi, R. de Simone (editors), Lecture Notes in Computer Science, Springer, September 1998, vol. 1466, p. 373-388.
[5]
B. Caillaud , P. Darondeau , L. Hélouët, G. Lesventes .
HMSCs as specifications... with PN as completions, in: Modeling and Verification of Parallel Processes, F. Cassez, C. Jard, B. Rozoy, M. Dermot (editors), Lecture Notes in Computer Science, Springer, 2001, vol. 2067, p. 125-152 http://link.springer.de/link/service/series/0558/bibs/2067/20670125.htm.
[6]
P. Darondeau .
On the Petri net realization of context-free graphs, in: Theoretical Computer Science, 2001, vol. 258, no 1-2, p. 573-598.
[7]
P. Le Maigat , L. Hélouët.
A (max,+) approach for time in message sequence charts, in: Proceedings of the 5th Workshop on Discrete Event Systems, Ghent, Belgium, R. Boel, G. Stremersch (editors), Kluwer Academic Publishers, 2000, p. 83-92.
[8]
H. Marchand, S. Pinchinat .
Supervisory Control Problem using Symbolic Bisimulation Techniques, in: 2000 American Control Conference, Chicago, Illinois, USA, June 2000, p. 4067-4071.

Year Publications

Books and Monographs

[9]
P. Darondeau , S. Kumagai (editors)
Proceedings of the ATPN-Workshop on Discrete Event Systems Control, BETA-RR, Tech. Univ. Eindhoven, Netherlands, June 2003.

Doctoral dissertations and Habilitation theses

[10]
S. Pinchinat .
Contributions à l'Analyse et au Contrôle des Systèmes Réactifs, Thèse d'habilitation à diriger les recherches, Université de Renne 1, école doctorale MATISSE, December 2003.
[11]
S. Riedweg .
Logiques pour le contrôle d'automatismes discrets, Thèse de doctorat, Université de Renne 1, école doctorale MATISSE, December 2003.

Articles in refereed journals and book chapters

[12]
A. Benveniste , P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone.
The Synchronous Languages Twelve Years Later, in: Proceedings of the IEEE, Special issue on modeling and design of embedded software, 2003, vol. 91, no 1, p. 64–83.
[13]
P. Darondeau , X. Xie.
Linear Control of Live Marked Graphs, in: Automatica, 2003, vol. 39, no 3, p. 429–440 http://dx.doi.org/10.1016/S0005-1098(02)00266-2.

Publications in Conferences and Workshops

[14]
M. A. Bednarczyk, L. Bernardinello, B. Caillaud , W. Pawlowski, L. Pomello.
Modular system development with pullbacks, in: Applications and Theory of Petri Nets 2003, Lecture Notes in Computer Science, Springer, June 2003, vol. 2679, p. 140–160 http://link.springer.de/link/service/series/0558/bibs/2679/26790140.htm.
[15]
A. Benveniste , L. Carloni, P. Caspi, A. Sangiovanni-Vincentelli.
Heterogeneous reactive systems modeling and correct-by-construction deployment, in: Embedded software, third international conference, EMSOFT'2003, R. Alur, I. Lee (editors), Lecture notes in computer science, Springer, October 2003, vol. 2855, p. 35–50.
[16]
G. Feuillade , T. Genet.
Reachability in conditional term rewriting systems, in: FTP 2003, International Workshop on First-Order Theorem Proving, Valencia, Spain, June 2003no.
[17]
D. Potop-Butucaru .
The Kahn Principle for Networks of Synchronous Endochronous Programs, in: Proceedings of the 1st International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (FMGALS 2003), Pisa, Italy, September 2003, p. 123–132 http://www.DumitruPotop.net/Doc/potopFMGALS2003.pdf.
[18]
D. Potop-Butucaru , R. de Simone.
Optimizations for Faster Execution of Esterel Programs, in: Proceedings of the 1st ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), Mont-Saint-Michel, France, June 2003, p. 227–236.
[19]
S. Riedweg , S. Pinchinat .
Quantified mu-calculus for control synthesis, in: MFCS 2003, 28th International Symposium on Mathematical Foundations of Computer Science, Lecture notes in computer science, Springer, August 2003, vol. 2747, p. 642–651.

Internal Reports

[20]
Artist.
Hard Real-Time Development Environments, Roadmap report, Artist, June 2003, no W1.A1.N1.Y1 http://www.systemes-critiques.org/ARTIST/Roadmaps/A1-roadmap.pdf.
[21]
E. Badouel , P. Darondeau .
The Petri net synthesis problem for automatic graphs, Research report, INRIA Rennes, December 2002, no 4661 http://www.inria.fr/rrrt/rr-4661.html.
[22]
M. A. Bednarczyk, L. Bernardinello, B. Caillaud , W. Pawlowski, L. Pomello.
Modular system development with pullbacks, Research report, INRIA Rennes, May 2003, no 4828 http://www.inria.fr/rrrt/rr-4828.html.
[23]
A. Borzyszkowski, P. Darondeau .
Transition Systems without Transitions, Manuscript, IPI PAN, October 2003, no 964 http://www.ipipan.gda.pl/~andrzej/papers/s2s-ipi.ps.gz.
[24]
P. Darondeau , H. Wimmel.
From bounded T-systems to 1-safe T-systems up to language equivalence, Research report, INRIA Rennes, January 2003, no 4708 http://www.inria.fr/rrrt/rr-4708.html.
[25]
G. Feuillade , T. Genet, V. Viet Triem Tong.
Reachability Analysis over Term Rewriting Systems, Research report, INRIA Rennes, October 2003, no 4970 http://www.inria.fr/rrrt/rr-4970.html.
[26]
S. Riedweg , S. Pinchinat .
Quantified Loop-mu-calculus for Control under Partial Observation, Research report, INRIA Rennes, September 2003, no 4949 http://www.inria.fr/rrrt/rr-4949.html.
[27]
S. Riedweg , S. Pinchinat .
Quantified Mu-calculus for Control Synthesis, Research report, INRIA Rennes, April 2003, no 4793 http://www.inria.fr/rrrt/rr-4793.html.

References in notes

[28]
CORBA components, Object Management Group, March 1999 http://www.omg.org/.
[29]
The common object request broker: architecture and specification, Object Management Group, March 1999 http://www.omg.org/.
[30]
N. Davies, K. Raymond, J. Seitz (editors)
Proceedings of Middleware'98, IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing, Springer, Lake District National Park, UK, September 1998.
[31]
ITU-TS Recommendation Z.120: Message Sequence Chart (MSC), International Telecommunication Union, Geneva, September 1993 http://www.itu.int/home/index.html.
[32]
K. Kimbler, W. Bouma (editors)
FIW'98 Feature Interactions in Telecommunications and Software Systems, V, IOS Press, Lund, Sweden, September 1998.
[33]
J. Sventek, G. Coulson (editors)
Middleware 2000 · IFIP/ACM International Conference on Distributed Systems Platforms and Open Distributed Processing, LNCS, Springer, New York, NY, USA, April 2000, vol. 1795.
[34]
OMG Unified Modeling Language, version 2.0, October 2003 http://www.omg.org/uml/, Draft specification.
[35]
ODP Reference model: foundations and architecture, International Telecommunication Union, November 1995 http://www.itu.int/home/index.html, ITU-T Recommendations X.902 and X.903, ISO/IEC 10746.
[36]
A. Arnold, A. Vincent, I. Walukiewicz.
Games for Synthesis of Controllers with Partial Observation, in: Theoretical Computer Science, June 2003, vol. 1, no 303, p. 7–34.
[37]
B. Caillaud , D. Potop-Butucaru , A. Benveniste .
Erratum to: A. Benveniste, B. Caillaud, P. Le Guernic. Compositionality in Dataflow Synchronous Languages, Specification and Distributed Code Generation. Information and Computation 163, 125-171 (2000), September 2003 http://www.irisa.fr/prive/Benoit.Caillaud/erratum-ic-2003.pdf.
[38]
N. Griffeth, Y.-J. Lin, M. Nilson, W. Schnure.
A Feature Interaction Benchmark for IN and Beyond, in: Feature Interactions in Telecommunications Systems, IOS press, 1994, p. 1–23.
[39]
H. Kopetz.
Real-Time Systems, Design Principles for Distributed Embedded Applications, Kluwer Academic Publishers, 1997.
[40]
A. Ledeczi, M. Maroti, A. Bakay, G. Karsai, J. Garrett, C. Thomason, G. Nordstrom, J. Sprinkle, P. Volgyesi.
The Generic Modeling Environment, in: Workshop on Intelligent Signal Processing, Budapest, May 2001 http://www.isis.vanderbilt.edu/Projects/gme/GME2000Overview.pdf.
[41]
P. Le Maigat .
Techniques algébriques max-plus pour l'analyse des performances temporelles de systèmes concurrents, thèse de doctorat, université de Rennes 1, école doctorale Matisse, septembre 2002 ftp://ftp.irisa.fr/techreports/theses/2002/lemaigat.pdf.

previous
next