Participants in AVABI: Automated validation for behavioral interfaces of asynchronous active objects
From the University of Oslo
| Name | Phone | Tags | |
|---|---|---|---|
Martin Steffen
|
|||
|
Arild Braathen Torjusen
|
|||
|
Marcel Kyas
|
|||
Silvia Lizeth Tapia Tarifa
Associate Professor
|
sltarifa@ifi.uio.no | formal methods, concurrency, programming language theory, model-based analysis, distributed systems, object-orientation, modeling, resource analysis | |
|
Abigail Parisaca Vargas
|
Other participants
- Willem Paul de Roever
- Jasmin Blanchette
- Immo Grabe
- Andreas Gruener