Publications by Viorel Preoteasa

2015

  • JOURNAL:
  • Journal of Logical and Algebraic Methods in Programming
  • VOLUME:
  • 410
  • PAGES:
  • 19-36

2014

  • JOURNAL:
  • Science of Computer Programming
  • VOLUME:
  • 92
  • PAGES:
  • 179-210
  • BOOKTITLE:
  • Proceedings of the 14th International Conference on Embedded Software
  • SERIES:
  • EMSOFT '14
  • PAGES:
  • 2:1--2:10
  • [URL]
  • [PUBURL]
  • JOURNAL:
  • Archive of Formal Proofs
  • VOLUME:
  • NA
  • [PUBURL]

2011

  • BOOKTITLE:
  • Formal Methods, Foundations and Applications. Proceedings of Brazilian Symposium on Formal Methods (SBMF 2011)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 7021
  • PAGES:
  • 140-155
  • JOURNAL:
  • Formal Aspects of Computing
  • PAGES:
  • 1-29
  • BOOKTITLE:
  • Proceedings of the 2011 ACM Symposium on Applied Computing
  • SERIES:
  • SAC '11
  • PAGES:
  • 1658--1665

2009

  • VOLUME:
  • 259
  • PAGES:
  • 143 - 163
  • JOURNAL:
  • Theoretical Computer Science
  • VOLUME:
  • 410
  • PAGES:
  • 4216-4233

2008

2006

  • BOOKTITLE:
  • Proceedings of FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 4085
  • PAGES:
  • 508 - 523

2005

  • JOURNAL:
  • Formal Aspects of Computing
  • VOLUME:
  • 17
  • PAGES:
  • 69-90

2004

2003

  • BOOKTITLE:
  • Proceedings of the Tenth Asia-Pacific Software Engineering Conference (APSEC'03)
  • BOOKTITLE:
  • Proceedings of the 2003 Workshop on Mechanized Reasoning about Languages with Variable Binding

2002

  • BOOKTITLE:
  • Proceedings of the Agile Processes in Software Engineering XP2002 Third International Conference

1999

  • JOURNAL:
  • Fundamenta Informaticae
  • VOLUME:
  • 40
  • PAGES:
  • 53-77