BibTeX records: Tuomas Kuismin

download as .bib file

@inproceedings{DBLP:conf/serene/VistbakkaTKL17,
  author    = {Inna Vistbakka and
               Elena Troubitsyna and
               Tuomas Kuismin and
               Timo Latvala},
  title     = {Co-engineering Safety and Security in Industrial Control Systems:
               {A} Formal Outlook},
  booktitle = {{SERENE}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10479},
  pages     = {96--114},
  publisher = {Springer},
  year      = {2017}
}
@inproceedings{DBLP:conf/safecomp/TroubitsynaLPKI16,
  author    = {Elena Troubitsyna and
               Linas Laibinis and
               Inna Pereverzeva and
               Tuomas Kuismin and
               Dubravka Ilic and
               Timo Latvala},
  title     = {Towards Security-Explicit Formal Modelling of Safety-Critical Systems},
  booktitle = {{SAFECOMP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {9922},
  pages     = {213--225},
  publisher = {Springer},
  year      = {2016}
}
@article{DBLP:journals/ress/LahtinenKH15,
  author    = {Jussi Lahtinen and
               Tuomas Kuismin and
               Keijo Heljanko},
  title     = {Verifying large modular systems using iterative abstraction refinement},
  journal   = {Reliab. Eng. Syst. Saf.},
  volume    = {139},
  pages     = {120--130},
  year      = {2015}
}
@inproceedings{DBLP:conf/hvc/KuisminH13,
  author    = {Tuomas Kuismin and
               Keijo Heljanko},
  title     = {Increasing Confidence in Liveness Model Checking Results with Proofs},
  booktitle = {Haifa Verification Conference},
  series    = {Lecture Notes in Computer Science},
  volume    = {8244},
  pages     = {32--43},
  publisher = {Springer},
  year      = {2013}
}
@article{DBLP:journals/iet-cdt/LauniainenHJ11,
  author    = {Tuomas Launiainen and
               Keijo Heljanko and
               Tommi A. Junttila},
  title     = {Efficient model checking of {PSL} safety properties},
  journal   = {{IET} Comput. Digit. Tech.},
  volume    = {5},
  number    = {6},
  pages     = {479--492},
  year      = {2011}
}
@inproceedings{DBLP:conf/acsd/LauniainenHJ10,
  author    = {Tuomas Launiainen and
               Keijo Heljanko and
               Tommi A. Junttila},
  title     = {Efficient Model Checking of {PSL} Safety Properties},
  booktitle = {{ACSD}},
  pages     = {95--104},
  publisher = {{IEEE} Computer Society},
  year      = {2010}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics