EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

Editor: Etalle, S.

Home Policy Brochure Browse Search User Area Contact Help

Number of items: 10.

2011

Degano, P. and Etalle, S. and Guttman, J., ed. (2011) Formal Aspects of Security and Trust. Lecture Notes in Computer Science 6561. Springer Verlag, Berlin. ISBN 978-3-642-19751-2

2007

Etalle, S. and Marsh, S., ed. (2007) Trust Management, Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30-August 2, 2007, New Brunswick, Canada. IFIP International Federation for Information Processing 238. Springer Verlag, Berlin. ISBN 978-0-387-73654-9

2006

Etalle, S. and Truszczynski, M., ed. (2006) Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings. Lecture Notes in Computer Science 4079. Springer-Verlag, New York. ISBN 3-540-36635-0

2004

Etalle, S., ed. (2004) Logic Based Program Synthesis and Transformation 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Lecture Notes in Computer Science 3573. Springer-Verlag, Berlin. ISBN 3-540-26655-0

2003

Corin, R.J. and Durante, A. and Etalle, S. and Hartel, P.H. (2003) A Trace Logic for Local Security Properties. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. pp. 129-143. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661

Gnesi, S. and Lenzini, G. and Martinelli, F. (2003) Logical Specification and Analysis of Fault Tolerant Systems through Partial Model Checking. In: Proceedings of the International Workshop on Software Verification and Validation (SVV 2003), December 14 2003, Mumbai, India. pp. 57-70. Electronic Notes in Theoretical Computer Science 118. Elsevier. ISSN 1571-0661

2002

Delzanno, G. and Etalle, S. and Gabbrielli, M., ed. (2002) 2nd Workshop on Specification, Analysis and Validation for Emerging Technologies in Computational Logic (SAVE). Report Type UNSPECIFIED 94, ISSN 0109-9779

2001

Etalle, S. and Gabbrielli, M., ed. (2001) ICLP01 workshop on Specification, Verification and Analysis of Emerging Technologies (SAVE). Report Type UNSPECIFIED Number UNSPECIFIED,

1999

Etalle, S., ed. (1999) Benelog99 Eleventh Benelux Workshop on Logic Programming. Report Type UNSPECIFIED CS 99-09,

Bossi, A. and Etalle, S. and Rossi, S. (1999) Properties of Input-Consuming Derivations. In: ICLP'99 International Conference on Logic Programming: Workshop on Verification of Logic Programs, December 1, 1999, Las Cruces, New Mexico. pp. 1-23. Electronic Notes in Theoretical Computer Science 30. Elsevier. ISSN 1571-0661

This list was generated on Thu May 24 06:11:25 CEST 2012.