S. Lizeth Tapia Tarifa

Joint Papers

• Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
• A Formal Model of the Kubernetes Container Framework
• SymPaths: Symbolic Execution Meets Partial Order Reduction
• Implementing SOS with Active Objects: A Case Study of a Multicore Memory System
• Release the Beasts: When Formal Methods Meet Real World Data
• A formal model of cloud-deployed software and its application to workflow processing
• Modeling Deployment Decisions for Elastic Services with ABS"
• An Operational Semantics of Cache Coherent Multicore Architectures
• History-Based Specification and Verification of Scalable Concurrent and Distributed Systems
• Integrating deployment architectures and resource consumption in timed object-oriented models
• Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
• Deployment Variability in Delta-Oriented Models
• User-defined Schedulers for Real-Time Concurrent Objects
• Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
• A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
• A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
• Models of Rate Restricted Communication for Concurrent Objects
• Dynamic Resource Reallocation Between Deployment Components
• Validating Timed Models of Deployment Components with Parametric Concurrency