A Translation from RSL to CSP. - Abigail Parisaca Vargas; Silvia Lizeth Tapia Tarifa; Chris George (SCCC, 2008)

Model Checking LTL Formulae in RAISE with FDR. - Abigail Parisaca Vargas; Ana Gabriela Garis; Silvia Lizeth Tapia Tarifa; Chris George (IFM, 2009)

Validating Timed Models of Deployment Components with Parametric Concurrency. - Einar Broch Johnsen; Olaf Owe; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FoVeOOS, 2010)

Dynamic Resource Reallocation between Deployment Components. - Einar Broch Johnsen; Olaf Owe; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (ICFEM, 2010)

Models of Rate Restricted Communication for Concurrent Objects. - Rudolf Schlatte; Einar Broch Johnsen; Fatemeh Kazemeyni; Silvia Lizeth Tapia Tarifa (TTSS, 2010)

A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FACS, 2011)

Simulating Concurrent Behaviors with Worst-Case Cost Bounds. - Elvira Albert; Samir Genaim; Miguel Gómez-Zamalloa; Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FM, 2011)

Modeling Application-Level Management of Virtualized Resources in ABS. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FMCO, 2011)

A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (FoVeOOS, 2011)

Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (ICFEM, 2012)

User-defined schedulers for real-time concurrent objects. - Joakim Bjørk; Frank S. de Boer; Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (Innov. Syst. Softw. Eng., 2013)

Deployment Variability in Delta-Oriented Models. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (ISoLA (1), 2014)

Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. - Elvira Albert; Frank S. de Boer; Reiner Hähnle; Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa; Peter Y. H. Wong (Serv. Oriented Comput. Appl., 2014)

Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. - Silvia Lizeth Tapia Tarifa (2014)

History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. - Crystal Chang Din; Silvia Lizeth Tapia Tarifa; Reiner Hähnle; Einar Broch Johnsen (ICFEM, 2015)

Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. - Stephan Brandauer; Elias Castegren; Dave Clarke 001; Kiko Fernandez-Reyes; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa; Tobias Wrigstad; Albert Mingkun Yang (SFM, 2015)

Integrating deployment architectures and resource consumption in timed object-oriented models. - Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (J. Log. Algebraic Methods Program., 2015)

Meeting Deadlines, Elastically. - Einar Broch Johnsen; Ka I Pun; Martin Steffen; Silvia Lizeth Tapia Tarifa; Ingrid Chieh Yu (From Action Systems to Distributed Systems, 2016)

An operational semantics of cache coherent multicore architectures. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (SAC, 2016)

A Maude Framework for Cache Coherent Multicore Architectures. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (WRLA, 2016)

Modeling Deployment Decisions for Elastic Services with ABS. - Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (iFMCloud@IFM, 2016)

A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (FACS, 2017)

A formal model of cloud-deployed software and its application to workflow processing. - Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (SoftCOM, 2017)

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (TABLEAUX, 2017)

