default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSilvia 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
2020 – today
- 2024
[j9]Paul Kobialka
, Silvia Lizeth Tapia Tarifa, Gunnar R. Bergersen, Einar Broch Johnsen:
User journey games: automating user-centric analysis. Softw. Syst. Model. 23(3): 605-624 (2024)- [j8]Crystal Chang Din, Reiner Hähnle, Ludovic Henrio, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa:
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. ACM Trans. Program. Lang. Syst. 46(1): 3:1-3:58 (2024) - [c41]Paul Kobialka, Andrea Pferscher, Gunnar R. Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Stochastic Games for User Journeys. FM (2) 2024: 167-186 - [p4]Paul Kobialka, Rudolf Schlatte, Gunnar Rye Bergersen, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Simulating User Journeys with Active Objects. Active Object Languages: Current Research Trends 2024: 199-225 - [p3]Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe:
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 Cameron, Einar Broch Johnsen:
Emerging Challenges in Compositionality and Correctness for Digital Twins. FMDT@FM 2023 - [c39]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. iFM 2023: 343-363 - [c38]Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe:
Assuring GDPR Conformance Through Language-Based Compliance. Privacy and Identity Management 2023: 46-63 - [c37]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. SEAMS 2023: 181-187 - [e3]Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa:
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] - [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, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa:
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, Felix Mannhardt, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Building User Journey Games from Multi-party Event Logs. ICPM Workshops 2022: 71-83 - [c34]Chinmayi Prabhu Baramashetru, Silvia Lizeth Tapia Tarifa, Olaf Owe, Nils Gruschka:
A Policy Language to Capture Compliance of Data Protection Requirements. IFM 2022: 289-309 - [c33]Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen:
Digital Twin Reconfiguration Using Asset Models. ISoLA (4) 2022: 71-88 - [c32]Eduard Kamburjan, Crystal Chang Din, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Einar Broch Johnsen:
Twinning-by-Construction: Ensuring Correctness for Self-adaptive Digital Twins. ISoLA (1) 2022: 188-204 - [c31]Juliane Päßler, Esther Aguado, Gustavo Rezende Silva, Silvia Lizeth Tapia Tarifa, Carlos Hernández Corbato, Einar Broch Johnsen:
A Formal Model of Metacontrol in Maude. ISoLA (1) 2022: 575-596 - [c30]Paul Kobialka, Silvia Lizeth Tapia Tarifa, Gunnar Rye Bergersen, Einar Broch Johnsen:
Weighted Games for User Journeys. SEFM 2022: 253-270 - [e2]Silvia Lizeth Tapia Tarifa, José Proença:
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, Felix Mannhardt, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Smart Journey Mining for Improved Service Quality. SCC 2021: 367-369 - [c28]Rudolf Schlatte, Einar Broch Johnsen, Eduard Kamburjan, Silvia Lizeth Tapia Tarifa:
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, Rudolf Schlatte, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
Designing Distributed Control with Hybrid Active Objects. ISoLA (4) 2020: 88-108 - [c25]Gianluca Turin, Andrea Borgarelli, Simone Donetti, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa, Ferruccio Damiani:
A Formal Model of the Kubernetes Container Framework. ISoLA (1) 2020: 558-577 - [p2]Frank S. de Boer, Marcello M. Bonsangue, Einar Broch Johnsen, Violet Ka I Pun, Silvia Lizeth Tapia Tarifa, Lars Tveito:
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, Ka I Pun, Silvia Lizeth Tapia Tarifa:
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, Einar Broch Johnsen, Jacopo Mauro, Silvia Lizeth Tapia Tarifa, Ingrid Chieh Yu:
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, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches. FACS 2017: 58-77 - [c18]Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A formal model of cloud-deployed software and its application to workflow processing. SoftCOM 2017: 1-6 - [c17]Crystal Chang Din, Reiner Hähnle, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages. TABLEAUX 2017: 22-43 - 2016
- [c16]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
An operational semantics of cache coherent multicore architectures. SAC 2016: 1219-1224 - [c15]Shiji Bijo, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
A Maude Framework for Cache Coherent Multicore Architectures. WRLA 2016: 47-63 - [c14]Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa:
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, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
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, Silvia Lizeth Tapia Tarifa, Reiner Hähnle, Einar Broch Johnsen:
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, Einar Broch Johnsen, Ka I Pun, Silvia Lizeth Tapia Tarifa, Tobias Wrigstad, Albert Mingkun Yang:
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, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, Peter Y. H. Wong:
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, Silvia Lizeth Tapia Tarifa:
Deployment Variability in Delta-Oriented Models. ISoLA (1) 2014: 304-319 - 2013
- [j1]Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
User-defined schedulers for real-time concurrent objects. Innov. Syst. Softw. Eng. 9(1): 29-43 (2013) - 2012
- [c10]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS. ICFEM 2012: 71-86 - 2011
- [c9]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios. FACS 2011: 187-204 - [c8]Elvira Albert, Samir Genaim, Miguel Gómez-Zamalloa, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Simulating Concurrent Behaviors with Worst-Case Cost Bounds. FM 2011: 353-368 - [c7]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Modeling Application-Level Management of Virtualized Resources in ABS. FMCO 2011: 89-108 - [c6]Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios. FoVeOOS 2011: 196-213 - 2010
- [c5]Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Validating Timed Models of Deployment Components with Parametric Concurrency. FoVeOOS 2010: 46-60 - [c4]Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa:
Dynamic Resource Reallocation between Deployment Components. ICFEM 2010: 646-661 - [c3]Rudolf Schlatte, Einar Broch Johnsen, Fatemeh Kazemeyni, Silvia Lizeth Tapia Tarifa:
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
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 2024-09-21 23:40 CEST 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:
