Modélisation des systèmes réactifs : MSR 2011CRAYE, Etienne; GAMATIE, Abdoulaye.Journal européen des systèmes automatisés. 2011, Vol 45, Num 1-3, issn 1269-6935, 267 p.Conference Proceedings

Evaluating coverage based testingGASTON, Christophe; SEIFERT, Dirk.Lecture notes in computer science. 2005, pp 293-322, issn 0302-9743, isbn 3-540-26278-4, 30 p.Conference Paper

Lectures on formal methods and performance analysis (Berg en Dal, 3-7 July 2000, revised papers)Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter et al.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-42479-2, VI, 429 p, isbn 3-540-42479-2Conference Proceedings

Run-time verificationCOLIN, Séverine; MARIANI, Leonardo.Lecture notes in computer science. 2005, pp 525-555, issn 0302-9743, isbn 3-540-26278-4, 31 p.Conference Paper

Partial lattice-valued possibilistic measures and some relations induced by themKRAMOSIL, Ivan.Lecture notes in computer science. 2003, pp 395-406, issn 0302-9743, isbn 3-540-40494-5, 12 p.Conference Paper

Modelling of Reactive SystemsJUANOLE, Guy; VALETTE, Robert; VERNADAT, François et al.Journal européen des systèmes automatisés. 2002, Vol 36, Num 7, issn 1269-6935, 158 p.Conference Proceedings

A translation of Statecharts to EsterelSEBIS, S. A; SHYAMASUNDAR, R. K; BHATTACHARJEE, A. K et al.Lecture notes in computer science. 1999, pp 983-1007, issn 0302-9743, isbn 3-540-66587-0, 2VolConference Paper

Case studiesPRENNINGER, Wolfgang; EL-RAMLY, Mohammad; HORSTMANN, Marc et al.Lecture notes in computer science. 2005, pp 439-461, issn 0302-9743, isbn 3-540-26278-4, 23 p.Conference Paper

TTCN-3DIN, George.Lecture notes in computer science. 2005, pp 465-496, issn 0302-9743, isbn 3-540-26278-4, 32 p.Conference Paper

Concurrent reactive plans (anticipating and forestalling execution failures)Beetz, Michael.Lecture notes in computer science. 2000, issn 0302-9743, isbn 3-540-67241-9, XVI, 213 p, isbn 3-540-67241-9Book

The non-standard semantics of EsterelGAGNE, J.-R; PLAICE, J.Lecture notes in computer science. 1997, pp 381-382, issn 0302-9743, isbn 3-540-63875-XConference Paper

Security of critical control systems sparks concernGEER, David.Computer (Long Beach, CA). 2006, Vol 39, Num 1, pp 20-23, issn 0018-9162, 4 p.Article

State verificationBJÖRKLUND, Henrik.Lecture notes in computer science. 2005, pp 69-86, issn 0302-9743, isbn 3-540-26278-4, 18 p.Conference Paper

Can behavioral requirements be executed? (and why would we want to do so?)HAREL, David.Lecture notes in computer science. 2002, pp 30-31, issn 0302-9743, isbn 3-540-44307-X, 2 p.Conference Paper

ViStaCASTELLO, Rodolfo; MILI, Rym; TOLLIS, Ioannis G et al.Lecture notes in computer science. 2002, pp 481-482, issn 0302-9743, isbn 3-540-43309-0Conference Paper

Event library: An object-oriented Library for event-driven designARSLAN, Volkan; NIENALTOWSKI, Piotr; ARNOUT, Karine et al.Lecture notes in computer science. 2003, pp 174-183, issn 0302-9743, isbn 3-540-40796-0, 10 p.Conference Paper

Formal methods for conformance testing : Theory can be practicalBRINKSMA, E.Lecture notes in computer science. 1999, pp 44-46, issn 0302-9743, isbn 3-540-66202-2Conference Paper

Event-based programming without inversion of controlHALLER, Philipp; ODERSKY, Martin.Lecture notes in computer science. 2006, pp 4-22, issn 0302-9743, isbn 3-540-40927-0, 1Vol, 19 p.Conference Paper

A declarative framework for security : Secure concurrent constraint programmingLOPEZ, Hugo A; PALANLIDESSI, Catuscia; PEREZ, Jorge A et al.Lecture notes in computer science. 2006, pp 449-450, issn 0302-9743, isbn 3-540-36635-0, 1Vol, 2 p.Conference Paper

Event-based coordination of process-oriented composite applicationsDUMAS, Marion; FJELLHEIM, Tore; MILLINER, Stephen et al.Lecture notes in computer science. 2005, pp 236-251, issn 0302-9743, isbn 3-540-28238-6, 16 p.Conference Paper

Real-time and hybrid systems testingBERKENKÖTTER, Kirsten; KIRNER, Raimund.Lecture notes in computer science. 2005, pp 355-387, issn 0302-9743, isbn 3-540-26278-4, 33 p.Conference Paper

State identificationKRICHEN, Moez.Lecture notes in computer science. 2005, pp 35-67, issn 0302-9743, isbn 3-540-26278-4, 33 p.Conference Paper

Test generation algorithms based on preorder relationsTSCHAEN, Valéry.Lecture notes in computer science. 2005, pp 151-171, issn 0302-9743, isbn 3-540-26278-4, 21 p.Conference Paper

Towards an event-driven architecture : An infrastructure for event processing position paperETZION, Opher.Lecture notes in computer science. 2005, pp 1-7, issn 0302-9743, isbn 3-540-29922-X, 1Vol, 7 p.Conference Paper

Modular verification of modular finite state machinesENDSLEY, E. W; TILBURY, D. M.IEEE Conference on Decision and Control. 2004, isbn 0-7803-8682-5, Vol 1, 972-979Conference Paper