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 = {Software Engineering for Resilient Systems - 9th International Workshop,
               {SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
  pages     = {96--114},
  year      = {2017},
  crossref  = {DBLP:conf/serene/2017},
  url       = {https://doi.org/10.1007/978-3-319-65948-0\_7},
  doi       = {10.1007/978-3-319-65948-0\_7},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/serene/VistbakkaTKL17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Computer Safety, Reliability, and Security - 35th International Conference,
               {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  pages     = {213--225},
  year      = {2016},
  crossref  = {DBLP:conf/safecomp/2016},
  url       = {https://doi.org/10.1007/978-3-319-45477-1\_17},
  doi       = {10.1007/978-3-319-45477-1\_17},
  timestamp = {Tue, 14 May 2019 10:00:44 +0200},
  biburl    = {https://dblp.org/rec/conf/safecomp/TroubitsynaLPKI16.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1016/j.ress.2015.03.012},
  doi       = {10.1016/j.ress.2015.03.012},
  timestamp = {Tue, 25 Feb 2020 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/ress/LahtinenKH15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/KuisminH13,
  author    = {Tuomas Kuismin and
               Keijo Heljanko},
  title     = {Increasing Confidence in Liveness Model Checking Results with Proofs},
  booktitle = {Hardware and Software: Verification and Testing - 9th International
               Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
               5-7, 2013, Proceedings},
  pages     = {32--43},
  year      = {2013},
  crossref  = {DBLP:conf/hvc/2013},
  url       = {https://doi.org/10.1007/978-3-319-03077-7\_3},
  doi       = {10.1007/978-3-319-03077-7\_3},
  timestamp = {Tue, 14 May 2019 10:00:42 +0200},
  biburl    = {https://dblp.org/rec/conf/hvc/KuisminH13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  url       = {https://doi.org/10.1049/iet-cdt.2010.0154},
  doi       = {10.1049/iet-cdt.2010.0154},
  timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/iet-cdt/LauniainenHJ11.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/LauniainenHJ10,
  author    = {Tuomas Launiainen and
               Keijo Heljanko and
               Tommi A. Junttila},
  title     = {Efficient Model Checking of {PSL} Safety Properties},
  booktitle = {10th International Conference on Application of Concurrency to System
               Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  pages     = {95--104},
  year      = {2010},
  crossref  = {DBLP:conf/acsd/2010},
  url       = {https://doi.org/10.1109/ACSD.2010.27},
  doi       = {10.1109/ACSD.2010.27},
  timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/LauniainenHJ10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/serene/2017,
  editor    = {Alexander B. Romanovsky and
               Elena Troubitsyna},
  title     = {Software Engineering for Resilient Systems - 9th International Workshop,
               {SERENE} 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10479},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-65948-0},
  doi       = {10.1007/978-3-319-65948-0},
  isbn      = {978-3-319-65947-3},
  timestamp = {Tue, 22 Jun 2021 18:26:09 +0200},
  biburl    = {https://dblp.org/rec/conf/serene/2017.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2016,
  editor    = {Amund Skavhaug and
               J{\'{e}}r{\'{e}}mie Guiochet and
               Friedemann Bitsch},
  title     = {Computer Safety, Reliability, and Security - 35th International Conference,
               {SAFECOMP} 2016, Trondheim, Norway, September 21-23, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9922},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-45477-1},
  doi       = {10.1007/978-3-319-45477-1},
  isbn      = {978-3-319-45476-4},
  timestamp = {Tue, 22 Jun 2021 18:26:09 +0200},
  biburl    = {https://dblp.org/rec/conf/safecomp/2016.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2013,
  editor    = {Valeria Bertacco and
               Axel Legay},
  title     = {Hardware and Software: Verification and Testing - 9th International
               Haifa Verification Conference, {HVC} 2013, Haifa, Israel, November
               5-7, 2013, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8244},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03077-7},
  doi       = {10.1007/978-3-319-03077-7},
  isbn      = {978-3-319-03076-0},
  timestamp = {Tue, 22 Jun 2021 18:26:09 +0200},
  biburl    = {https://dblp.org/rec/conf/hvc/2013.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/acsd/2010,
  editor    = {Lu{\'{\i}}s Gomes and
               Victor Khomenko and
               Jo{\~{a}}o M. Fernandes},
  title     = {10th International Conference on Application of Concurrency to System
               Design, {ACSD} 2010, Braga, Portugal, 21-25 June 2010},
  publisher = {{IEEE} Computer Society},
  year      = {2010},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/5552634/proceeding},
  isbn      = {978-0-7695-4066-5},
  timestamp = {Tue, 22 Jun 2021 18:26:09 +0200},
  biburl    = {https://dblp.org/rec/conf/acsd/2010.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics