Edit Profile (opens in new tab) Tapia Tarifa, Silvia Lizeth Compute Distance To: Compute Author ID: tapia-tarifa.silvia-lizeth Published as: Tapia Tarifa, Silvia Lizeth; Tapia Tarifa, S. Lizeth Documents Indexed: 5 Publications since 2009 1 Contribution as Editor Co-Authors: 11 Co-Authors with 6 Joint Publications 196 Co-Co-Authors all top 5 Co-Authors 0 single-authored 3 Johnsen, Einar Broch 2 Ahrendt, Wolfgang 2 Schlatte, Rudolf 1 Din, Crystal Chang 1 Garis, Ana G. 1 George, Chris W. 1 Hähnle, Reiner 1 Owe, Olaf 1 Parisaca Vargas, Abigail 1 Pun, Ka I. 1 Wehrheim, Heike Serials 1 Formal Aspects of Computing 1 Lecture Notes in Computer Science 1 Journal of Logical and Algebraic Methods in Programming Fields 5 Computer science (68-XX) 2 General and overarching topics; collections (00-XX) Publications by Year Citations contained in zbMATH Open 3 Publications have been cited 4 times in 4 Documents Cited by ▼ Year ▼ Validating timed models of deployment components with parametric concurrency. Zbl 1308.68037Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth 2 2011 Model checking LTL formulae in RAISE with FDR. Zbl 1211.68252Parisaca Vargas, Abigail; Garis, Ana G.; Tapia Tarifa, S. Lizeth; George, Chris 1 2009 Integrating deployment architectures and resource consumption in timed object-oriented models. Zbl 1304.68029Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth 1 2015 Integrating deployment architectures and resource consumption in timed object-oriented models. Zbl 1304.68029Johnsen, Einar Broch; Schlatte, Rudolf; Tapia Tarifa, S. Lizeth 1 2015 Validating timed models of deployment components with parametric concurrency. Zbl 1308.68037Broch Johnsen, Einar; Owe, Olaf; Schlatte, Rudolf; Tapia Tarifa, Silvia Lizeth 2 2011 Model checking LTL formulae in RAISE with FDR. Zbl 1211.68252Parisaca Vargas, Abigail; Garis, Ana G.; Tapia Tarifa, S. Lizeth; George, Chris 1 2009 all top 5 Cited by 11 Authors 2 Johnsen, Einar Broch 1 Bravetti, Mario 1 George, Chris W. 1 Giachino, Elena 1 Lienhardt, Michael 1 Perna, Juan Ignacio 1 Schlatte, Rudolf 1 Steffen, Martin 1 Stumpf, Johanna Beate 1 Tapia Tarifa, Silvia Lizeth 1 Wong, Peter Y. H. Cited in 2 Serials 3 Journal of Logical and Algebraic Methods in Programming 1 Formal Aspects of Computing Cited in 1 Field 4 Computer science (68-XX) Citations by Year