Liste als BibTeX-Datei exportieren

2020

• September 2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases Carmen Cârlan und Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12234 von LNCS, Seiten 298–306, September 2020. Springer. Details DOI BIB
• September 2020 A Safety Case Pattern for Systems with Machine Learning Components Ernest Wozniak , Carmen Cârlan , Esra Acar-Celik und Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Band 12235 von LNCS, Seiten 370–382, September 2020. Springer. Details DOI BIB
• September 2020 An Ontology-based Metamodel for Capability Descriptions Michael Weser , Jürgen Bock , Siwara Schmitt , Alexander Perzylo und Kathrin Evers In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Seiten 1679–1685, Vienna, Austria, September 2020. Details URL DOI BIB
• September 2020 Firefighter Virtual Reality Simulation for Personalized Stress Detection Sören Klingner , Zhiwei Han , Yuanting Liu , Fang Fang , Bashar Altakrouri , Bruno Michel , Jonas R. M. Weiss , Arvind Sridhar und Sophie Mai Chau In the 43rd German Conference on AI, Seiten 343-347, September 2020. Springer. Details BIB
• September 2020 Generation of Co-simulation Algorithms Subject to Simulator Contracts Cláudio Gomes , Casper Thule , Levi Lúcio , Hans Vangheluwe und Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), Band 12226 von LNCS, September 2020. 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 und 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 und Vivek Nigam In 36th International Conference on Logic Programming (ICLP), Rende, Italy, September 2020. Details BIB
• September 2020 Service Quality Through Government Proactivity: The Concept of Non-interaction Peter Kuhn und Dian Balta Seiten 82-95, 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 und 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 und Markus Rickert In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), Seiten 164–171, Vienna, Austria, September 2020. Details URL DOI BIB
• September 2020 Towards Automating Safety and Security Co-Analysis with Patterns Yuri Gil Dantas , Antoaneta Kondeva und Vivek Nigam In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, September 2020. Details BIB
• August 2020 Partner Programs and Complementor Assessment in Platform Ecosystems: A Multiple-Case Study Martin Engert , Andreas Hein und Helmut Krcmar In Twenty-Sixth Americas Conference on Information Systems: AMCIS 2020. A Virtual Conference, August 2020. Details URL BIB
• August 2020 Requirements and Design Principles for Business Model Tools Norman Schaffer , Olivia Stähler und Jörg Weking In Americas Conference on Information Systems (AMCIS 2020), August 2020. Details PDF BIB
• August 2020 Requirements-based Code Model Checking Ulrich Schöpp , Andreas Schweiger , Marina Reich , Tatiana Chuprina , Levi Lúcio und Hartmut Brüning In IEEE Workshop on Formal Requirements (FORMREQ2020), Seiten 21–27, August 2020. IEEE. Details DOI BIB
• Juli 2020 A Tool to Model and Simulate Dynamic Business Models Norman Schaffer , Martin Engert , Girts Leontjevs und Helmut Krcmar In 33rd Bled eConference, Juli 2020. Details PDF BIB
• Juli 2020 An Analysis of Business Model Component Interrelations Norman Schaffer , Clemens Drieschner und Helmut Krcmar In Twenty-Third Pacific Asia Conference on Information Systems (PACIS 2020), Juli 2020. Details PDF BIB
• Juli 2020 Experimental and Computational Study on Motor Control and Recovery After Stroke: Toward a Constructive Loop Between Experimental and Virtual Embodied Neuroscience Anna Letizia Allegra Mascaro , Egidio Falotico , Spase Petkoski , Maria Pasquini , Lorenzo Vannucci , Nuria Tort-Colet , Emilia Conti , Francesco Resta , Cristina Spalletti , Shravan Tata Ramalingasetty , Axel von Arnim , Emanuele Formento , Emmanouil Angelidis , Camilla Blixhavn , Trygve Leergaard , Matteo Caleo , Alain Destexhe , Auke Ijspeert , Silvestro Micera , Cecilia Laschi , Viktor Jirsa , Marc-Oliver Gewaltig und Francesco Pavone Frontiers in Systems Neuroscience, 14():, Juli 2020. Details URL DOI BIB
• Juli 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder , Sebastian Voss , Andreas Bayha , Alexandru Ipatiov und Maged Khalil Software and Systems Modeling, 19():911–934, Juli 2020. Details DOI BIB
• Juni 2020 Global Mobility Management for Next Generation Networks Rute C. Sofia Band ISBN-13: 978-1-5275-4848-0, ISBN-10: 1-5275-4848-1. Cambridge Scholars, , 2020 Computer Science Ausgabe, Juni 2020. Details URL BIB
• Juni 2020 Leveraging Context-awareness to Better Support the IoT Cloud-Edge Continuum Liliana I. Carvalho , Daniel Maniglia da Silva und Rute C. Sofia InProc. of The Fifth International Conference on Fog and Mobile Edge Computing (FMEC 2020). Paris, France, ():, Juni 2020. Details URL DOI BIB