Book Chapter
A parallelization framework for recursive tree programs
Paul Feautrier
Lecture Notes in Computer Science, 1998, Volume 1470, Euro-Par’98 Parallel Processing, Pages 470-479
Book Chapter
MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry
Tony Bloomfield
Lecture Notes in Computer Science, 2005, Volume 3748, Model Driven Architecture – Foundations and Applications, Pages 9-18
Book Chapter
On the relationship between the complexity, the degree, and the extension of a computable set
Wolfgang Maass and Theodore A. Slaman
Lecture Notes in Mathematics, 1990, Volume 1432, Recursion Theory Week, Pages 297-322
Book Chapter
PICGAL: Practical use of formal specification to develop a complex critical system
Lionel Devauchelle, Peter Gorm Larsen and Henrik Voss
Lecture Notes in Computer Science, 1997, Volume 1313, FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Pages 221-236
Book Chapter
Fuzzy spatial OQL for fuzzy knowledge discovery in databases
Nara Martini Bigolin and Christophe Marsala
Lecture Notes in Computer Science, 1998, Volume 1510, Principles of Data Mining and Knowledge Discovery, Pages 246-254
Book Chapter
EARL—A programmable and extensible toolkit for analyzing event traces of message passing programs
Felix Wolf and Bernd Mohr
Lecture Notes in Computer Science, 1999, Volume 1593, High-Performance Computing and Networking, Pages 503-512
Book Chapter
Translation validation for synchronous languages
A. Pnneli, O. Shtriehman and M. Siegel
Lecture Notes in Computer Science, 1998, Volume 1443, Automata, Languages and Programming, Pages 235-246
Book Chapter
Formal Verification of Avionics Software Products
Jean Souyris, Virginie Wiels, David Delmas and Hervé Delseny
Lecture Notes in Computer Science, 2009, Volume 5850, FM 2009: Formal Methods, Pages 532-546
Book Chapter
Translation validation
A. Pnueli, M. Siegel and E. Singerman
Lecture Notes in Computer Science, 1998, Volume 1384, Tools and Algorithms for the Construction and Analysis of Systems, Pages 151-166
Book Chapter
Balancing Insight and Effort: The Industrial Uptake of Formal Methods
John Fitzgerald and Peter Gorm Larsen
Lecture Notes in Computer Science, 2007, Volume 4700, Formal Methods and Hybrid Real-Time Systems, Pages 237-254