Marcello M. Bersani

Pantelis A. Frangoudis

Schahram Dustdar

IEEE Trans. Serv. Comput., 2022

Event-sourced, observable software architectures: An experience report.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2022

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.

[BibT_eX]

[DOI]

Livia Lestingi

IEEE Intell. Syst., 2022

Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

Towards Trust-preserving Continuous Co-evolution of Digital Twins.

[BibT_eX]

[DOI]

Proceedings of the IEEE 19th International Conference on Software Architecture Companion, 2022

Engineering of Trust Analysis-Driven Digital Twins for a Medical Device.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

2021

A Deployment Framework for Formally Verified Human-Robot Interactions.

[BibT_eX]

[DOI]

IEEE Access, 2021

RoboMAX: Robotic Mission Adaptation eXemplars.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Improved Bounded Model Checking of Timed Automata.

[BibT_eX]

[DOI]

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

2020

Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2020

On the initialization of clocks in timed formalisms.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

PuRSUE -from specification of robotic environments to synthesis of controllers.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Using formal verification to evaluate the execution time of Spark applications.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2020

Statistical Model Checking of Human-Robot Interaction Scenarios.

[BibT_eX]

[DOI]

Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020

A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

Formal Verification of Human-Robot Interaction in Healthcare Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020

Mind the gap: Robotic Mission Planning Meets Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Verifying big data topologies by-design : a semi-automated approach.

[BibT_eX]

[DOI]

J. Big Data, 2019

Teaching Formal Methods: An Experience Report.

[BibT_eX]

[DOI]

Mehrnoosh Askarpour

Proceedings of the Frontiers in Software Engineering Education, 2019

2018

Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.

[BibT_eX]

[DOI]

Marisol García-Valls

J. Softw. Evol. Process., 2018

A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.

[BibT_eX]

[DOI]

CoRR, 2018

Trace Checking of Streaming Applications through DICE-TraCT.

[BibT_eX]

[DOI]

Francesco Marconi

Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

On the Timed Analysis of Big-Data Applications.

[BibT_eX]

[DOI]

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

DevOps Service Observability By-Design: Experimenting with Model-View-Controller.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2018

2017

A logical characterization of timed regular languages.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap.

[BibT_eX]

[DOI]

Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 2017

Formal verification of data-intensive applications through model checking modulo theories.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Formal verification of storm topologies through D-VerT.

[BibT_eX]

[DOI]

Francesco Marconi

Proceedings of the Symposium on Applied Computing, 2017

2016

A tool for deciding the satisfiability of continuous-time metric temporal logic.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Continuous Architecting of Stream-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

A tool for verification of big-data applications.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

Efficient large-scale trace checking using mapreduce.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2016

The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node.

[BibT_eX]

[DOI]

Marisol García-Valls

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

An SMT-based approach to satisfiability checking of MITL.

[BibT_eX]

[DOI]

Inf. Comput., 2015

2014

Constraint LTL satisfiability checking without automata.

[BibT_eX]

[DOI]

J. Appl. Log., 2014

An LTL Semantics of Business Workflows with Recovery.

[BibT_eX]

[DOI]

Luca Ferrucci

Manuel Mazzara

CoRR, 2014

A Logical Characterization of Timed (non-)Regular Languages.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

An LTL Semantics of BusinessWorkflows with Recovery.

[BibT_eX]

[DOI]

Luca Ferrucci

Manuel Mazzara

Proceedings of the ICSOFT-PT 2014, 2014

A Timed Semantics of Workflows.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies - 9th International Joint Conference, 2014

Towards the formalization of properties of cloud-based elastic systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014

SMT-Based Checking of SOLOIST over Sparse Traces.

[BibT_eX]

[DOI]

Marcello Maria Bersani

Proceedings of the Fundamental Approaches to Software Engineering, 2014

2013

Expressiveness and complexity of regular pure two-dimensional context-free languages.

[BibT_eX]

[DOI]

Achille Frigeri

Alessandra Cherubini

Int. J. Comput. Math., 2013

On the Satisfiability of Metric Temporal Logics over the Reals.

[BibT_eX]

[DOI]

Marcello Maria Bersani

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013

Deciding the Satisfiability of MITL Specifications.

[BibT_eX]

[DOI]

Marcello Maria Bersani

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Deciding Continuous-Time Metric Temporal Logic with Counting Modalities.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 7th International Workshop, 2013

2012

Bounded approaches for verification of infinite-state systems.

[BibT_eX]

[DOI]

PhD thesis, 2012

2011

Completeness of the Bounded Satisfiability Problem for Constraint LTL.

[BibT_eX]

[DOI]

Proceedings of the Reachability Problems - 5th International Workshop, 2011

On Some Classes of 2D Languages and Their Relations.

[BibT_eX]

[DOI]

Achille Frigeri

Alessandra Cherubini

Proceedings of the Combinatorial Image Analysis - 14th International Workshop, 2011

The Complexity of Reversal-Bounded Model-Checking.

[BibT_eX]

[DOI]