Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
Elvira Albert
Professor
Complutense University of Madrid, Spain
Latest
Parallel Cost Analysis
Parallel Cost Analysis of Distributed Systems
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS
Engineering Virtualized Services
Simulating Concurrent Behaviors with Worst-Case Cost Bounds
Cite
×
