Publications

(2020). Modeling and verification method for an early evaluation of Systems of Systems interactions. ACM Symposium on Applied Computing (SAC 2020), Brno, Czech Republic, 30/03/2020-03/04/2020.

PDF DOI

(2020). Modeling and verification method for an early evaluation of systems of systems interactions. SAC ‘20: The 35th ACM/SIGAPP Symposium on Applied Computing, online event, [Brno, Czech Republic], March 30 - April 3, 2020.

PDF DOI

(2019). Automated user-oriented description of emerging composite ambient applications. International Conference on Software Engineering and Knowledge Engineering (SEKE 2019), Lisbonne, 10/07/2019-12/07/2019.

PDF

(2019). Towards an Anatomy of Software Requirements. Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings.

PDF DOI

(2019). Reflections on Teaching Formal Methods for Software Development in Higher Education. Frontiers in Software Engineering Education - First International Workshop, FISEE 2019, Villebrumier, France, November 11-13, 2019, Invited Papers.

PDF DOI