Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: M. D. Martijn Klabbers
@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} }
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.