Formal Methods && Tools Group

2019

  • M.H. ter Beek, A. Fantechi, and L. Semini (eds.), From Software Engineering to Formal Methods and Tools, and Back - Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. Lecture Notes in Computer Science 11865, Springer-Verlag, Berlin, 2019.
  • M.H. ter Beek, A. McIver, and J.N. Oliveira (eds.), Formal Methods - The Next 30 Years - Proceedings of the Third World Congress on Formal Methods (FM'19), Porto, Portugal, 7-11 October 2019. Lecture Notes in Computer Science 11800, Springer-Verlag, Berlin, 2019.
  • M.H. ter Beek and A. Legay (eds.), Special Issue on Quantitative Variability Modelling and Analysis. International Journal on Software Tools for Technology Transfer 21, 6 (2019).
  • S. Gnesi, N. Plat, N.A. Day, and M. Rossi (eds.), Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2019, Montreal, QC, Canada, May 27, 2019. IEEE / ACM 2019.
  • S. Gnesi, A. Cavalcanti, J.S. Fitzgerald, and C.L. Heitmeyer, Editorial. Formal Asp. Comput. 31, 2 (2019), 131-132.
  • J.-M. Jacquet and M. Massink, Preface to the special issue on Coordination Models and Languages (Coordination 2017). Sci. Comput. Program. 180 (2019), 16-17.
  • H. Hojjat and M. Massink (eds.), Fundamentals of Software Engineering - 8th International Conference, FSEN 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers. Lecture Notes in Computer Science 11761, Springer 2019.

2018

  • M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Special Issue on Formal Methods and Automated Verification of Critical Systems. International Journal on Software Tools for Technology Transfer 20, 4 (2018).
  • M.H. ter Beek, S. Gnesi, and A. Knapp (eds.), Special Issue on Formal Methods for Transport Systems. International Journal on Software Tools for Technology Transfer 20, 3 (2018).
  • M.H. ter Beek and M. Loreti (eds.), Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST). ACM Transactions on Modeling and Computer Simulation 28, 2 (2018).
  • S. Gnesi, N. Plat, P. Spoletini, and P. Pelliccione (eds.), Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. ACM 2018.

2017

2016

* Gnesi S., Nico P. 4th FME Workshop on Formal Methods in Software Engineering Procedings. pp. vii - vii. ACM, 2016.

2015

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

  • Fiadeiro J., Gnesi S., Maggiolo Schettini A., (eds.) .. Preface of SEFM 2010 . pp. viii ix. IEEE, 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.