Formal Methods && Tools Group

2014

2013

2012

  • Derrick J., Fitzgerald J., Gnesi S., Khurshid S., Leuschel M., Reeves S., Riccobene E., (eds.) .. iFM&ABZ 2012 . Springer, 2012.
  • Fiadeiro J., Gnesi S., Maibaum T. Editorial . vol. 24 (2) pp. 161 162. Springer, 2012.

2011

2010

2009

  • Cofer D., Fantechi A. Preface to FMICS 2008 . pp. V VI. Darren D. Cofer, Alessandro Fantechi (eds.). Springer, 2009.

2007

  • Ter Beek M. H., Gadducci F. Second international workshop on views on designing complex architectures . In: Electronic Notes in Theoretical Computer Science. Editorial, vol. 168 pp. 1 3. Second International Workshop on Views On Designing Complex Architectures. VODCA 2006 (Bertinoro, Italy, 16 17 September 2006). Proceedings. M.H. ter Beek, F. Gadducci (eds.). Elsevier, 2007.

2006

2005

2003

  • Garavel H., Gnesi S., Schieferdecker I. Preface . In: Science of Computer Programming. Editorial, vol. 46 pp. 145 146. Special issue on the Fifth International Workshop of the ERCIM Working Group on Formal Methods for Industrial Critical Systems (Berlin, April 3 4, 2000). Selected papers. Hubert Garavel, Stefania Gnesi, Ina Schieferdecker (eds.). Elsevier, 2003.
  • Gnesi S., Araki K., Mandrioli D. Editorial activity FME 2003 . In: Lecture Notes in Computer Science 2805. Editorial, vol. 2805 p. . FME 2003: Formal Methods. International Symposium of Formal Methods Europe (Pisa, Italy, September 8 14, 2003). Stefania Gnesi, Keijiro Araki, Dino Mandrioli (eds.). Springer, 2003.