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/