Export list as BibTeX file

2017

• 2017 Minimizing Test Suites with Unfoldings of Multithreaded Programs Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko and Javier Esparza ACM Trans. Embedded Comput. Syst., 16(2):45:1–45:24, 2017. Details DOI BIB
• 2017 Modeling and verifying behavioral constraints for automation systems Benjamin Brandenbourger, Milan Vathoopan and Alois Zoitl In Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on, pages 345–350, IEEE, Details BIB
• 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav and Vincent Aravantinos In Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE, MDEbug), Posters, Doctoral Symposium, Educator Symposium, ACM Student Research Competition, and Tools and Demonstrations, pages 300–306, Details URL BIB
• 2017 Multi vehicle trajectory coordination for automated parking Tobias Kessler and Alois Knoll In IEEE Intelligent Vehicles Symposium (IV), pages 661 - 666, Details URL BIB
• 2017 On subexponentials, focusing and modalities in concurrent systems Vivek Nigam, Carlos Olarte and Elaine Pimentel Theor. Comput. Sci., 693():35–58, 2017. Details URL DOI BIB
• 2017 Ontology-Based Traffic Scene Modeling, Traffic Regulations Dependent Situational Awareness and Decision-Making for Automated Vehicles Martin Buechel, Gereon Michael Hinz, Frederik Ruehl, Hans Schroth, Csaba Gyoeri and Alois Knoll In IEEE Intelligent Vehicles Symposium (IV) 2017, IEEE. Details BIB
• 2017 Portability Analysis for Weak Memory Models. PORTHOS: One Tool for all Models Hernán Ponce de León, Florian Furbach, Keijo Heljanko and Roland Meyer In SAS, volume 10422 of Lecture Notes in Computer Science, pages 299–320, Springer. Details URL DOI BIB
• 2017 Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung Andreas Reidt, Markus Duchon and Helmut Krcmar Bullinger-Hoffman, Angelika, Details BIB
• 2017 Slow TCAM Exhaustion DDoS Attack Tulio Pascoal, Yuri Gil Dantas, Iguatemi Fonseca and Vivek Nigam In ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings, pages 17–31, Details URL DOI BIB
• 2017 Systematically comparing control approaches in the presence of actuator errors Tobias Kessler, Pascal Minnerup, David Lenz and Alois Knoll In IEEE Intelligent Vehicles Symposium (IV), pages 353 - 358, Details URL BIB