io-port 06109377 Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn

Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3‒6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 300-316 (2012).

io-port 06105572 Bogdoll, Jonathan; David, Alexandre; Hartmanns, Arnd; Hermanns, Holger

Donaldson, Alastair (ed.) et al., Model checking software. 19th international workshop, SPIN 2012, Oxford, UK, July 23‒24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31758-3/pbk). Lecture Notes in Computer Science 7385, 227-233 (2012).

io-port 06068905 Bogdoll, Jonathan; Hartmanns, Arnd; Hermanns, Holger

Schmitt, Jens B. (ed.), Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance. 16th international GI/ITG conference, MMB \& DFT 2012, Kaiserslautern, Germany, March 19‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28539-4/pbk). Lecture Notes in Computer Science 7201, 249-252 (2012).

io-port 06068896 Ferrer Fioriti, Luis María; Hermanns, Holger

Schmitt, Jens B. (ed.), Measurement, modelling, and evaluation of computing systems and dependability and fault tolerance. 16th international GI/ITG conference, MMB \& DFT 2012, Kaiserslautern, Germany, March 19‒21, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28539-4/pbk). Lecture Notes in Computer Science 7201, 151-165 (2012).

io-port 06066135 Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger

Log. Methods Comput. Sci. 8, No. 2, Paper No. 17, 18 p., electronic only (2012).

io-port 06051073 Hermanns, Holger

Flanagan, Cormac (ed.) et al., Tools and algorithms for the construction and analysis of systems. 18th international conference, TACAS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28755-8/pbk). Lecture Notes in Computer Science 7214, 1 (2012).

io-port 05965346 Hermanns, Holger

Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14‒18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 1-2 (2011).

io-port 05940717 Buchholz, Peter; Hahn, Ernst Moritz; Hermanns, Holger; Zhang, Lijun

Gopalakrishnan, Ganesh (ed.) et al., Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14‒20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22109-5/pbk). Lecture Notes in Computer Science 6806, 225-242 (2011).

io-port 05923144 Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger

Comput. Res. Repos. 2011, Article No. 1104.4983 (2011).

io-port 05918151 Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4‒8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 271-282 (2011).

io-port 05908870 Bogdoll, Jonathan; Ferrer Fioriti, Luis María; Hartmanns, Arnd; Hermanns, Holger

Bruni, Roberto (ed.) et al., Formal techniques for distributed systems. Joint 13th IFIP WG 6.1 international conference, FMOODS 2011, and 31st IFIP WG 6.1 international conference, FORTE 2011, Reykjavik, Iceland, June 6‒9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21460-8/pbk). Lecture Notes in Computer Science 6722, 59-74 (2011).

io-port 05853776 Hermanns, Holger; Parma, Augusto; Segala, Roberto; Wachter, Björn; Zhang, Lijun

Inf. Comput. 209, No. 2, 154-172 (2011).

io-port 05842038 Katoen, Joost-Pieter; Zapreev, Ivan S.; Hahn, Ernst Moritz; Hermanns, Holger; Jansen, David N.

Perform. Eval. 68, No. 2, 90-104 (2011).

io-port 50329581 Boehm, Hans-Juergen; Goltz, Ursula; Hermanns, Holger; Sewell, Peter

Dagstuhl Reports 1, No. 1, 1-26 (2011).

io-port 70008269 Bogdoll, Jonathan; Fioriti, Luis María Ferrer; Hartmanns, Arnd; Hermanns, Holger

FMOODS/FORTE, 59-74 (2011).

io-port 70101999 Hermanns, Holger

SEFM, 1-2 (2011).

io-port 70212895 Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger

ICALP (2), 271-282 (2011).

io-port 70760018 Buchholz, Peter; Hahn, Ernst Moritz; Hermanns, Holger; Zhang, Lijun

CAV, 225-242 (2011).

io-port 70780479 Fränzle, Martin; Hahn, Ernst Moritz; Hermanns, Holger; Wolovick, Nicolás; Zhang, Lijun

HSCC, 43-52 (2011).

io-port 70941331 Graf, Hernan Baro; Hermanns, Holger; Kulshrestha, Juhi; Peter, Jens; Vahldiek, Anjo; Vasudevan, Aravind

WOWMOM, 1-9 (2011).