Release the Beasts: When Formal Methods Meet Real World Data. - Rudolf Schlatte; Einar Broch Johnsen; Jacopo Mauro; Silvia Lizeth Tapia Tarifa; Ingrid Chieh Yu (It's All About Coordination, 2018)

Deployment by Construction for Multicore Architectures. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Christoph Seidl 001; Silvia Lizeth Tapia Tarifa (ISoLA (1), 2018)

Automatic Parameter Optimisation of Service Quality and Resource Usage. - Jacopo Mauro; Silvia Lizeth Tapia Tarifa; Ingrid Chieh Yu (NIK, 2018)

Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. - Nikolaos Bezirgiannis; Frank S. de Boer; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (FASE, 2019)

From SOS to Asynchronously Communicating Actors. - Frank S. de Boer; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (SEFM Workshops, 2019)

A formal model of data access for multicore architectures with multilevel caches. - Shiji Bijo; Einar Broch Johnsen; Ka I Pun; Silvia Lizeth Tapia Tarifa (Sci. Comput. Program., 2019)

Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. - Frank S. de Boer; Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa; Lars Tveito (Gabbrielli's Festschrift, 2020)

Designing Distributed Control with Hybrid Active Objects. - Eduard Kamburjan; Rudolf Schlatte; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (ISoLA (4), 2020)

A Formal Model of the Kubernetes Container Framework. - Gianluca Turin; Andrea Borgarelli; Simone Donetti; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa; Ferruccio Damiani (ISoLA (1), 2020)

SymPaths: Symbolic Execution Meets Partial Order Reduction. - Frank S. de Boer; Marcello M. Bonsangue; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa; Lars Tveito (20 Years of KeY, 2020)

Smart Journey Mining for Improved Service Quality. - Ragnhild Halvorsrud; Felix Mannhardt; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (SCC, 2021)

Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. - Rudolf Schlatte; Einar Broch Johnsen; Eduard Kamburjan; Silvia Lizeth Tapia Tarifa (COORDINATION, 2021)

Editorial. - Wolfgang Ahrendt; Silvia Lizeth Tapia Tarifa; Heike Wehrheim (Formal Aspects Comput., 2021)

Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. - Silvia Lizeth Tapia Tarifa (The Logic of Software. A Tasting Menu of Formal Methods, 2022)

Building User Journey Games from Multi-party Event Logs. - Paul Kobialka; Felix Mannhardt; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (ICPM Workshops, 2022)

A Policy Language to Capture Compliance of Data Protection Requirements. - Chinmayi Prabhu Baramashetru; Silvia Lizeth Tapia Tarifa; Olaf Owe; Nils Gruschka (IFM, 2022)

Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. - Eduard Kamburjan; Crystal Chang Din; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (ISoLA (1), 2022)

Digital Twin Reconfiguration Using Asset Models. - Eduard Kamburjan; Vidar Norstein Klungre; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa; David B. Cameron; Einar Broch Johnsen (ISoLA (4), 2022)

A Formal Model of Metacontrol in Maude. - Juliane Päßler; Esther Aguado; Gustavo Rezende Silva; Silvia Lizeth Tapia Tarifa; Carlos Hernández Corbato; Einar Broch Johnsen (ISoLA (1), 2022)

Weighted Games for User Journeys. - Paul Kobialka; Silvia Lizeth Tapia Tarifa; Gunnar Rye Bergersen; Einar Broch Johnsen (SEFM, 2022)

LAGC Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (CoRR, 2022)

The ABS simulator toolchain. - Rudolf Schlatte; Einar Broch Johnsen; Eduard Kamburjan; Silvia Lizeth Tapia Tarifa (Sci. Comput. Program., 2022)

Emerging Challenges in Compositionality and Correctness for Digital Twins. - Eduard Kamburjan; Vidar Norstein Klungre; Silvia Lizeth Tapia Tarifa; Rudolf Schlatte; Martin Giese; David B. Cameron; Einar Broch Johnsen (FMDT@FM, 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (iFM, 2023)

Assuring GDPR Conformance Through Language-Based Compliance. - Chinmayi Prabhu Baramashetru; Silvia Lizeth Tapia Tarifa; Olaf Owe (Privacy and Identity Management, 2023)

SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. - Gustavo Rezende Silva; Juliane Päßler; Jeroen Zwanepol; Elvin Alberts; Silvia Lizeth Tapia Tarifa; Ilias Gerostathopoulos; Einar Broch Johnsen; Carlos Hernández Corbato (SEAMS, 2023)

Proving Correctness of Parallel Implementations of Transition System Specifications. - Frank S. de Boer; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (CoRR, 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Predicting resource consumption of Kubernetes container systems using resource models. - Gianluca Turin; Andrea Borgarelli; Simone Donetti; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (J. Syst. Softw., 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Zenodo, 2023)

Integrating Data Privacy Compliance in Active Object Languages. - Chinmayi Prabhu Baramashetru; Silvia Lizeth Tapia Tarifa; Olaf Owe (Active Object Languages: Current Research Trends, 2024)

Simulating User Journeys with Active Objects. - Paul Kobialka; Rudolf Schlatte; Gunnar Rye Bergersen; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Active Object Languages: Current Research Trends, 2024)

Stochastic Games for User Journeys. - Paul Kobialka; Andrea Pferscher; Gunnar R. Bergersen; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (FM (2), 2024)

Declarative Lifecycle Management in Digital Twins. - Eduard Kamburjan; Nelly Bencomo; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (MoDELS (Companion), 2024)

Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. - Crystal Chang Din; Reiner Hähnle; Ludovic Henrio; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (ACM Trans. Program. Lang. Syst., 2024)

User journey games: automating user-centric analysis. - Paul Kobialka; Silvia Lizeth Tapia Tarifa; Gunnar R. Bergersen; Einar Broch Johnsen (Softw. Syst. Model., 2024)

Proving Correctness of Parallel Implementations of Transition System Models. - Frank S. de Boer; Einar Broch Johnsen; Violet Ka I Pun; Silvia Lizeth Tapia Tarifa (ACM Trans. Program. Lang. Syst., 2024)

A Configurable Software Model of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Clemens Dubslaff; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Analysing Self-Adaptive Systems as Software Product Lines (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Analysing Self-Adaptive Systems as Software Product Lines (Artifact). - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Zenodo, 2024)

Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out. - Frank S. de Boer; Einar Broch Johnsen; Rudolf Schlatte; Silvia Lizeth Tapia Tarifa (Rebeca for Actor Analysis in Action, 2025)

An LAGC Semantics for Timed Rebeca. - Reiner Hähnle; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Rebeca for Actor Analysis in Action, 2025)

Nudging Strategies for User Journeys: Take a Path on the Wild Side. - Einar Broch Johnsen; Paul Kobialka; Andrea Pferscher; Silvia Lizeth Tapia Tarifa (Real Time and Such, 2025)

Semantic Reflection and Digital Twins: A Comprehensive Overview. - Eduard Kamburjan; Andrea Pferscher; Rudolf Schlatte; Riccardo Sieve; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (The Combined Power of Research, Education, and Dissemination, 2025)

What-If Scenarios for the BedreFlyt Digital Twin. - Åsmund Aqissiaq Arild Kløvstad; Paul Kobialka; Riccardo Sieve; Andrea Pferscher; Laura Slaughter; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (Principles of Formal Quantitative Analysis, 2025)

Counterfactual Strategies for Markov Decision Processes. - Paul Kobialka; Lina Gerlach; Francesco Leofante; Erika Ábrahám; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen (IJCAI, 2025)

Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Clemens Dubslaff; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (SPLC (A), 2025)

Analysing Self-Adaptive Systems as Software Product Lines. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (SPLC (A), 2025)

ROSA: a knowledge-based solution for robot self-adaptation. - Gustavo Rezende Silva; Juliane Päßler; Silvia Lizeth Tapia Tarifa; Einar Broch Johnsen; Carlos Hernández Corbato (Frontiers Robotics AI, 2025)

A Type System for Data Privacy Compliance in Active Object Languages. - Chinmayi Prabhu Baramashetru; Paola Giannini; Silvia Lizeth Tapia Tarifa; Olaf Owe (Art Sci. Eng. Program., 2025)

A Configurable Software Model of a Self-Adaptive Robotic System. - Juliane Päßler; Maurice H. ter Beek; Ferruccio Damiani; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (Sci. Comput. Program., 2025)

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins. - Riccardo Sieve; Paul Kobialka; Laura Slaughter; Rudolf Schlatte; Einar Broch Johnsen; Silvia Lizeth Tapia Tarifa (ASQAP, 2025)

Introduction to the Special Collection from FACS 2022. - Silvia Lizeth Tapia Tarifa; José Proença; José N. Oliveira (Formal Aspects Comput., 2025)