Modellierung selbststeuernder Servicenetze aus Netzplanungsdaten. - Sebastian Vastag (GI Jahrestagung (1), 2007)

Simulation selbststeuernder Transportnetze. - Marc Berning; Sebastian Vastag (Internet der Dinge, 2007)

ProC/B goes OMNeT++: Efficient Simulation of Process Chains. - Jan Kriege; Sebastian Vastag (MMB, 2008)

Simulating process chain models with OMNeT++. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (SimuTools, 2008)

A Framework for Simulation Models of Service-Oriented Architectures. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (SIPEW, 2008)

Modellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets. - Sebastian Vastag (GI Jahrestagung, 2009)

Simulation based Validation of Quantitative Requirements in Service Oriented Architectures. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (WSC, 2009)

Efficient Validation of Process-based Simulation Models. - Falko Bause; Jan Kriege; Sebastian Vastag (Simul. Notes Eur., 2009)

ProC/B for Networks: Integrated INET Models. - Sebastian Vastag (MMB/DFT, 2010)

A Simulation Environment for Hierarchical Process Chains Based on OMNeT++. - Falko Bause; Peter Buchholz 001; Jan Kriege; Sebastian Vastag (Simul., 2010)

Modeling quantitative requirements in SLAs with network calculus. - Sebastian Vastag (VALUETOOLS, 2011)

A Calculus for SLA Delay Properties. - Sebastian Vastag (MMB/DFT, 2012)

Arrival and delay curve estimation for SLA calculus. - Sebastian Vastag (WSC, 2012)

SLA Calculus. - Sebastian Vastag (2014)

Toward an analytical method for SLA validation. - Peter Buchholz 001; Sebastian Vastag (Softw. Syst. Model., 2018)