Silvia Lizeth Tapia Tarifa
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
31
Venues
16
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
31 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ESOP | Formal Methods meet Digital Twins: Challenges and Opportunities. | Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, Silvia Lizeth Tapia Tarifa |
| 2026 | SEAMS | A Self-Adaptive Digital Twin Architecture for Dynamic Resource Management. | Riccardo Sieve, Paul Kobialka, Andrea Pferscher, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Buster Salomon Rasmussen, Einar Broch Johnsen |
| 2025 | IJCAI | Counterfactual Strategies for Markov Decision Processes. | Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika brahm, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2025 | SPLC | Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2025 | SPLC | Analysing Self-Adaptive Systems as Software Product Lines. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2024 | FM | Stochastic Games for User Journeys. | Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2024 | MODELS | Declarative Lifecycle Management in Digital Twins. | Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2023 | FM | 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 |
| 2023 | IFM | Formal Modelling and Analysis of a Self-Adaptive Robotic System. | Juliane Pler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2023 | SEAMS | SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. | Gustavo Rezende Silva, Juliane Pler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernndez Corbato |
| 2022 | ICPM | Building User Journey Games from Multi-party Event Logs. | Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2022 | IFM | A Policy Language to Capture Compliance of Data Protection Requirements. | Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka |
| 2022 | ISoLA | Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. | Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen |
| 2022 | ISoLA | Digital Twin Reconfiguration Using Asset Models. | Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen |
| 2022 | ISoLA | A Formal Model of Metacontrol in Maude. | Juliane Pler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernndez Corbato, Einar Broch Johnsen |
| 2022 | SEFM | Weighted Games for User Journeys. | Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen |
| 2021 | Coordination | Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. | Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa |
| 2020 | ISoLA | Designing Distributed Control with Hybrid Active Objects. | Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa |
| 2020 | ISoLA | A Formal Model of the Kubernetes Container Framework. | Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani |
| 2019 | FASE | 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 |
| 2019 | SEFM | From SOS to Asynchronously Communicating Actors. | Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2018 | ISoLA | Deployment by Construction for Multicore Architectures. | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa |
| 2017 | SOFTCOM | A formal model of cloud-deployed software and its application to workflow processing. | Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2017 | TABLEAUX | Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. | Crystal Chang Din, Reiner Hhnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2016 | SAC | An operational semantics of cache coherent multicore architectures. | Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa |
| 2015 | ICFEM | History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. | Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hhnle, Einar Broch Johnsen |
| 2014 | ISoLA | Deployment Variability in Delta-Oriented Models. | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2012 | ICFEM | Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. | Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2011 | FM | Simulating Concurrent Behaviors with Worst-Case Cost Bounds. | Elvira Albert, Samir Genaim, Miguel Gmez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2010 | ICFEM | Dynamic Resource Reallocation between Deployment Components. | Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa |
| 2009 | IFM | Model Checking LTL Formulae in RAISE with FDR. | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |