Export list as BibTeX file

2020

• September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes, Casper Thule, Levi Lúcio, Hans Vangheluwe and Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, Springer, Cham. Details DOI BIB
• September 2020 Information-centric Routing for Opportunistic Wireless Networks - draft-mendes-icnrg-dabber-05 Paulo M. Mendes, Rute C. Sofia, Vassilis Tsaoussidis and Carlos Borrego IETF Network Working Group draft, experimental, ():, September 2020. Details URL BIB
• September 2020 Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam In 36th International Conference on Logic Programming (ICLP), Rende, Italy, Details BIB
• September 2020 Service Quality Through Government Proactivity: The Concept of Non-interaction Peter Kuhn and Dian Balta volume of Lecture Notes in Computer Science, pages 82-95, , edition, September 2020. , Gabriela Viale Pereira, Marijn Janssen, Habin Lee, Ida Lindgren, Manuel Pedro Rodríguez Bolívar, Hans Jochen Scholl, Anneke Zuiderwijk. Details URL DOI BIB
• September 2020 The Joy of Collaborating with Highly Automated Vehicles Gesa Wiegand, Kai Holländer, Katharina Rupp and Heinrich Hußmann AutomotiveUI '20: 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, ():223–232, September 2020. Details DOI BIB
• September 2020 Toward a Knowledge-Based Data Backbone for Seamless Digital Engineering in Smart Factories Alexander Perzylo, Ingmar Kessler, Stefan Profanter and Markus Rickert In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), pages 164–171, Vienna, Austria, Details URL DOI BIB
• September 2020 Towards Automating Safety and Security Co-Analysis with Patterns Yuri Gil Dantas, Antoaneta Kondeva and Vivek Nigam In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, Details BIB
• August 2020 Partner Programs and Complementor Assessment in Platform Ecosystems: A Multiple-Case Study Martin Engert, Andreas Hein and Helmut Krcmar In Twenty-Sixth Americas Conference on Information Systems: AMCIS 2020. A Virtual Conference, Details URL BIB
• August 2020 Requirements and Design Principles for Business Model Tools Norman Schaffer, Olivia Stähler and Jörg Weking In Americas Conference on Information Systems (AMCIS 2020), Details PDF BIB
• August 2020 Requirements-based Code Model Checking Ulrich Schöpp, Andreas Schweiger, Marina Reich, Tatiana Chuprina, Levi Lúcio and Hartmut Brüning In IEEE Workshop on Formal Requirements (FORMREQ2020), pages 21–27, IEEE. Details DOI BIB