Sebastian Vastag

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 1

Top Venues

MMB/DFT

Softw. Syst. Model.

WSC

Technical University Dortmund, Germany (PHD)

Education History

Technical University Dortmund, Germany

PHD

Publications

Peter Buchholz, Sebastian Vastag
Toward an analytical method for SLA validation. Softw. Syst. Model. 17 (2) (2018)
Sebastian Vastag
A Calculus for SLA Delay Properties. MMB/DFT (2012)
Sebastian Vastag
Arrival and delay curve estimation for SLA calculus. WSC (2012)
Sebastian Vastag
Modeling quantitative requirements in SLAs with network calculus. VALUETOOLS (2011)
Sebastian Vastag
ProC/B for Networks: Integrated INET Models. MMB/DFT (2010)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. Simul. 86 (5-6) (2010)
Sebastian Vastag
Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets. GI Jahrestagung (2009)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. WSC (2009)
Falko Bause, Jan Kriege, Sebastian Vastag
Efficient Validation of Process-based Simulation Models. Simul. Notes Eur. 19 (2) (2009)
Jan Kriege, Sebastian Vastag
ProC/B goes OMNeT++: Efficient Simulation of Process Chains. MMB (2008)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
A Framework for Simulation Models of Service-Oriented Architectures. SIPEW (2008)
Falko Bause, Peter Buchholz, Jan Kriege, Sebastian Vastag
Simulating process chain models with OMNeT++. SimuTools (2008)
Sebastian Vastag
Modellierung selbststeuernder Servicenetze aus Netzplanungsdaten. GI Jahrestagung (1) (2007)

Sebastian Vastag.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Sebastian Vastag