S. Baarir, C. Braunstein, R. Clavel, E. Encrenaz, J.‑M. Ilié, R. Leveugle, I. Mounier, L. Pierre, D. Poitrenaud : “Complementary formal approaches for dependability analysis”, The 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, Chicago, Illinois, United States, pp. 331-339, (IEEE Computer Society) [Baarir 2009a]
G. Benattar, B. Bérard, D. Lime, J. Mullins, O. Roux, M. Sassolas : “Covert Channels with Transducers”, Proceedings of the LICS Workshop on Foundations of Computer Security (FCS'09), Los Angeles, California, United States [Benattar 2009]
B. Bérard, S. Haddad : “Interrupt Timed Automata”, Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), vol. 5504, Lecture Notes in Computer Science, York, United Kingdom, pp. 197-211, (Springer) [Bérard 2009b]
O. Bertrand, A. Calonne, Ch. Choppy, S. Hong, K. Klai, F. Kordon, Y. Okuji, E. Paviot‑Adet, L. Petrucci, J.‑P. Smets : “Verification of large-scale distributed database systems in the NEOPPOD project”, Workshop on Petri Nets and Software Engineering (PNSE'09, associated with Petri Nets 2009) - poster paper, Paris, France, pp. 315-316 [Bertrand 2009]
X. Blanc, A. Mougenot, I. Mounier, T. Mens : “Incremental Detection of Model Inconsistencies based on Model Operations”, 21st International Conference on Advanced Information Systems Engineering (CAiSE'09), vol. 5565, Lecture Notes in Computer Science, Amsterdam, Netherlands, pp. 32-46, (Springer) [Blanc 2009]
G. Ciardo, G. Mecham, E. Paviot‑Adet, M. Wan : “P-Semiflow Computation with Decision Diagrams”, Proceedings of the 30th International Conference on Applications and Theory of Petri Nets, vol. 5606, Lecture Notes in Computer Science, Paris, France, pp. 143-162, (Springer) [Ciardo 2009]
D. Dahmani, J.‑M. Ilié, M. Ioualalen : “Reachabilty Analysis For Recursive Petri Nets With Shared Places”, International Workshop on Abstractions for Petri nets Analysis and Other Models of Concurrency (APNOC'2009), in conjunction with the 30th Int. Conf. on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2009), Paris, France, pp. 65-79, (P13) [Dahmani 2009]
A. Duret‑Lutz, D. Poitrenaud, J.‑M. Couvreur : “On-the-fly Emptiness Check of Transition-Based Streett Automata”, 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, vol. 5799, Lecture Notes in Computer Science, Macao, China, pp. 213-227, (Springer) [Duret-Lutz 2009]
A. Moreau, J. Malenfant, M. Dao : “Data Flow Repair in Web Service Orchestration at Runtime”, The Fourth International Conference on Internet and Web Applications and Services, ICIW 2009, Venise, Italy, pp. 43-48, (IEEE) [Moreau 2009]
A. Mougenot, A. Darrasse, X. Blanc, M. Soria : “Uniform random generation of huge metamodel instances”, Fifth European Conference on Model-Driven Architecture Foundations and Applications (ECMDA-FA 2009), Enschede, Netherlands, pp. 130-145 [Mougenot 2009a]
A. Mougenot, X. Blanc, M.‑P. Gervais : “D-Praxis: A Peer-to-Peer Collaborative Model Editing Framework”, 9th IFIP international conference on Distributed Applications and Interoperable Systems (DAIS'09), vol. 5523, Lecture Notes in Computer Science, Lisbonne, Portugal, pp. 16-29, (Springer) [Mougenot 2009b]
C. Parra, X. Blanc, L. Duchien : “Context Awareness for Dynamic Service-Oriented Product Lines”, SPLC 2009 Proceedings of the 13th International Software Product Line Conference, vol. 1, San Francisco, United States, pp. 131-140 [Parra 2009]
Y. Thierry‑Mieg, D. Poitrenaud, A. Hamez, F. Kordon : “Hierarchical Set Decision Diagrams and Regular Models”, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol. 5505, Lecture Notes in Computer Science, York, United Kingdom, pp. 1-15, (Springer) [Thierry-Mieg 2009]
N. Trèves, L. Hillah, F. Kordon, L. Petrucci : “A primer on the Petri Net Markup Language and ISO/IEC 15909-2”, 10th International workshop on Practical Use of Colored Petri Nets and the CPN Tools (CPN'09), Aarhus, Denmark, pp. 19 [Trèves 2009]
T. Ziadi, X. Blanc, A. Raji : “From Requirements to Code Revisited”, 12th IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC'09), Tokyo, Japan, pp. 228-235 [Ziadi 2009]