Copyright Notice: The preprints below are presented to ensure timely dissemination of research results. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In all cases, the preprints below may not be reposted without explicit permission of the copyright holder.
|
20: G. Fiorentino, P. Gallo, S. Rabellino, M. Bernardo, P. De Waal (editors), "MoodleMoot Italia 2022", [preface] Media Touch 2000, September 2022. |
|
19: A. Aldini, M. Bernardo (editors), "Special Issue of the Italian Conference on Theoretical Computer Science 2018", [preface] Theoretical Computer Science, volume 815, May 2020. |
|
18: A. Aldini, M. Bernardo (editors), "Italian Conference on Theoretical Computer Science (ICTCS 2018)", [preface] CEUR-WS, volume 2243, September 2018. |
|
17: M. Bernardo, R. De Nicola, J. Hillston (editors), "Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems (SFM 2016)", [preface] Springer, LNCS 9700, June 2016. |
|
16: M. Bernardo, D. Gebler, M. Loreti (editors), "Special Issue on Open Problems in Concurrency Theory", [preface] Journal of Logical and Algebraic Methods in Programming, volume 84, November 2015. |
|
15: M. Bernardo, E.B. Johnsen (editors), "Formal Methods for Multicore Programming (SFM 2015)", [preface] Springer, LNCS 9104, June 2015. |
|
14: M. Bernardo, F. Damiani, R. Hähnle, E.B. Johnsen, I. Schaefer (editors), "Formal Methods for Executable Software Models (SFM 2014)", [preface] Springer, LNCS 8483, June 2014. |
|
13: M. Bernardo, E. de Vink, A. Di Pierro, H. Wiklicky (editors), "Formal Methods for Dynamical Systems (SFM 2013)", [preface] Springer, LNCS 7938, June 2013. |
|
12: M. Bernardo, V. Cortellessa, A. Pierantonio (editors), "Formal Methods for Model-Driven Engineering (SFM 2012)", [preface] Springer, LNCS 7320, June 2012. |
|
11: M. Bernardo, V. Issarny (editors), "Formal Methods for Eternal Networked Software Systems (SFM 2011)", [preface] Springer, LNCS 6659, June 2011. |
|
10: A. Aldini, M. Bernardo, L. Bononi, V. Cortellessa (editors), "European Performance Engineering Workshop (EPEW 2010)", [preface] Springer, LNCS 6342, September 2010. |
|
9: A. Aldini, M. Bernardo, A. Di Pierro, H. Wiklicky (editors), "Formal Methods for Quantitative Aspects of Programming Languages (SFM 2010)", [preface] Springer, LNCS 6154, June 2010. |
|
8: M. Bernardo, L. Padovani, G. Zavattaro (editors), "Formal Methods for Web Services (SFM 2009)", [preface] Springer, LNCS 5569, June 2009. |
|
7: M. Bernardo, P. Degano, G. Zavattaro (editors), "Formal Methods for Computational Systems Biology (SFM 2008)", [preface] Springer, LNCS 5016, June 2008. |
|
6: M. Bernardo, J. Hillston (editors), "Formal Methods for Performance Evaluation (SFM 2007)", [preface] Springer, LNCS 4486, June 2007. |
|
5: M. Bernardo, A. Cimatti (editors), "Formal Methods for Hardware Verification (SFM 2006)", [preface] Springer, LNCS 3965, May 2006. |
|
4: M. Bernardo, C.A. Middelburg (editors), "Special Issue on Process Algebra and System Architecture", [preface] Journal of Logic and Algebraic Programming, volume 63, June 2005. |
|
3: M. Bernardo, A. Bogliolo (editors), "Formal Methods for Mobile Computing (SFM 2005)", [preface] Springer, LNCS 3465, April 2005. |
|
2: M. Bernardo, F. Corradini (editors), "Formal Methods for the Design of Real-Time Systems (SFM 2004)", [preface] Springer, LNCS 3185, September 2004. |
|
1: M. Bernardo, P. Inverardi (editors), "Formal Methods for Software Architectures (SFM 2003)", [preface] Springer, LNCS 2804, September 2003. |