[1] Jean-François Monin. Programmation. Encyclopædia Universalis, 2008. [ bib ]
[2] S. Boulmé and M-L. Potet. Relaxing restriction on invariant composition in the B method by ownership control à la Spec#. In J-R Abrial and U. Glasser, editors, Fetschrift in Honor of Egon Boerger, volume in press of LNCS. Springer, 2008. [ bib ]
[3] F. Dadeau, J. Lamboley, T. Moutet, and M-L Potet. A verifiable Conformance Relationship between Smart Card Applets and Security Models. In E. Borger, J. Bowen, and M. Butler, editors, ABZ 2008, LNCS. Springer, 2008. [ bib ]
[4] F. Dadeau, M-L Potet, and R. Tissot. A B Formal Framework for Security Developments in the Domain of Smart Card Applications. In SEC 2008: 23th International Information Security Conference, IFIP proceedings. Springer, 2008. [ bib ]
[5] K. El-Fakih, A. Kolomeez, S. Prokopenko, and N. Yevtushenko. Extended finite state machine based test derivation driven by user defined faults. In Proceedings of the International Conference on Software Testing, Verification, and Validation, pages 308-317. IEEE, April 2008. [ bib ]
[6] K. Suzuki, T. Higashino, K. Yasumoto, and K. El-Fakih. The 28th International Conference on Formal Techniques for Networked and Distributed Systems. Springer, 2008. [ bib ]
[7] K. El-Fakih and N. Yevtushenko. Progressive solutions to FSM equations. In Proceedings of the 13th International Conference on Implementation and Application of Automata, July 2008. [ bib ]
[8] Marius Bozga, Radu Iosif, and Swann Perarnau. Quantitative Separation Logic and Programs with Lists. In Proc. 4th International Joint Conference on Automated Reasoning (IJCAR 2008), 2008. [ bib ]
[9] A. Basu, P. Bidinger, M. Bozga, and J. Sifakis. Distributed Semantics and Implementation for Systems with Interaction and Priority. In Proceedings of FORTE'08, LNCS. Springer, June 2008. [ bib ]
[10] Susanne Graf. Omega - Correct development of Real Time Embedded Systems. SoSyM, int. Journal on Software & Systems Modelling, 7(2), 2008. [ bib ]
[11] Olivier Constant, Wei Monin, and Susanne Graf. A Model Transformation Tool for Performance Simulation of Complex UML Models. In ICSE 2008, tool track, LNCS, 2008. [ bib | www: ]
[12] S. Bensalem, M. Krichen, and S. Tripakis. Generating Analog-Clock Real-Time Testers Using Action Refinement Techniques. In International Conference on Relations, Orders and Graphs: Interaction with Computer Science (ROGICS 2008), Mahdia, Tunisia, 2008. [ bib ]
[13] S. Bensalem, M. Krichen, and S. Tripakis. State Identification Problems for Input/Output Transition Systems. In 9th International Workshop on Discrete Event Systems (WODES 2008), Goteborg, Sweden, 2008. [ bib ]
[14] S. Bensalem, M. Bozga, M. Gallien, F. Ingrand, M. Krichen, and S. Tripakis. Automatic Generation of Observers for the Dala Robot with TTG. In 1st Mediterranean Conference on Intelligent Systems and Automation (CISA 2008), Annaba, Algeria, 2008. [ bib ]
[15] S. Bensalem, F. Ingrand, and J. Sifakis. Autonomous Robot Software Design Challenge. In 2008 International Advanced Robotics Program (IARP). International Workshop on Technical Challenges for Dependable Robots in Human Environnements, May 16-17, Pasadena, USA, 2008. [ bib ]
[16] S. Bensalem, M. Bozga, H. Nguyen, and Joseph Sifakis. Compositional Deadlock Detection and Verification for Component-based Systems. In 2nd International Workshop on Verification and Evaluation of Computer and Communication Systems, July 2-3, Leeds, UK, 2008. [ bib ]
[17] Manuel Garnacho and Michaël Périn. Convincing proofs for program certification. In International Workshop on Certification of Safety-Critical Software Controlled Systems, 2008. (SafeCert'08). [ bib ]
[18] Simon Bliudze and Joseph Sifakis. The Algebra of Connectors - Structuring Interaction in BIP. IEEE Transactions on Computers - Special Issue on Programming Models and Architectures for Embedded Systems, 2008. (To appear). [ bib ]
[19] Hugo Venturini, Frédéric Riss, Jean-Claude Fernandez, and Miguel Santana. A Fully-Non-Transparent Proposal to the Code Location Problem. In Proceedings of SCOPES '08: The 11th International Workshop on Software and Compilers for Embedded Systems. ACM Press New York, NY, USA, march 2008. [ bib ]
[20] Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, and Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Model-Based Testing (MBT), 2008. [ bib ]
[21] Adriana Compagnoni, Elsa L. Gunter, and Philippe Bidinger. Role-Based Access Control for Boxed Ambients. In Theoretical Computer Science. Festschrift in Honor of Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca, Lecture Notes in Computer Science, 2008. To appear. [ bib ]

This file has been generated by bibtex2html 1.85.