Silvia Lizeth Tapia Tarifa

85 papers A* 1A 1B 8C 5Misc 2Journal 25Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	Formal Methods meet Digital Twins: Challenges and Opportunities. ESOP (1) Einar Broch Johnsen, Eduard Kamburjan, Andrea Pferscher, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	A Configurable Software Model of a Self-Adaptive Robotic System. Sci. Comput. Program. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	A Type System for Data Privacy Compliance in Active Object Languages. CoRR Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe
2025	J	`jnl`	A Type System for Data Privacy Compliance in Active Object Languages. Art Sci. Eng. Program. Chinmayi Prabhu Baramashetru, Paola Giannini, Silvia Lizeth Tapia Tarifa, Olaf Owe
2025	—	`conf`	An LAGC Semantics for Timed Rebeca. Rebeca for Actor Analysis in Action Reiner Hähnle, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Analysing Self-Adaptive Systems as Software Product Lines. SPLC (A) Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Analysing Self-Adaptive Systems as Software Product Lines. J. Syst. Softw. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins. ASQAP Riccardo Sieve, Paul Kobialka, Laura Slaughter, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	A*	`conf`	Counterfactual Strategies for Markov Decision Processes. IJCAI Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Counterfactual Strategies for Markov Decision Processes. CoRR Paul Kobialka, Lina Gerlach, Francesco Leofante, Erika Ábrahám, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	J	`jnl`	Decision boundaries in user journey event logs. Process Sci. Paul Kobialka, Einar Broch Johnsen, Felix Mannhardt, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. SPLC (A) Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Feature-Oriented Modelling and Analysis of a Self-Adaptive Robotic System. Formal Aspects Comput. Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Clemens Dubslaff, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2025	—	`conf`	Inside Every Multithreaded Program There Are Active Objects Struggling To Get Out. Rebeca for Actor Analysis in Action Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	Introduction to the Special Collection from FACS 2022. Formal Aspects Comput. Silvia Lizeth Tapia Tarifa, José Proença, José N. Oliveira
2025	—	`conf`	Nudging Strategies for User Journeys: Take a Path on the Wild Side. Real Time and Such Einar Broch Johnsen, Paul Kobialka, Andrea Pferscher, Silvia Lizeth Tapia Tarifa
2025	J	`jnl`	ROSA: A Knowledge-based Solution for Robot Self-Adaptation. CoRR Gustavo Rezende Silva, Juliane Päßler, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen, Carlos Hernández Corbato
2025	J	`jnl`	ROSA: a knowledge-based solution for robot self-adaptation. Frontiers Robotics AI Gustavo Rezende Silva, Juliane Päßler, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen, Carlos Hernández Corbato
2025	—	`conf`	Semantic Reflection and Digital Twins: A Comprehensive Overview. The Combined Power of Research, Education, and Dissemination Eduard Kamburjan, Andrea Pferscher, Rudolf Schlatte, Riccardo Sieve, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2025	—	`conf`	What-If Scenarios for the BedreFlyt Digital Twin. Principles of Formal Quantitative Analysis Åsmund Aqissiaq Arild Kløvstad, Paul Kobialka, Riccardo Sieve, Andrea Pferscher, Laura Slaughter, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2024	—	`conf`	Declarative Lifecycle Management in Digital Twins. MoDELS (Companion) Eduard Kamburjan, Nelly Bencomo, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2024	—	`ch.`	Integrating Data Privacy Compliance in Active Object Languages. Active Object Languages: Current Research Trends Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe
2024	J	`jnl`	Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2024	J	`jnl`	Proving Correctness of Parallel Implementations of Transition System Models. ACM Trans. Program. Lang. Syst. Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2024	—	`ch.`	Simulating User Journeys with Active Objects. Active Object Languages: Current Research Trends Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2024	—	`conf`	Stochastic Games for User Journeys. FM (2) Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2024	J	`jnl`	User journey games: automating user-centric analysis. Softw. Syst. Model. Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen
2023	—	`conf`	Assuring GDPR Conformance Through Language-Based Compliance. Privacy and Identity Management Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe
2023	—	`conf`	Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen
2023	B	`conf`	Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2023	J	`jnl`	Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2023	J	`jnl`	Predicting Resource Consumption of Kubernetes Container Systems using Resource Models. CoRR Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2023	J	`jnl`	Predicting resource consumption of Kubernetes container systems using resource models. J. Syst. Softw. Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2023	J	`jnl`	Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2023	A	`conf`	SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. SEAMS Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
2023	J	`jnl`	SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. CoRR Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato
2023	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings ICTAC Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
2022	—	`conf`	A Formal Model of Metacontrol in Maude. ISoLA (1) Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen
2022	B	`conf`	A Policy Language to Capture Compliance of Data Protection Requirements. IFM Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka
2022	—	`conf`	Building User Journey Games from Multi-party Event Logs. ICPM Workshops Paul Kobialka, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2022	—	`conf`	Digital Twin Reconfiguration Using Asset Models. ISoLA (4) Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David B. Cameron, Einar Broch Johnsen
2022	—	`ed.`	Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings FACS Silvia Lizeth Tapia Tarifa, José Proença
2022	J	`jnl`	LAGC Semantics of Concurrent Programming Languages. CoRR Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa
2022	—	`conf`	Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. The Logic of Software. A Tasting Menu of Formal Methods Silvia Lizeth Tapia Tarifa
2022	J	`jnl`	The ABS simulator toolchain. Sci. Comput. Program. Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2022	—	`conf`	Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen
2022	B	`conf`	Weighted Games for User Journeys. SEFM Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen
2021	J	`jnl`	Editorial. Formal Aspects Comput. Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim
2021	C	`conf`	Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa
2021	—	`conf`	Smart Journey Mining for Improved Service Quality. SCC Ragnhild Halvorsrud, Felix Mannhardt, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2020	—	`conf`	A Formal Model of the Kubernetes Container Framework. ISoLA (1) Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani
2020	—	`conf`	Designing Distributed Control with Hybrid Active Objects. ISoLA (4) Eduard Kamburjan, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa
2020	—	`conf`	Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito
2020	—	`ch.`	SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito
2019	J	`jnl`	A formal model of data access for multicore architectures with multilevel caches. Sci. Comput. Program. Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2019	—	`conf`	From SOS to Asynchronously Communicating Actors. SEFM Workshops Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2019	B	`conf`	Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2019	B	`ed.`	Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings IFM Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa
2018	—	`conf`	Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2018	—	`conf`	Deployment by Construction for Multicore Architectures. ISoLA (1) Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa
2018	—	`conf`	Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination Rudolf Schlatte, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2017	—	`conf`	A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2017	Misc	`conf`	A formal model of cloud-deployed software and its application to workflow processing. SoftCOM Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2017	B	`conf`	Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2016	—	`conf`	A Maude Framework for Cache Coherent Multicore Architectures. WRLA Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2016	Misc	`conf`	An operational semantics of cache coherent multicore architectures. SAC Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2016	—	`ch.`	Meeting Deadlines, Elastically. From Action Systems to Distributed Systems Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu
2016	—	`conf`	Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
2015	C	`conf`	History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM Crystal Chang Din, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen
2015	J	`jnl`	Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2015	—	`conf`	Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang
2014	—	`conf`	Deployment Variability in Delta-Oriented Models. ISoLA (1) Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2014	—	`—`	Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. Silvia Lizeth Tapia Tarifa
2014	J	`jnl`	Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. Elvira Albert, Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong
2013	J	`jnl`	User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2012	C	`conf`	Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. ICFEM Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	—	`conf`	Modeling Application-Level Management of Virtualized Resources in ABS. FMCO Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2011	B	`conf`	Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2010	C	`conf`	Dynamic Resource Reallocation between Deployment Components. ICFEM Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2010	—	`conf`	Models of Rate Restricted Communication for Concurrent Objects. TTSS Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa
2010	—	`conf`	Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa
2009	B	`conf`	Model Checking LTL Formulae in RAISE with FDR. IFM Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George
2008	—	`conf`	A Translation from RSL to CSP. SCCC Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George