Liste als BibTeX-Datei exportieren

2024

• November 2024 Continuous safety & security evidence generation, curation and assurance case construction using the Evidential Tool Bus Natarajan Shankar , Minyoung Kim , Huascar Sanchez , Harald Rueß , Tewodros Beyene , Radouane Bouchekir und et al. In 2024 AIAA DATC/IEEE 43rd Digital Avionics Systems Conference (DASC), November 2024. IEEE. Details URL DOI BIB
• Mai 2024 Where Do You Look When Unlocking Your Phone? A Field Study of Gaze Behaviour During Smartphone Unlock Yasmeen Abdrabou , Tatiana Omelina , Felix Dietz , Mohamed Khamis , Florian Alt und Mariam Hassib In CHI Conference on Human Factors in Computing Systems., Mai 2024. ACM. Details DOI BIB
• Februar 2024 Dynamic Event-based Optical Identification and Communication Axel von Arnim , Jules Lecomte , Stanislaw Wozniak , Naima Elosegui und Angeliki Pantazi Frontiers in Neurorobotics, 18():, Februar 2024. Details URL DOI BIB

2023

• August 2023 Generating Event-Based Datasets for Robotic Applications Using MuJoCo-ESIM Gintautas Palinauskas , Camilo Amaya , Evan Eames , Michael Neumeier und Axel von Arnim In Proceedings of the 2023 International Conference on Neuromorphic Systems, Band 1 von ICONS 23, Seiten 7, New York, NY, USA, August 2023. Association for Computing Machinery, Association for Computing Machinery. Details URL DOI BIB
• Juni 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir , Michell Guzman Cancimance , Cook Alasdair , Johannes Haindl und Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Juni 2023. IEEE. Details URL DOI BIB

2021

• Dezember 2021 Requirements for Reliable Wireless Industrial Services (draft-ietf-raw-industrial-requirements-00) Rute C. Sofia , Matthias Kovatsch und Paulo M. Mendes Dezember 2021. Details URL BIB
• Februar 2021 RMC Factory: A New Approach for Avionics Software Reuse Laurent Dieudonne , Andreas Bayha und Benedikt Müller In 3rd Workshop on Avionics Systems and Software Engineering (AvioSE21, SE 2021 Satellite Events), Band 2814, Februar 2021. CEUR-WS. Details URL BIB

2020

• Dezember 2020 A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control Yuri Gil Dantas , Vivek Nigam und Carolyn Talcott In IEEE Vehicular Networking Conference (VNC), Seiten 1-8, Dezember 2020. IEEE. Details DOI BIB

2019

• Juli 2019 BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings Natalia Gavrilenko , Hernán Ponce de León , Florian Furbach , Keijo Heljanko und Roland Meyer In Computer Aided Verification (CAV) 2019., Band 11561 von LNCS, Juli 2019. Springer, Cham. Details DOI BIB
• Januar 2019 Structure and behavior preserving statecharts refinements Eugene Syriani , Vasco Sousa und Levi Lúcio Science of Computer Programming, 170():49–79, Januar 2019. Details DOI BIB

2018

• Februar 2018 Concept of Distributed Interpolation for Skill-Based Manufacturing with Real-Time Communication Caren Dripke , Ben Schneider , Mihai Dragan und Alexander Verl In Fachkolloqium der Wissesschaftliche Gesellschaft Montage Handhabung Industrierobotik, Februar 2018. Details PDF BIB
• 2018 Full contract verification for ATL using symbolic execution Bentley James Oakes , Javier Troya , Levi Lúcio und Manuel Wimmer Software & Systems Modeling, 17():815–849, 2018. Details DOI BIB

2017

• 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 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

2015

• Februar 2015 Automatic Extraction of Session-Based Workload Specifications for Architecture-Level Performance Models. Christian Vögele , André van Hoorn und Helmut Krcmar In Proceedings of the International Workshop on Large-Scale Testing, Seiten 5-8, Februar 2015. ACM. Details BIB
• 2015 Towards a Performance Model Management Repository for Component-based Enterprise Applications Andreas Brunnert , Alexandru Danciu und Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Seiten 321–324, New York, NY, USA, 2015. ACM. Details URL DOI BIB
• 2015 Using Dynatrace Monitoring Data for Generating Performance Models of Java EE Applications Felix Willnecker , Andreas Brunnert , Wolfgang Gottesheim und Helmut Krcmar In Proceedings of the 6th ACM/SPEC International Conference on Performance Engineering, Seiten 103-104, New York, NY, USA, 2015. ACM. Details URL DOI BIB

2014

• November 2014 Automatic Extraction of Probabilistic Workload Specifications for Load Testing Session-Based Application Systems André van Hoorn , Christian Vögele , Eike Schulz , Wilhelm Hasselbring und Helmut Krcmar In Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2014), November 2014. ACM. Details BIB
• August 2014 Distributed MILS architectural approach for secure smart grids Denis Bytschkow , Jean Quilbeuf , Georgeta Igna und Harald Rueß In Smart Grid Security, Seiten 16–29, August 2014. Springer International Publishing. Details DOI BIB
• August 2014 Understanding and closing the gap between requirements on system and subsystem level Sabine Teufl , Wolfgang Böhm und Ralf Pinger In Model-Driven Requirements Engineering Workshop (MoDRE), 2014 IEEE 4th International, Seiten 77-86, August 2014. Details DOI BIB