io-port 05980315 Cavalcanti, Ana (ed.); Dams, Dennis (ed.); Gaudel, Marie-Claude (ed.)

Formal Asp. Comput. 23, No. 6, 681-805 (2011).

io-port 05857492 Cavalcanti, Ana (ed.); Dams, Dennis (ed.)

Form. Methods Syst. Des. 37, No. 2-3, 93-294 (2010).

io-port 05679025 Dams, Dennis; Hannemann, Ulrich; Steffen, Martin

Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 1-9 (2010).

io-port 05671697 Dams, Dennis (ed.); Hannemann, Ulrich (ed.); Steffen, Martin (ed.)

Lecture Notes in Computer Science 5930. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). x, 377~p. EUR~57.78 (2010).

io-port 70701901 Dams, Dennis; Hannemann, Ulrich; Steffen, Martin

Concurrency, Compositionality, and Correctness, 1-9 (2010).

io-port 05741113 Arlein, Robert M.; Dams, Dennis; Hull, Richard B.; Letourneau, John P.; Namjoshi, Kedar S.

Bell Labs Tech. J. 14, No. 3, 167-185 (2009).

io-port 05625346 Cavalcanti, Ana (ed.); Dams, Dennis R. (ed.)

Lecture Notes in Computer Science 5850. Berlin: Springer (ISBN 978-3-642-05088-6/pbk). xvii, 820~p. EUR~101.65 (2009).

io-port 05317376 Conway, Christopher L.; Dams, Dennis; Namjoshi, Kedar S.; Barrett, Clark

Alpuente, María (ed.) et al., Static analysis. 15th international symposium, SAS 2008, Valencia, Spain, July 16‒18, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69163-1/pbk). Lecture Notes in Computer Science 5079, 62-77 (2008).

io-port 70840366 Conway, Christopher L.; Dams, Dennis; Namjoshi, Kedar S.; Barrett, Clark

SAS, 62-77 (2008).

io-port 05492021 Dams, Dennis

Bošnački, Dragan (ed.) et al., Model checking software. 14th international SPIN workshop, Berlin, Germany, July 1-3, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73369-0/pbk). Lecture Notes in Computer Science 4595, 1 (2007).

io-port 70440002 Dams, Dennis

SPIN, 1 (2007).

io-port 05189650 Dams, Dennis R.; Namjoshi, Kedar S.

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1‒4, 2005. Revised lectures. Berlin: Springer (ISBN 3-540-36749-7/pbk). Lecture Notes in Computer Science 4111, 138-160 (2006).

io-port 02245535 Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A.

Etessami, Kousha (ed.) et al., Computer aided verification. 17th international conference, CAV 2005, Edinburgh, Scotland, UK, July 6‒10, 2005. Proceedings. Berlin: Springer (ISBN 3-540-27231-3/pbk). Lecture Notes in Computer Science 3576, 449-461 (2005).

io-port 02235907 Dams, Dennis; Namjoshi, Kedar S.

Cousot, Radhia (ed.), Verfication, model checking, and abstract interpretation. 6th international conference, VMCAI 2005, Paris, France, January 17‒19, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24297-X/pbk). Lecture Notes in Computer Science 3385, 216-232 (2005).

io-port 70377327 Dams, Dennis; Namjoshi, Kedar S.

FMCO, 138-160 (2005).

io-port 70760128 Conway, Christopher L.; Namjoshi, Kedar S.; Dams, Dennis; Edwards, Stephen A.

CAV, 449-461 (2005).

io-port 70922171 Dams, Dennis; Namjoshi, Kedar S.

VMCAI, 216-232 (2005).

io-port 70802746 Dams, Dennis; Namjoshi, Kedar S.

LICS, 335-344 (2004).

io-port 05415088 Dams, Dennis

Electron. Notes Theor. Comput. Sci. 89, No. 3 (2003).

io-port 01953039 Dams, Dennis; Namjoshi, Kedar S.

Zuck, Leonore D. (ed.) et al., Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2575, 310-323 (2003).