NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems (2015 : Marktoberdorf, Germany)
Amsterdam, Netherlands : IOS Press, 2016.
NATO Advanced Study Institute on Engineering Methods and Tools for Software Safety and Security (2008 : Marktoberdorf, Germany)
Amsterdam, Netherlands ; Washington, DC : IOS Press, [2009]
International Conference on New Trends in Software Methodologies, Tools and Techniques (8th : 2009 : Prague, Czech Republic)
Amsterdam ; Washington, DC : IOS Press, [2009]
International Conference on New Trends in Software Methodologies, Tools and Techniques (11th : 2012 : Genoa, Italy)
Amsterdam ; Washington, D.C. : IOS Press, [2012]
International Conference on New Trends in Software Methodologies, Tools and Techniques (5th : 2006 : Quebec, Canada)
Amsterdam ; Washington, D.C. : IOS Press, [2006]
International Conference on New Trends in Software Methodologies, Tools and Techniques (4th : 2005 : Tokyo, Japan)
Amsterdam ; Washington, D.C. : IOS Press, [2005]
International Conference on New Trends in Software Methodologies, Tools and Techniques (7th : 2008 : Shāriqah, United Arab Emirates)
Amsterdam : IOS Press, 2008.
International Conference on New Trends in Software Methodologies, Tools and Techniques (6th : 2007 : Rome, Italy)
Amsterdam ; Washington, DC : IOS Press, [2007]
International Conference on New Trends in Software Methodologies, Tools and Techniques (10th : 2011 : Saint Petersburg, Russia)
Amsterdam ; Washington, D.C. : IOS Press, [2011]
NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification (2010 : Marktoberdorf, Germany)
Amsterdam : IOS Press, 2011.