Scientific publications
2020
- Graph Neural Networks and Reinforcement Learning for Behavior Generation in Semantic Environments In In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), October 2020. Details BIB
- Optimal Behavior Planning for Autonomous Driving: A Generic Mixed-Integer Formulation In Proceedings of the 31st IEEE Intelligent Vehicles Symposium (IV), Las Vegas, NV, USA, October 2020. Details BIB
- FASTEN.Safe: A Model-Driven Engineering Tool to Experiment with Checkable Assurance Cases 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
- A Safety Case Pattern for Systems with Machine Learning Components 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
- An Ontology-based Metamodel for Capability Descriptions 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
- Firefighter Virtual Reality Simulation for Personalized Stress Detection In the 43rd German Conference on AI, pages 343-347, September 2020. Springer. Details BIB
- Generation of Co-simulation Algorithms Subject to Simulator Contracts In Software Engineering and Formal Method (SEFM 2019), volume 12226 of LNCS, September 2020. Springer, Cham. Details DOI BIB
- Information-centric Routing for Opportunistic Wireless Networks - draft-mendes-icnrg-dabber-05 IETF Network Working Group draft, experimental, ():, September 2020. Details URL BIB
- Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns (Application Paper) In 36th International Conference on Logic Programming (ICLP), Rende, Italy, September 2020. Details BIB
- Service Quality Through Government Proactivity: The Concept of Non-interaction 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
- The Joy of Collaborating with Highly Automated Vehicles AutomotiveUI '20: 12th International Conference on Automotive User Interfaces and Interactive Vehicular Applications, ():223–232, September 2020. Details DOI BIB
- Toward a Knowledge-Based Data Backbone for Seamless Digital Engineering in Smart Factories 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
- Towards Automating Safety and Security Co-Analysis with Patterns In 39th International Conference on Computer Safety, Reliability and Security (SafeComp), Lisbon, Portugal, September 2020. Details BIB
- Partner Programs and Complementor Assessment in Platform Ecosystems: A Multiple-Case Study In Twenty-Sixth Americas Conference on Information Systems: AMCIS 2020. A Virtual Conference, August 2020. Details URL BIB
- Requirements and Design Principles for Business Model Tools In Americas Conference on Information Systems (AMCIS 2020), August 2020. Details PDF BIB
- Requirements-based Code Model Checking In IEEE Workshop on Formal Requirements (FORMREQ2020), pages 21–27, August 2020. IEEE. Details DOI BIB
- A Tool to Model and Simulate Dynamic Business Models In 33rd Bled eConference, July 2020. Details PDF BIB
- An Analysis of Business Model Component Interrelations In Twenty-Third Pacific Asia Conference on Information Systems (PACIS 2020), July 2020. Details PDF BIB
- Experimental and Computational Study on Motor Control and Recovery After Stroke: Toward a Constructive Loop Between Experimental and Virtual Embodied Neuroscience Frontiers in Systems Neuroscience, 14():, July 2020. Details URL DOI BIB
- Hardware architecture exploration: automatic exploration of distributed automotive hardware architectures Software and Systems Modeling, 19():911–934, July 2020. Details DOI BIB