Sebastian Vastag

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