Liste als BibTeX-Datei exportieren

2018

• Oktober 2018 Toward an IT-strategy Approach for Small and Mid-sized Municipalities in a Federal System Markus Jakob und Helmut Krcmar In 18th European Conference on Digital Government, Santiago de Compostela, Oktober 2018. Academic Conferences and Publishing International Limited. Details BIB
• Oktober 2018 Towards Dependability Metrics for Neural Networks Chih-Hong Cheng , Georg Nührenberg , Harald Rueß und Hirotoshi Yasuoka In 16th ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2018, Beijing, China, October 15-18, 2018, Seiten 43–46, Oktober 2018. Details URL DOI BIB
• September 2018 Alternatives for Flexible Deployment Architectures in Industrial Automation Systems Sten Grüner , Somayeh Malakuti , Johannes Schmitt , Tarik Terzimehić , Monika Wenger und Haitham Elfham In 23rd International Conference on Emerging Technologies And Factory Automation (ETFA), September 2018. Details DOI BIB
• August 2018 Algorithms and Tools Jörn Migge , Patricia Balbastre , Simon Barner , Franck Chauvel , Silviu S. Craciunas , Alexander Diewald , Guy Durrieu , Oystein Haugen , Ali Abbas Jaffari Syed , Claire Pagetti , Ramon Serna Oliver und Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB
• August 2018 Architectural Style Roman Obermaisser , Mohammed Abuteir , Hamidreza Ahmadian , Patricia Balbastre , Simon Barner , Marcello Coppola , Javier Coronel , Alfons Crespo , Gerhard Fohler , Gautam Gala , Miltos Grammatikakis , Asier Larrucea Ortube , Thomas Koller , Zaher Owda und Donatus Weber CRC Press, August 2018. Details DOI BIB
• August 2018 Der Referenzarchitekturbegriff im Wandel der Zeit Andreas Reidt , Matthias Pfaff und Helmut Krcmar , ():1-14, August 2018. Details URL DOI BIB
• August 2018 Formalizing EARS – First Impressions Levi Lúcio und Tahira Iqbal In 2018 1st International Workshop on Easy Approach to Requirements Syntax (EARS), Seiten 11-13, August 2018. Details DOI BIB
• August 2018 Managing Standardization in eGovernment: A Coordination Theory based Analysis Framework Dian Balta und Helmut Krcmar In Electronic Government, Seiten 60-72, August 2018. Peter Parycek, Olivier Glassey, Marijn Janssen, Hans Jochen Scholl, Efthimios Tambouris, Evangelos Kalampokis, Shefali Virkar. Details URL DOI BIB
• August 2018 Modeling and Development Process Simon Barner , Franck Chauvel , Alexander Diewald , Fernando Eizaguirre , Oystein Haugen , Jörn Migge und Anatoly Vasilevskiy CRC Press, August 2018. Details DOI BIB
• August 2018 Using Design Space Exploration to Calculate Deployment Configurations of IEC 61499-based Systems Tarik Terzimehić , Sebastian Voss und Monika Wenger In 14th IEEE International Conference on Automation Science and Engineering (IEEE CASE 2018), August 2018. IEEE. Details DOI BIB
• Juli 2018 An Event-Based AutomationML Model for the Process Execution of ‘Plug-and-Produce’ Assembly Systems Paul Danny , Pedro Ferreira , Kirill Dorofeev und Niels Lohse In IEEE 16th International Conference of Industrial Informatics (INDIN), Juli 2018. Details BIB
• Juli 2018 Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) Chih-Hong Cheng , Georg Nührenberg , Chung-Hao Huang und Harald Rueß In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Seiten 279–290, Juli 2018. Details URL DOI BIB
• Juni 2018 ML + FV = ♡? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani , Levi Lúcio und Adrian Bibal Juni 2018. Details URL BIB
• Juni 2018 Skill-based Engineering Approach using OPC UA Programs Kirill Dorofeev und Alois Zoitl In IEEE 16th International Conference of Industrial Informatics (INDIN), Juni 2018. Details BIB
• Juni 2018 Towards a Common Manufacturing Service Bus to Enable Flexible Plug-and-Produce Automation Fabio Miranda , Renato Martins , Kirill Dorofeev , Valerio Gentile , Pedro Ferreira und Magno Guedes In ISR 2018; 50th International Symposium on Robotics, Juni 2018. Details BIB
• Mai 2018 Handling system complexity in sCPS: usable design space exploration Sebastian Voss und Johannes Eder In 2018 IEEE/ACM 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), Seiten 2–5, Mai 2018. IEEE, Details DOI BIB
• April 2018 Applying DSE for Solving the Deployment Problem in Industry 4.0 Tarik Terzimehić , Sebastian Voss , Monika Wenger und Vincent Aravantinos In 14th Dagstuhl Workshop on Model-Based Development of Embedded Systems (MBEES), April 2018. fortiss GmbH. Details BIB
• April 2018 Model-Based Calibration of a Robotic C-Arm System Using X-Ray Imaging Sabine Thürauf , Oliver Hornung , Mario Körner , Florian Vogt , Alois Knoll und M. Ali Nasseri Journal of Medical Robotics Research, ():, April 2018. Details DOI BIB
• März 2018 Architecture Exploration for Safety-Critical Systems Alexander Diewald , Simon Barner und Sebastian Voss In Proceedings of the DATE Workshop on New Platforms for Future Cars: Current and Emerging Trends (NPCAR), März 2018. Details BIB
• März 2018 Formal analysis of feature degradation in fault-tolerant automotive systems Klaus Becker , Sebastian Voss und Bernhard Schätz Science of Computer Programming, 154(1):89–133, März 2018. Details DOI BIB