BibTeX records: M. D. Martijn Klabbers

download as .bib file

@inproceedings{DBLP:conf/er/LuoBEK14,
  author       = {Yaping Luo and
                  Mark van den Brand and
                  Luc Engelen and
                  Martijn Klabbers},
  editor       = {Eric S. K. Yu and
                  Gillian Dobbie and
                  Matthias Jarke and
                  Sandeep Purao},
  title        = {From Conceptual Models to Safety Assurance},
  booktitle    = {Conceptual Modeling - 33rd International Conference, {ER} 2014, Atlanta,
                  GA, USA, October 27-29, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8824},
  pages        = {195--208},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-12206-9\_16},
  doi          = {10.1007/978-3-319-12206-9\_16},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/er/LuoBEK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icseng/LuoBEK14,
  author       = {Yaping Luo and
                  Mark van den Brand and
                  Luc Engelen and
                  Martijn Klabbers},
  editor       = {Henry Selvaraj and
                  Dawid Zydek and
                  Grzegorz Chmaj},
  title        = {A Modeling Approach to Support Safety Assurance in the Automotive
                  Domain},
  booktitle    = {Progress in Systems Engineering - Proceedings of the Twenty-Third
                  International Conference on Systems Engineering, ICSEng 2014, Las
                  Vegas, NV, USA, August 19-21, 2014},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {366},
  pages        = {339--345},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-08422-0\_50},
  doi          = {10.1007/978-3-319-08422-0\_50},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icseng/LuoBEK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icsr/LuoBEFKS13,
  author       = {Yaping Luo and
                  Mark van den Brand and
                  Luc Engelen and
                  John M. Favaro and
                  Martijn Klabbers and
                  Giovanni Sartori},
  editor       = {John M. Favaro and
                  Maurizio Morisio},
  title        = {Extracting Models from {ISO} 26262 for Reusable Safety Assurance},
  booktitle    = {Safe and Secure Software Reuse - 13th International Conference on
                  Software Reuse, {ICSR} 2013, Pisa, Italy, June 18-20. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7925},
  pages        = {192--207},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38977-1\_13},
  doi          = {10.1007/978-3-642-38977-1\_13},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icsr/LuoBEFKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eceasst/KeirenK12,
  author       = {Jeroen J. A. Keiren and
                  Martijn Klabbers},
  title        = {Modelling and verifying {IEEE} Std 11073-20601 session setup using
                  mCRL2},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {53},
  year         = {2012},
  url          = {https://doi.org/10.14279/tuj.eceasst.53.793},
  doi          = {10.14279/TUJ.ECEASST.53.793},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/KeirenK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/profes/ZaweddeKWB11,
  author       = {A. S. Aminah Zawedde and
                  M. D. Martijn Klabbers and
                  Ddembe Williams and
                  Mark van den Brand},
  editor       = {Danilo Caivano and
                  Markku Oivo and
                  Maria Teresa Baldassarre and
                  Giuseppe Visaggio},
  title        = {Understanding the Dynamics of Requirements Process Improvement: {A}
                  New Approach},
  booktitle    = {Product-Focused Software Process Improvement - 12th International
                  Conference, {PROFES} 2011, Torre Canne, Italy, June 20-22, 2011. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {6759},
  pages        = {276--290},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21843-9\_22},
  doi          = {10.1007/978-3-642-21843-9\_22},
  timestamp    = {Fri, 27 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/profes/ZaweddeKWB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sqj/HeckKE10,
  author       = {Petra Heck and
                  Martijn Klabbers and
                  Marko C. J. D. van Eekelen},
  title        = {A software product certification model},
  journal      = {Softw. Qual. J.},
  volume       = {18},
  number       = {1},
  pages        = {37--55},
  year         = {2010},
  url          = {https://doi.org/10.1007/s11219-009-9080-0},
  doi          = {10.1007/S11219-009-9080-0},
  timestamp    = {Sun, 22 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sqj/HeckKE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/quatic/SerebrenikMDK10,
  author       = {Alexander Serebrenik and
                  Amrita Mishra and
                  Thomas Delissen and
                  Martijn Klabbers},
  editor       = {Fernando Brito e Abreu and
                  Jo{\~{a}}o Pascoal Faria and
                  Ricardo Jorge Machado},
  title        = {Requirements Certification for Offshoring Using {LSPCM}},
  booktitle    = {Quality of Information and Communications Technology, 7th International
                  Conference on the Quality of Information and Communications Technology,
                  {QUATIC} 2010, Porto, Portugal, 29 September - 2 October, 2010, Proceedings},
  pages        = {177--182},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/QUATIC.2010.30},
  doi          = {10.1109/QUATIC.2010.30},
  timestamp    = {Wed, 09 Aug 2023 08:39:51 +0200},
  biburl       = {https://dblp.org/rec/conf/quatic/SerebrenikMDK10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.