2016

Advanced model-based engineering of embedded systems : extensions of the SPES 2020 methodology

Cham, Switzerland : Springer, 2016

 

2006

Automotive software : connected services in mobile networks : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004 : revised selected papers

Automotive Software Workshop (1st : 2004 : San Diego, Calif.)



 

2022

Design thinking for software engineering : creating human-oriented software-intensive products and services

Cham, Switzerland : Springer, [2022]

 

2013

Engineering dependable software systems

NATO Advanced Study Institute on Engineering Dependable Software Systems (2012 : Marktoberdorf, Germany)

Amsterdam : IOS Press, [2013]

 

2009

Engineering methods and tools for software safety and security

NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany)



 

2005

Engineering theories of software intensive systems

NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems (2004 : Marktoberdorf, Germany)



 

1993

Formal methods in programming and their applications : international conference, Academgorodok, Russia, June/July 1993 : proceedings

 

1996

Formal systems specification : the RPC-memory specification case study

 

1995

KORSO : methods, languages, and tools for the construction of correct software : final report

 

1991

Methods of programming : selected papers on the CIP-project