- Interactions of discrete-event automation and computer sciences. E. Niel, E. Rutten, J.M. Muller (eds.), Special section of the Journal of Universal Computer Science, 2009. download
- International Workshop on Model-driven High-level Programming of Embedded Systems, SLA++P'08. A. Girault, E. Rutten (eds.), ENTCS, Elsevier, Budapest, Hungary, March 2009.
- A. Girault, H. Kalla. A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate. IEEE Trans.\ Dependable Secure Comput, 2009. download
- A. Girault, E. Saule, D. Trystram. Reliability Versus Performance for Critical Applications. J.\ of Parallel and Distributed Computing, 2009.
- A. Girault, E. Saule, D. Trystram. Reliability Versus Performance for Critical Applications. J.\ of Parallel and Distributed Computing, 69(3):326-336, March 2009.
- A. Girault, H. Kalla. A Novel Bicriteria Scheduling Heuristics Providing a Guaranteed Global System Failure Rate. IEEE Trans.\ Dependable Secure Comput, 2009.
- X. Briand, B. Jeannet. Combining control and data abstraction in the verification of hybrid systems. In Formal Methods and Models for Codesign, MEMOCODE'2009, 2009.
- G. Gössler. Compositional Strategy Mapping. In Proc. FSEN'09, F. Arbab, M. Sirjani (eds.), LNCS, 2009.
- G. Gössler, J.-B. Raclet. Modal Contracts for Component-based Design. In Proc. SEFM'09 (accepted), 2009.
- B. Jeannet, A. Miné. APRON: A Library of Numerical Abstract Domains for Static Analysis. In Computer Aided Verification, CAV'2009, LNCS, Volume 5643, Pages 661-667, 2009.
- N. Bertrand, A. Legay, S. Pinchinat, J.-B. Raclet. A Compositional Approach on Modal Specifications for Timed Systems. In Proc. of the 11th International Conference on Formal Engineering Methods (ICFEM'09), 2009.
- J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, R. Passerone. Why are modalities good for Interface Theories?. In Proc. of the 9th International Conference on Application of Concurrency to System Design (ACSD'09), Pages 199-127, 2009.
- J.-B. Raclet, E. Badouel, A. Benveniste, B. Caillaud, A. Legay, R. Passerone. Modal Interfaces: Unifying Interface Automata and Modal Specifications. In Proc. of 9th International Conference on Embedded Software (EMSOFT'09), 2009.
- P. Roop, A. Girault, R. Sinha, G. Gössler. Specification Enforcing Refinement for Convertibility Verification. In Proc. ACSD'09, S. Edwards, R. Lorenz, W. Vogler (eds.), Pages 148-157, 2009.
- B. Jeannet. Relational interprocedural verification of concurrent programs. In Software Engineering and Formal Methods, SEFM'09, November 2009.
- 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, July 2009.
- M. Alras, P. Caspi, A. Girault, P. Raymond. Model-Based Design of Embeded Control Systems by means of a Synchronous Intermediate Model. In International Conference on Embedded Systems and Software, ICESS'09, Hangzhou, China, May 2009.
- N. Bertrand, S. Pinchinat, J.-B. Raclet. Refinement and Consistency of Timed Modal Specifications. In Proc. of the 3rd International Conference on Language and Automata Theory and Applications (LATA'09), LNCS, April 2009.
This material is presented to ensure timely dissemination of scholarly and
technical work. Copyright and all rights therein are retained by authors or
by other copyright holders. All persons copying this information are expected
to adhere to the terms and constraints invoked by each author's
copyright. These works may not be reposted without the explicit permission of
the copyright holder.