default search action
Silvia Lizeth Tapia Tarifa
Person information
- affiliation: University Of Oslo, Norway
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
- [j11]Juliane Päßler
, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
A Configurable Software Model of a Self-Adaptive Robotic System. Sci. Comput. Program. 240: 103221 (2025) - [c44]Einar Broch Johnsen
Nudging Strategies for User Journeys: Take a Path on the Wild Side. Real Time and Such 2025: 42-63 - [c43]Eduard Kamburjan
Semantic Reflection and Digital Twins: A Comprehensive Overview. The Combined Power of Research, Education, and Dissemination 2025: 129-145 - 2024
- [j10]Paul Kobialka
User journey games: automating user-centric analysis. Softw. Syst. Model. 23(3): 605-624 (2024) - [j9]Crystal Chang Din
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46(1): 3:1-3:58 (2024) - [j8]Frank S. de Boer
Proving Correctness of Parallel Implementations of Transition System Models. ACM Trans. Program. Lang. Syst. 46(3): 9:1-9:50 (2024) - [c42]Paul Kobialka
Stochastic Games for User Journeys. FM (2) 2024: 167-186 - [c41]Eduard Kamburjan
Declarative Lifecycle Management in Digital Twins. MoDELS (Companion) 2024: 353-363 - [p4]Paul Kobialka
Simulating User Journeys with Active Objects. Active Object Languages: Current Research Trends 2024: 199-225 - [p3]Chinmayi Prabhu Baramashetru
Integrating Data Privacy Compliance in Active Object Languages. Active Object Languages: Current Research Trends 2024: 263-288 - 2023
- [j7]Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Predicting resource consumption of Kubernetes container systems using resource models. J. Syst. Softw. 203: 111750 (2023) - [c40]Eduard Kamburjan, Vidar Norstein Klungre, Silvia Lizeth Tapia Tarifa, Rudolf Schlatte, Martin Giese, David B. Cameron, Einar Broch Johnsen:
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM 2023 - [c39]Juliane Päßler
Formal Modelling and Analysis of a Self-Adaptive Robotic System. iFM 2023: 343-363 - [c38]Chinmayi Prabhu Baramashetru
Assuring GDPR Conformance Through Language-Based Compliance. Privacy and Identity Management 2023: 46-63 - [c37]Gustavo Rezende Silva, Juliane Päßler
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. SEAMS 2023: 181-187 - [e3]Erika Ábrahám
Theoretical Aspects of Computing - ICTAC 2023 - 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings. Lecture Notes in Computer Science 14446, Springer 2023, ISBN 978-3-031-47962-5 [contents] - [d3]Juliane Päßler
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.0.0. Zenodo, 2023 [all versions] - [d2]Juliane Päßler
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.1.0. Zenodo, 2023 [all versions] - [d1]Juliane Päßler
Formal Modelling and Analysis of a Self-Adaptive Robotic System (Artifact). Version 1.1.1. Zenodo, 2023 [all versions] - [i5]Frank S. de Boer, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Proving Correctness of Parallel Implementations of Transition System Specifications. CoRR abs/2302.04661 (2023) - [i4]Gustavo Rezende Silva, Juliane Päßler, Jeroen Zwanepol, Elvin Alberts, Silvia Lizeth Tapia Tarifa, Ilias Gerostathopoulos, Einar Broch Johnsen, Carlos Hernández Corbato:
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles. CoRR abs/2303.09220 (2023) - [i3]Gianluca Turin, Andrea Borgarelli, Simone Donetti, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models. CoRR abs/2305.07651 (2023) - [i2]Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Formal Modelling and Analysis of a Self-Adaptive Robotic System. CoRR abs/2308.14663 (2023) - 2022
- [j6]Rudolf Schlatte
The ABS simulator toolchain. Sci. Comput. Program. 223: 102861 (2022) - [c36]Silvia Lizeth Tapia Tarifa
Locally Abstract Globally Concrete Semantics of Time and Resource Aware Active Objects. The Logic of Software. A Tasting Menu of Formal Methods 2022: 481-499 - [c35]Paul Kobialka
Building User Journey Games from Multi-party Event Logs. ICPM Workshops 2022: 71-83 - [c34]Chinmayi Prabhu Baramashetru
A Policy Language to Capture Compliance of Data Protection Requirements. IFM 2022: 289-309 - [c33]Eduard Kamburjan
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) 2022: 71-88 - [c32]Eduard Kamburjan
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) 2022: 188-204 - [c31]Juliane Päßler
A Formal Model of Metacontrol in Maude. ISoLA (1) 2022: 575-596 - [c30]Paul Kobialka
Weighted Games for User Journeys. SEFM 2022: 253-270 - [e2]Silvia Lizeth Tapia Tarifa
Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings. Lecture Notes in Computer Science 13712, Springer 2022, ISBN 978-3-031-20871-3 [contents] - [i1]Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
LAGC Semantics of Concurrent Programming Languages. CoRR abs/2202.12195 (2022) - 2021
- [j5]Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa, Heike Wehrheim:
Editorial. Formal Aspects Comput. 33(6): 827 (2021) - [c29]Ragnhild Halvorsrud
Smart Journey Mining for Improved Service Quality. SCC 2021: 367-369 - [c28]Rudolf Schlatte
Modeling and Analyzing Resource-Sensitive Actors: A Tutorial Introduction. COORDINATION 2021: 3-19 - 2020
- [c27]Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Lars Tveito:
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages. Gabbrielli's Festschrift 2020: 10:1-10:18 - [c26]Eduard Kamburjan
Designing Distributed Control with Hybrid Active Objects. ISoLA (4) 2020: 88-108 - [c25]Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen
A Formal Model of the Kubernetes Container Framework. ISoLA (1) 2020: 558-577 - [p2]Frank S. de Boer, Marcello M. Bonsangue
SymPaths: Symbolic Execution Meets Partial Order Reduction. 20 Years of KeY 2020: 313-338
2010 – 2019
- 2019
- [j4]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
A formal model of data access for multicore architectures with multilevel caches. Sci. Comput. Program. 179: 24-53 (2019) - [c24]Nikolaos Bezirgiannis, Frank S. de Boer, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa
Implementing SOS with Active Objects: A Case Study of a Multicore Memory System. FASE 2019: 332-350 - [c23]Frank S. de Boer, Einar Broch Johnsen
From SOS to Asynchronously Communicating Actors. SEFM Workshops 2019: 269-275 - [e1]Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa:
Integrated Formal Methods - 15th International Conference, IFM 2019, Bergen, Norway, December 2-6, 2019, Proceedings. Lecture Notes in Computer Science 11918, Springer 2019, ISBN 978-3-030-34967-7 [contents] - 2018
- [c22]Rudolf Schlatte
Release the Beasts: When Formal Methods Meet Real World Data. It's All About Coordination 2018: 107-121 - [c21]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Christoph Seidl, Silvia Lizeth Tapia Tarifa:
Deployment by Construction for Multicore Architectures. ISoLA (1) 2018: 448-465 - [c20]Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Automatic Parameter Optimisation of Service Quality and Resource Usage. NIK 2018 - 2017
- [c19]Shiji Bijo, Einar Broch Johnsen
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS 2017: 58-77 - [c18]Einar Broch Johnsen
A formal model of cloud-deployed software and its application to workflow processing. SoftCOM 2017: 1-6 - [c17]Crystal Chang Din
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX 2017: 22-43 - 2016
- [c16]Shiji Bijo, Einar Broch Johnsen
An operational semantics of cache coherent multicore architectures. SAC 2016: 1219-1224 - [c15]Shiji Bijo, Einar Broch Johnsen
A Maude Framework for Cache Coherent Multicore Architectures. WRLA 2016: 47-63 - [c14]Einar Broch Johnsen
Modeling Deployment Decisions for Elastic Services with ABS. iFMCloud@IFM 2016: 16-26 - [p1]Einar Broch Johnsen, Ka I Pun, Martin Steffen, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
Meeting Deadlines, Elastically. From Action Systems to Distributed Systems 2016: 99-111 - 2015
- [j3]Einar Broch Johnsen
Integrating deployment architectures and resource consumption in timed object-oriented models. J. Log. Algebraic Methods Program. 84(1): 67-91 (2015) - [c13]Crystal Chang Din
History-Based Specification and Verification of Scalable Concurrent and Distributed Systems. ICFEM 2015: 217-233 - [c12]Stephan Brandauer, Elias Castegren, Dave Clarke, Kiko Fernandez-Reyes
Parallel Objects for Multicores: A Glimpse at the Parallel Language Encore. SFM 2015: 1-56 - 2014
- [b1]Silvia Lizeth Tapia Tarifa:
Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications. University of Oslo, Norway, 2014 - [j2]Elvira Albert, Frank S. de Boer, Reiner Hähnle
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS. Serv. Oriented Comput. Appl. 8(4): 323-339 (2014) - [c11]Einar Broch Johnsen, Rudolf Schlatte
Deployment Variability in Delta-Oriented Models. ISoLA (1) 2014: 304-319 - 2013
- [j1]Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen
User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9(1): 29-43 (2013) - 2012
- [c10]Einar Broch Johnsen
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. ICFEM 2012: 71-86 - 2011
- [c9]Einar Broch Johnsen
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS 2011: 187-204 - [c8]Elvira Albert, Samir Genaim
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM 2011: 353-368 - [c7]Einar Broch Johnsen, Rudolf Schlatte
Modeling Application-Level Management of Virtualized Resources in ABS. FMCO 2011: 89-108 - [c6]Einar Broch Johnsen
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS 2011: 196-213 - 2010
- [c5]Einar Broch Johnsen, Olaf Owe
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60 - [c4]Einar Broch Johnsen
Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661 - [c3]Rudolf Schlatte
Models of Rate Restricted Communication for Concurrent Objects. TTSS 2010: 67-81
2000 – 2009
- 2009
- [c2]Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George:
Model Checking LTL Formulae in RAISE with FDR. IFM 2009: 231-245 - 2008
- [c1]Abigail Parisaca Vargas, Silvia Lizeth Tapia Tarifa, Chris George:
A Translation from RSL to CSP. SCCC 2008: 119-126
Coauthor Index
[j11] [c44] [c43] [j10] [j9] [j8] [c42] [c41] [p4] [j7] [c40] [c39] [c37] [d3] [d2] [d1] [i5] [i4] [i3] [i2] [j6] [c35] [c33] [c32] [c31] [c30] [i1] [c29] [c28] [c27] [c26] [c25] [p2] [j4] [c24] [c23] [c22] [c21] [c19] [c18] [c17] [c16] [c15] [c14] [p1] [j3] [c13] [c12] [j2] [c11] [j1] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3]
Violet Ka I Pun
aka: Ka I Pun
aka: Ka I Pun
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-26 23:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: