Publications 2008

article

Denis Roegel. An introduction to nomography: Garrigues' nomogram for the computation of Easter 2009 Tugboat TeX Users Group http://hal.inria.fr/inria-00337215/en/
Denis Roegel. Simple macros for drawing Chinese and Japanese abaci 2009 Tugboat TeX Users Group http://hal.inria.fr/inria-00337213/en/
Denis Roegel. Kanji-Sudokus: Integrating Chinese and Graphics 2008 Tugboat 29 317-319 TeX Users Group http://hal.inria.fr/inria-00336088/en/
Denis Roegel. An Early (1844) Key-Driven Adding Machine 2008 IEEE Annals of the History of Computing 30 59-65 IEEE dx.doi.org/10.1109/{MAHC}.2008.1 http://hal.inria.fr/inria-00336086/en/

book

Fred Kröger, Stephan Merz. Temporal Logic and State Systems Texts in Theoretical Computer Science. An EATCS Series 2008 Texts in Theoretical Computer Science. An EATCS Series 436 Springer http://hal.inria.fr/inria-00274806/en/
Stephan Merz, Nicolas Navet. Modeling and Verification of Real-Time Systems - Formalisms and Software Tools 2008 Stephan Merz and Nicolas Navet 400 ISTE Publishing http://hal.inria.fr/inria-00187581/en/

incollection

Stephan Merz. The Specification Language TLA+ Logics of specification languages Monographs in Theoretical Computer Science 2008 Dines Bj\orner and Martin Henson Monographs in Theoretical Computer Science 401-452 Springer http://hal.inria.fr/inria-00338330/en/
Stephan Merz. An introduction to model checking Modeling and Verification of Real-Time Systems - Formalisms and Software Tools 2008 Stephan Merz and Nicolas Navet 81-116 ISTE Publishing http://hal.inria.fr/inria-00187577/en/

inproceedings

Nazim Benaissa. Modelling Attacker's Knowledge for Cascade Cryptographic Protocols First International Conference on Abstract State Machines, B and Z - ABZ 2008 Abstract State Machines, B and Z Lecture Notes in Computer Science 2008 Egon Börger and Michael Butler and Jonathan P. Bowen and Paul Boca 5238 Lecture Notes in Computer Science 251-264 Springer dx.doi.org/10.1007/978-3-540-87603-8_20 http://hal.inria.fr/inria-00336641/en/
Diego Caminha B. De Oliveira, David Déharbe, Pascal Fontaine. Combining decision procedures by (model-)equality propagation Brazilian Symposium on Formal Methods - SBMF 2008 2008 Machado, P. and Andrade, A. and Duran, A. http://hal.inria.fr/inria-00337979/en/
Loïc Fejoz, Stephan Merz. Towards automatic proofs of lock-free algorithms Exploiting Concurrency Efficiently and Correctly 2008 http://hal.inria.fr/inria-00285752/en/
Dominique Méry. Teaching programming methodology using Event B The B Method: from Research to Teaching 2008 Henri Habrias APCB http://hal.inria.fr/inria-00338373/en/
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz. A TLA+ Proof System Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA) 2008 http://hal.inria.fr/inria-00338299/en/
Dominique Méry. Teaching programming methodology using Event B The B method : from Research to Teaching The B method : from Research to Teaching 2008 C. Attiogbé and H. Habrias dx.doi.org/10.1000/{ISBN} 2-9512461-2-9 http://hal.inria.fr/inria-00287231/en/
Joris Rehm. A Duration Pattern for Event-B Method 2nd Junior Researcher Workshop on Real-Time Computing - JRWRTC 2008 10 2008 http://hal.archives-ouvertes.fr/hal-00336320/en/

techreport

Nazim Benaissa, Dominique Méry. Développement incrémental prouvé de systèmes répartis : le cas Mondex Research Report 2008 13 http://hal.inria.fr/inria-00336655/en/
Denis Roegel. An Extension of Al-Khalīlī's Qibla Table to the Entire World Research Report 2008 781 http://hal.inria.fr/inria-00336090/en/

unpublished

Joris Rehm. Proved Development of the Real-Time Properties of the IEEE 1394 Root Contention Protocol with the Event B Method 2008 http://hal.inria.fr/inria-00336624/en/
Joris Rehm. From Absolute-Timer to Relative-Countdown: Patterns for Model-Checking 2008 http://hal.archives-ouvertes.fr/hal-00319104/en/