Silvia Lizeth Tapia Tarifa
机构: Associate Professor, Department of Informatics - University Of Oslo
主页: uio.no
每年引用次数
引用次数
引用: 686
H-指数: 14
I10-指数 : 18
出版物: 83
Executable Modeling of Deployment Decisions for Resource-Aware Distributed Applications
Silvia Lizeth , Tapia Tarifa
2014
The NoC Verification Case Study with KeY-ABS
Einar Broch Johnsen , Crystal Chang Din , Reiner Hähnle , Lizeth Tapia Tarifa
1
2015
Release the Beasts: When Formal Methods Meet Real World Data
Rudolf Schlatte , Einar Broch Johnsen , Jacopo Mauro , S. Lizeth Tapia Tarifa
It's All About Coordination 107 -121
6
2018
The Cooperative Cleaners Case Study: Modelling and Analysis in Real-Time ABS
Silvia Lizeth Tapia Tarifa
2013
Meeting Deadlines, Elastically.
Einar Broch Johnsen , Ingrid Chieh Yu , Martin Steffen , Ka I Pun
From Action Systems to Distributed Systems 99 -111
2
2016
A Maude Framework for Cache Coherent Multicore Architectures
Shiji Bijo , Einar Broch Johnsen , Ka I Pun , Silvia Lizeth Tapia Tarifa
workshop on rewriting logic and its applications 47 -63
7
2016
A Formal Model of the Kubernetes Container Framework.
Gianluca Turin , Andrea Borgarelli , Simone Donetti , Einar Broch Johnsen
leveraging applications of formal methods 558 -577
1
2020
Dynamic resource reallocation between deployment components
Einar Broch Johnsen , Olaf Owe , Rudolf Schlatte , Silvia Lizeth Tapia Tarifa
international conference on formal engineering methods 646 -661
22
2010
A Formal Model of Parallel Execution on Multicore Architectures with Multilevel Caches
Shiji Bijo , Einar Broch Johnsen , Ka I Pun , Silvia Lizeth Tapia Tarifa
formal aspects of component software 58 -77
5
2017
Modeling Application-Level Management of Virtualized Resources in ABS
Einar Broch Johnsen , Rudolf Schlatte , Silvia Lizeth Tapia Tarifa
formal methods 89 -108
2
2011
Validating Timed Models of Deployment Components with Parametric Concurrency
Einar Broch Johnsen , Olaf Owe , Rudolf Schlatte , Silvia Lizeth Tapia Tarifa
Formal Verification of Object-Oriented Software 6528 46 -60
18
2011
Locally Abstract, Globally Concrete Semantics of Concurrent Programming Languages
Crystal Chang Din , Reiner Hähnle , Einar Broch Johnsen , Ka I Pun
theorem proving with analytic tableaux and related methods 22 -43
7
2017
Deployment by Construction for Multicore Architectures
Shiji Bijo , Einar Broch Johnsen , Ka I Pun , Christoph Seidl
leveraging applications of formal methods 448 -465
2
2018
Modeling resource-aware virtualized applications for the cloud in real-time ABS
Einar Broch Johnsen , Rudolf Schlatte , Silvia Lizeth Tapia Tarifa
international conference on formal engineering methods 71 -86
21
2012
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
Einar Broch Johnsen , Rudolf Schlatte , Silvia Lizeth Tapia Tarifa
formal aspects of component software 187 -204
9
2011
A formal model of metacontrol in maude
Juliane Päßler , Esther Aguado , Gustavo Rezende Silva , Silvia Lizeth Tapia Tarifa
Springer International Publishing 575 -596
3
2022
Preproceedings of the Workshop on Applications of Formal Methods and Digital Twins
Sylvain Hallé , Chukri Soueidi , Yliès Falcone , Eduard Kamburjan
Research report http://urn. nb. no/URN: NBN: no-35645
2023
LAGC Semantics of Concurrent Programming Languages
Crystal Chang Din , Reiner Hähnle , Ludovic Henrio , Einar Broch Johnsen
arXiv preprint arXiv:2202.12195
7
2022
Recent Developments in the Design and Implementation of Programming Languages
Frank S de Boer , Jacopo Mauro , Reiner Hähnle , Anton W Haubner
Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH
2020
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 Transactions on Programming Languages and Systems
2024
Einar Broch Johnsen Frank de Boer Reiner Hähnle Shiji Bijo Olaf Owe Eduard Kamburjan Elvira Albert Peter Y. H. Wong Ferruccio Damiani Gianluca Turin Tobias Wrigstad Dave Clarke Elias Castegren Kiko Fernández Ingrid Chieh Yu Jacopo Mauro Andrea Borgarelli Vidar Norstein Klungre David Cameron ludovic henrio