Liste als BibTeX-Datei exportieren

2017

• 2017 Increasing Control Application Reusability through Generic Device Configuration Model Waldemar Eisenmenger , Johannes Meßmer , Monika Wenger und Alois Zoitl In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details BIB
• 2017 Living Safety Arguments for Open Systems Carmen Cârlan In Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2017. IEEE. Details DOI BIB
• 2017 Maximum Resilience of Artificial Neural Networks Chih-Hong Cheng , Georg Nührenberg und Harald Rueß In Automated Technology for Verification and Analysis - 15rd International Symposium , ATVA, 2017. Details BIB
• 2017 Minimizing Test Suites with Unfoldings of Multithreaded Programs Olli Saarikivi , Hernán Ponce de León , Kari Kähkönen , Keijo Heljanko und 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 und Alois Zoitl In Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on, Seiten 345–350, 2017. IEEE, Details BIB
• 2017 Modular Transformation from AF3 to nuXmv Sudeep Kanav und 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, Seiten 300–306, 2017. Details URL BIB
• 2017 Multi vehicle trajectory coordination for automated parking Tobias Kessler und Alois Knoll In IEEE Intelligent Vehicles Symposium (IV), Seiten 661 - 666, 2017. Details URL BIB
• 2017 On subexponentials, focusing and modalities in concurrent systems Vivek Nigam , Carlos Olarte und 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 und Alois Knoll In IEEE Intelligent Vehicles Symposium (IV) 2017, 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 und Roland Meyer In SAS, Band 10422 von Lecture Notes in Computer Science, Seiten 299–320, 2017. Springer. Details URL DOI BIB
• 2017 Referenzarchitektur eines Ressourcen-Cockpits zur Unterstützung der Instandhaltung Andreas Reidt , Markus Duchon und Helmut Krcmar Bullinger-Hoffman, Angelika, 2017. Details BIB
• 2017 Slow TCAM Exhaustion DDoS Attack Tulio Pascoal , Yuri Gil Dantas , Iguatemi Fonseca und Vivek Nigam In ICT Systems Security and Privacy Protection - 32nd IFIP TC 11 International Conference, SEC 2017, Rome, Italy, May 29-31, 2017, Proceedings, Seiten 17–31, 2017. Details URL DOI BIB
• 2017 Systematically comparing control approaches in the presence of actuator errors Tobias Kessler , Pascal Minnerup , David Lenz und Alois Knoll In IEEE Intelligent Vehicles Symposium (IV), Seiten 353 - 358, 2017. Details URL BIB
• 2017 Time, computational complexity, and probability in the analysis of distance-bounding protocols Max Kanovich , Vivek Nigam , Andre Scedrov , Carolyn Talcott und Tajana Ban Kirigin Journal of Computer Security, 25(6):585–630, 2017. Details URL DOI BIB
• 2017 Tool Support for Live Formal Verification Vincent Aravantinos und Sudeep Kanav In 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS), Seiten 145-155, 2017. Details DOI BIB
• 2017 Towards a Model-driven Performance Prediction Approach for Internet of Things Architectures Johannes Kroß , Sebastian Voss und Helmut Krcmar Open Journal of Internet Of Things, 3(1):136-141, 2017. Details URL BIB
• 2017 Towards an Industry 4.0 Compliant Control Software Architecture Using IEC 61499 & OPC UA Tarik Terzimehić , Monika Wenger , Alois Zoitl , Andreas Bayha , Klaus Becker , Thorsten Müller und Hubertus Schauerte In IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), 2017. Details DOI BIB
• 2017 Towards an integrated plant engineering process using a data conversion tool for AutomationML Milan Vathoopan , Benjamin Brandenbourger , Amil George und Alois Zoitl In Dorina C. Petriu , Nicolas Rouquette und Oystein Haugen , Editor, Industrial Technology (ICIT), 2017 IEEE International Conference on, Seiten 1205–1210, 2017. IEEE, Details BIB

2016

• Dezember 2016 embSFI: An Approach for Software Fault Isolation in Embedded Systems Andreas Ruhland , Christian Prehofer und Oliver Horst In Marcus Völp , Paulo Esteves-Verissimo , Antonio Casimiro und Rodolfo Pellizzoni , Editor, 1st Workshop on Security and Dependability of Critical Embedded Real-Time Systems, Seiten 6–11, Porto, Portugal, Dezember 2016. IEEE, Details URL BIB
• November 2016 Comparably Evaluating Communication Performance within Mixed-Criticality Systems Keegan Napier , Oliver Horst und Christian Prehofer In 4th International Workshop on Mixed Criticality Systems (WMC), Porto, Portugal, November 2016. Details URL BIB