Publications by Jori Dubrovin

2012

  • JOURNAL:
  • Science of Computer Programming
  • VOLUME:
  • 77
  • PAGES:
  • 1095--1121
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Electronic Communications of the EASST - Proceedings of the 11th International Workshop on Automated Verification of Critical Systems (AVOCS 2011)
  • PAGES:
  • 1-15
  • [URL]
  • [PUBURL]

2011

  • AUTHORS:
  • Dubrovin Jori
  • [URL]
  • [PUBURL]

2010

  • AUTHORS:
  • Dubrovin Jori
  • BOOKTITLE:
  • Proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2010)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 5944
  • PAGES:
  • 146--162
  • [URL]
  • [PUBURL]

2009

  • AUTHORS:
  • Dubrovin Jori
  • [PDF]
  • [PUBURL]
  • AUTHORS:
  • Cimatti Alessandro,
  • Dubrovin Jori,
  • Junttila Tommi,
  • Roveri Marco
  • BOOKTITLE:
  • Proceedings of the 9th International Conference on Formal Methods in Computer Aided Design (FMCAD 2009)
  • PAGES:
  • 9--16
  • [URL]
  • [PUBURL]

2008

  • BOOKTITLE:
  • Proceedings of the 15th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2008)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 5330
  • PAGES:
  • 290--304
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008)
  • PAGES:
  • 108--117
  • [URL]
  • [PUBURL]
  • BOOKTITLE:
  • Proceedings of the 10th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS 2008)
  • SERIES:
  • Lecture Notes in Computer Science
  • VOLUME:
  • 5051
  • PAGES:
  • 96--112
  • [URL]
  • [PUBURL]

2007

  • AUTHORS:
  • Dubrovin Jori
  • [URL]
  • [PUBURL]
  • AUTHORS:
  • Dubrovin Jori
  • [URL]
  • [PUBURL]
  • [PDF]
  • [PUBURL]
  • [PDF]
  • [PUBURL]

2006

  • AUTHORS:
  • Dubrovin Jori
  • [URL]
  • [PUBURL]
  • AUTHORS:
  • Dubrovin Jori
  • [URL]
  • [PDF]
  • [PUBURL]
  • BOOKTITLE:
  • MoDeV$^2$a: Model Development, Validation and Verification; 3rd International Workshop, Genova, Italy, October 2006
  • PAGES:
  • 94--110
  • [URL]
  • [PUBURL]