Export list as BibTeX file

2020

• September 2020 FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases Carmen Cârlan and Daniel Ratiu In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12234 of LNCS, pages 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 and Henrik J. Putzer In Proceedings of the International Conference on Computer Safety, Reliability, and Security (SAFECOMP), volume 12235 of LNCS, pages 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 and Kathrin Evers In Proceedings of the IEEE International Conference on Emerging Technologies And Factory Automation (ETFA), pages 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 and Sophie Mai Chau In the 43rd German Conference on AI, pages 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 and Peter Gorm Larsen In Software Engineering and Formal Method (SEFM 2019), volume 12226 of 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 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, September 2020. Details BIB
• September 2020 Service Quality Through Government Proactivity: The Concept of Non-interaction Peter Kuhn and Dian Balta pages 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 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, September 2020. 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, September 2020. 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, August 2020. 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), August 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, August 2020. IEEE. Details DOI BIB
• July 2020 A Tool to Model and Simulate Dynamic Business Models Norman Schaffer , Martin Engert , Girts Leontjevs and Helmut Krcmar In 33rd Bled eConference, July 2020. Details PDF BIB
• July 2020 An Analysis of Business Model Component Interrelations Norman Schaffer , Clemens Drieschner and Helmut Krcmar In Twenty-Third Pacific Asia Conference on Information Systems (PACIS 2020), July 2020. Details PDF BIB
• July 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 and Francesco Pavone Frontiers in Systems Neuroscience, 14():, July 2020. Details URL DOI BIB
• July 2020 Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Johannes Eder , Sebastian Voss , Andreas Bayha , Alexandru Ipatiov and Maged Khalil Software and Systems Modeling, 19():911–934, July 2020. Details DOI BIB
• June 2020 Global Mobility Management for Next Generation Networks Rute C. Sofia volume ISBN-13: 978-1-5275-4848-0, ISBN-10: 1-5275-4848-1. Cambridge Scholars, , 2020 Computer Science edition, June 2020. Details URL BIB
• June 2020 Leveraging Context-awareness to Better Support the IoT Cloud-Edge Continuum Liliana I. Carvalho , Daniel Maniglia da Silva and Rute C. Sofia InProc. of The Fifth International Conference on Fog and Mobile Edge Computing (FMEC 2020). Paris, France, ():, June 2020. Details URL DOI BIB