2025
Semantic Reflection and Digital Twins: A Comprehensive Overview.
Proceedings of the Combined Power of Research, Education, and Dissemination, 2025
2024
Simulating User Journeys with Active Objects.
Proceedings of the Active Object Languages: Current Research Trends, 2024
2023
Emerging Challenges in Compositionality and Correctness for Digital Twins.
Proceedings of the Workshop on Applications of Formal Methods and Digital Twins co-located with 25th International Symposium on Formal Methods (FM 2023), 2023
2022
The ABS simulator toolchain.
Sci. Comput. Program., 2022
Digital Twin Reconfiguration Using Asset Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022
A Note on Idleness Detection of Actor Systems.
Proceedings of the Logic of Software. A Tasting Menu of Formal Methods, 2022
Digital Twins for Autonomic Cloud Application Management.
Proceedings of the Advanced Information Networking and Applications, 2022
2021
Programming and Debugging with Semantically Lifted States.
Proceedings of the Semantic Web - 18th International Conference, 2021
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction.
Proceedings of the Coordination Models and Languages, 2021
2020
Software and Reversible Systems: A Survey of Recent Activities.
,
,
,
,
,
,
,
,
,
,
Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020
Designing Distributed Control with Hybrid Active Objects.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends, 2020
Global Reproducibility Through Local Control for Distributed Active Objects.
Proceedings of the Fundamental Approaches to Software Engineering, 2020
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.
Proceedings of the Recent Developments in the Design and Implementation of Programming Languages, 2020
2018
OptiqueVQS: A visual query system over ontologies for industry.
,
,
,
,
,
,
,
,
,
,
Semantic Web, 2018
Program Verification for Exception Handling on Active Objects Using Futures.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018
Release the Beasts: When Formal Methods Meet Real World Data.
Proceedings of the It's All About Coordination, 2018
2017
Querying industrial stream-temporal data: An ontology-based visual approach.
J. Ambient Intell. Smart Environ., 2017
EasyInterface: A Toolkit for Rapid Development of GUIs for Research Prototype Tools.
Proceedings of the Fundamental Approaches to Software Engineering, 2017
2016
A Visual Query System for Stream Data Access over Ontologies.
Proceedings of the Semantic Web - ESWC 2016 Satellite Events, Heraklion, Crete, Greece, May 29, 2016
Domain Experts Surfing on Stream Sensor Data over Ontologies.
Proceedings of the 1st Workshop on Semantic Web Technologies for Mobile and Pervasive Environments co-located with the 13th Extended Semantic Web Conference (ESWC 2016), 2016
2015
Integrating deployment architectures and resource consumption in timed object-oriented models.
J. Log. Algebraic Methods Program., 2015
2014
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
Serv. Oriented Comput. Appl., 2014
Fault Model Design Space for Cooperative Concurrency.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Deployment Variability in Delta-Oriented Models.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
Erlang-Style Error Recovery for Concurrent Objects with Cooperative Scheduling.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
2013
User-defined schedulers for real-time concurrent objects.
Innov. Syst. Softw. Eng., 2013
Optique: Towards OBDA Systems for Industry.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013
2012
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
Int. J. Softw. Tools Technol. Transf., 2012
Programming and deployment of active objects with application-level scheduling.
Proceedings of the ACM Symposium on Applied Computing, 2012
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS.
Proceedings of the Formal Methods and Software Engineering, 2012
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study.
Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012
2011
Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios.
Proceedings of the Formal Verification of Object-Oriented Software, 2011
Modeling Application-Level Management of Virtualized Resources in ABS.
Proceedings of the Formal Methods for Components and Objects, 10th International Symposium, 2011
Simulating Concurrent Behaviors with Worst-Case Cost Bounds.
Proceedings of the FM 2011: Formal Methods, 2011
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios.
Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011
2010
Models of Rate Restricted Communication for Concurrent Objects.
Proceedings of the 4th International Workshop on Harnessing Theories for Tool Support in Software, 2010
Lightweight Time Modeling in Timed Creol
Proceedings of the Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, 2010
Dynamic Resource Reallocation between Deployment Components.
Proceedings of the Formal Methods and Software Engineering, 2010
Validating Timed Models of Deployment Components with Parametric Concurrency.
Proceedings of the Formal Verification of Object-Oriented Software, 2010
ABS: A Core Language for Abstract Behavioral Specification.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
Variability Modelling in the ABS Language.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
2009
Model-checking user behaviour using interacting components.
Formal Aspects Comput., 2009
Resource Modeling for Timed Creol Models.
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009
Credo Methodology: Modeling and Analyzing A Peer-to-Peer System in Credo.
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
,
Proceedings of the 3rd International Workshop on Harnessing Theories for Tool Support in Software, 2009
Dynamic Symbolic Execution for Testing Distributed Objects.
Proceedings of the Tests and Proofs - 3rd International Conference, 2009
Dynamic Symbolic Execution of Distributed Concurrent Objects.
Proceedings of the Formal Techniques for Distributed Systems, 2009
2008
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol.
Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008
Testing Concurrent Objects with Application-Specific Schedulers.
Proceedings of the Theoretical Aspects of Computing, 2008
Conformance Testing of Distributed Concurrent Systems with Executable Designs.
Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008
2006
Enabling Multimedia Metadata Interoperability by Defining Formal Semantics of MPEG-7 Profiles.
Proceedings of the Semantic Multimedia, 2006