Paper-Conference

Behavioural Design of Sensor Network Applications using Activity-Driven States
Proc. SESENA 2013
Preprint Cite DOI
Run-time checking of data- and protocol-oriented properties of Java programs: an industrial case study
Proc. SAC 2013
Preprint Cite DOI
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABS
Proc. ICFEM 2012
Preprint Cite DOI
Tracking Behavioral Constraints during Object-Oriented Software Evolution
Proc. ISoLa 2012
Preprint Cite DOI
A Transformational Proof System for Delta-Oriented Programming
Proc. FMSPLE 2012
Preprint Cite DOI
Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study
Proc. ESOCC 2012
Preprint Cite DOI
A Type-Safe Model of Adaptive Object Groups
Proc. FOCLASA 2012
Preprint Cite DOI
MULE-based Wireless Sensor Networks: Probabilistic Modeling and Quantitative Analysis
Proc. IFM 2012
Preprint Cite DOI
A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios
Proc. FOVEOOS 2011
Preprint Cite DOI
A Formal Model of Object Mobility in Resource-Restricted Deployment Scenarios
Proc. FACS 2011
Preprint Cite DOI
ABS: A Core Language for Abstract Behavioral Specification
Proc. FMCO 2010
Preprint Cite DOI
Models of Rate Restricted Communication for Concurrent Objects
Proc. TTSS 2010
Preprint Cite DOI
Verifying Traits: A Proof System for Fine-Grained Reuse
Proc. FTfJP 2011
Preprint Cite DOI
Fault in the Future
Proc. COORDINATION 2011
Preprint Cite DOI
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Proc. FM 2011
Preprint Cite DOI
Safe Locking for Multi-Threaded Java
Proc. FSEN 2011
Preprint Cite DOI
Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Proc. ICECCS 2011
Preprint Cite DOI
Dynamic Resource Reallocation Between Deployment Components
Proc. ICFEM 2010
Preprint Cite DOI
Dating Concurrent Objects: Real-Time Modeling and Schedulability Analysis
Proc. CONCUR 2010
Preprint Cite DOI
Lightweight Time Modeling in Timed Creol
Proc. RTRTS 2010
Preprint Cite DOI
Confluent Term Rewriting for Only-knowing Logics
Proc. STAIRS 2010
Preprint Cite DOI
Validating Timed Models of Deployment Components with Parametric Concurrency
Proc. FOVEOOS 2010
Preprint Cite DOI
Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory
Proc. FMOODS/FORTE 2010
Preprint Cite DOI
Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects
Proc FM 2009
Preprint Cite DOI
Dynamic Symbolic Execution for Testing Distributed Objects
Proc. TAP 2009
Preprint Cite DOI
Proof Search for the First-Order Connection Calculus in Maude
Proc. WRLA 2008
Preprint Cite DOI
Incremental Reasoning for Multiple Inheritance
Proc. IFM 2009
Preprint Cite DOI
Minimal Ownership for Active Objects
Proc. APLAS 2008
Preprint Cite DOI
Testing Concurrent Objects with Application-Specific Schedulers
Proc. ICTAC 2008
Preprint Cite DOI
Intra-Object versus Inter-Object: Concurrency and Reasoning in Creol
Proc. TTSS 2008
Preprint Cite DOI