EASE-related Publications

Shown Category: Cognitive Architectures & Systems

2020

[1] EO-MTRNN: evolutionary optimization of hyperparameters for a neuro-inspired computational model of spatiotemporal learning
Erhard Wieser, Gordon Cheng, "EO-MTRNN: evolutionary optimization of hyperparameters for a neuro-inspired computational model of spatiotemporal learning", In Biological Cybernetics, Springer, pp. 1-25, 2020.
[bib]
[2] Embodied Functional Relations: a Formal Account Combining Abstract Logical Theory with Grounding in Simulation
Mihai Pomarlan, John A. Bateman, "Embodied Functional Relations: a Formal Account Combining Abstract Logical Theory with Grounding in Simulation", In Proceedings of the 11th International Conference on Formal Ontology in Information Systems, 2020.
[bib]
[3] Learning Motion Parameterizations of Mobile Pick and Place Actions from Observing Humans in Virtual Environments
Gayane Kazhoyan, Alina Hawkin, Sebastian Koralewski, Andrei Haidu, Michael Beetz, "Learning Motion Parameterizations of Mobile Pick and Place Actions from Observing Humans in Virtual Environments", In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2020.
[bib]
[4] The Robot Household Marathon Experiment
Gayane Kazhoyan, Simon Stelter, Franklin Kenghagho Kenfack, Sebastian Koralewski, Michael Beetz, "The Robot Household Marathon Experiment", 2020.
[pdf] [bib]
[5] Fast Computations of Accurate Proximity Information in Unreal
Marc O Rüdel, Janis Rosskamp, Hermann Meissenhelter, Rene Weller, Gabriel Zachmann, "Fast Computations of Accurate Proximity Information in Unreal", In Frontiers in Virtual Reality, 2020. in preparation
[bib]
[6] Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling
Tim Meywerk, Marcel Walter, Vladimir Herdt, Jan Kleinekathöfer, D. Große, Rolf Drechsler, "Verifying Safety Properties of Robotic Plans operating in Real-World Environments via Logic-based Environment Modeling", In Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 2020.
[bib]
[7] Clustering-Guided SMT(LRA) Learning
Tim Meywerk, Marcel Walter, Daniel Große, Rolf Drechsler, "Clustering-Guided SMT(LRA) Learning", In 16th International Conference on integrated Formal Methods (iFM), 2020.
[bib]
[8] Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study
Vladimir Herdt, Daniel Große, Eyck Jentzsch, Rolf Drechsler, "Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study", In Forum on specification & Design Languages (FDL), 2020.
[bib]
[9] RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms
Vladimir Herdt, Daniel Große, Rolf Drechsler, "RVX - A Tool for Concolic Testing of Embedded Binaries Targeting RISC-V Platforms", In International Symposium on Automated Technology for Verification and Analysis (ATVA), 2020.
[bib]
[10] Linking Labs: Interconnecting Experimental Environments
Tanja Schultz, Felix Putze, Thorsten Fehr, Moritz Meier, Celeste Mason, Florian Ahrens, Manfred Herrmann, "Linking Labs: Interconnecting Experimental Environments", In submitted to PLOSone, 2020.
[bib]

2019

[11] MatCALO: Knowledge-enabled machine learning in materials science
Mareike Picklum, Michael Beetz, "MatCALO: Knowledge-enabled machine learning in materials science", In Computational Materials Science, Elsevier, vol. 163, pp. 50-62, 2019.
[pdf] [bib]
[12] Towards formal verification of plans for cognition-enabled autonomous robotic agents
Tim Meywerk, Marcel Walter, Vladimir Herdt, Daniel Große, Rolf Drechsler, "Towards formal verification of plans for cognition-enabled autonomous robotic agents", In 2019 22nd Euromicro Conference on Digital System Design (DSD), pp. 129-136, 2019.
[pdf] [bib]
[13] Comparative Analysis of Think-aloud Methods for Everyday Activities in the Context of Cognitive Robotics
Moritz Meier, Celeste Mason, Felix Putze, Tanja Schultz, "Comparative Analysis of Think-aloud Methods for Everyday Activities in the Context of Cognitive Robotics", In 20th Annual Conference of the International Speech Communication Association, Graz, Austria, 2019. Interspeech 2019
[pdf] [bib]
[14] Cognition-enabled robotic wiping: Representation, planning, execution, and interpretation
Daniel Leidner, Georg Bartels, Wissam Bejjani, Alin Albu-Schäffer, Michael Beetz, "Cognition-enabled robotic wiping: Representation, planning, execution, and interpretation", In Robotics and Autonomous Systems, Elsevier, vol. 114, pp. 199-216, 2019.
[bib]
[15] Executing Underspecified Actions in Real World Based on Online Projection
Gayane Kazhoyan, Michael Beetz, "Executing Underspecified Actions in Real World Based on Online Projection", In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2019.
[bib] [doi]
[16] Accomplishing Variations of Mobile Manipulation Actions through Generalized Robot Plans
Gayane Kazhoyan, Michael Beetz, "Accomplishing Variations of Mobile Manipulation Actions through Generalized Robot Plans", In Proceedings of the Seventh Annual Conference on Advances in Cognitive Systems, 2019.
[bib]
[17] Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems
Rolf Drechsler, Daniel Große, "Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems", In 2019 IEEE 28th Asian Test Symposium (ATS), pp. 159-1595, 2019.
[pdf] [bib]
[18] Information System for Storage, Management and Usage for Embodied Intelligent Agents
Daniel Beßler, Asil Kaan Bozcuoglu, Michael Beetz, "Information System for Storage, Management and Usage for Embodied Intelligent Agents", Chapter in Information Storage from a multi-disciplinary perspective, Springer, 2019. 978-3-030-19261-7
[pdf] [bib]
[19] Scalable Design for Field-Coupled Nanocomputing Circuits
Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Groundefinede, Rolf Drechsler, "Scalable Design for Field-Coupled Nanocomputing Circuits", In Proceedings of the 24th Asia and South Pacific Design Automation Conference, Association for Computing Machinery, New York, NY, USA, pp. 197-202, 2019.
[pdf] [bib] [doi]
[20] Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents
Tim Meywerk, M. Walter, Vladimir Herdt, D. Große, R. Drechsler, "Towards Formal Verification of Plans for Cognition-Enabled Autonomous Robotic Agents", In 2019 22nd Euromicro Conference on Digital System Design (DSD), pp. 129-136, 2019.
[bib]
[21] Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems
Rolf Drechsler, Daniel Große, "Ensuring Correctness of Next Generation Devices: From Reconfigurable to Self-Learning Systems", In 2019 IEEE 28th Asian Test Symposium (ATS), pp. 159-1595, 2019.
[pdf] [bib]
[22] Scalable Design for Field-Coupled Nanocomputing Circuits
Marcel Walter, Robert Wille, Frank Sill Torres, Daniel Groundefinede, Rolf Drechsler, "Scalable Design for Field-Coupled Nanocomputing Circuits", In Proceedings of the 24th Asia and South Pacific Design Automation Conference, Association for Computing Machinery, New York, NY, USA, pp. 197-202, 2019.
[pdf] [bib] [doi]

2018

[23] A Self-Verifying Cognitive Architecture for Robust Bootstrapping of Sensory-Motor Skills via Multipurpose Predictors
Erhard Wieser, Gordon Cheng, "A Self-Verifying Cognitive Architecture for Robust Bootstrapping of Sensory-Motor Skills via Multipurpose Predictors", In IEEE Transactions on Cognitive and Developmental Systems, IEEE, vol. 10, no. 4, pp. 1081-1095, 2018.
[bib]
[24] UnrealHaptics: A Plugin-System for High Fidelity Haptic Rendering in the Unreal Engine
Marc O Rüdel, Johannes Ganser, Rene Weller, Gabriel Zachmann, "UnrealHaptics: A Plugin-System for High Fidelity Haptic Rendering in the Unreal Engine", In Springer Lecture Notes in Computer Science, LNCS, Volume 11162 (EuroVR Proc.), pp. 128-147, 2018.
[bib]
[25] Towards Deep Player Behavior Models in MMORPGs
J. Pfau, J.D. Smeddinck, R. Malaka, "Towards Deep Player Behavior Models in MMORPGs", In Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play, pp. 381-392, 2018.
[pdf] [bib] [doi]
[26] Human activities data collection and labeling using a think-aloud protocol in a table setting scenario
C Mason, M Meier, F Ahrens, T Fehr, M Herrmann, F Putze, T Schultz, "Human activities data collection and labeling using a think-aloud protocol in a table setting scenario", In , 2018.
[bib]
[27] Know rob 2.0—a 2nd generation knowledge processing framework for cognition-enabled robotic agents
Michael Beetz, Daniel Beßler, Andrei Haidu, Mihai Pomarlan, Asil Kaan Bozcuo\uglu, Georg Bartels, "Know rob 2.0—a 2nd generation knowledge processing framework for cognition-enabled robotic agents", In 2018 IEEE International Conference on Robotics and Automation (ICRA), pp. 512-519, 2018.
[pdf] [bib]
[28] SAT-Lancer: A Hardware SAT-Solver for Self-Verification
Buse Ustaoglu, Sebastian Huhn, Daniel Große, Rolf Drechsler, "SAT-Lancer: A Hardware SAT-Solver for Self-Verification", In ACM Great Lakes Symposium on VLSI, pp. 479-482, 2018.
[bib]

2017

[29] Verifying next generation electronic systems
R. Drechsler, D. Große, "Verifying next generation electronic systems", In 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), pp. 6-10, 2017.
[pdf] [bib] [doi]
[30] Updating Bayesian networks using crowds
H Sarma, AB Samaddar, R Porzel, JD Smeddinck, R Malaka, "Updating Bayesian networks using crowds", In Neural Network World, Czech Technical University in Prague, Faculty of Transportation Sciences, vol. 27, no. 5, pp. 529-540, 2017.
[pdf] [bib]
[31] A Cloud Service for Robotic Mental Simulations
Asil Kaan Bozcuoglu, Michael Beetz, "A Cloud Service for Robotic Mental Simulations", In International Conference on Robotics and Automation (ICRA), Singapore, 2017.
[bib]
[32] Heterogeneous Ontologies and Hybrid Reasoning for Service Robotics: The EASE Framework
John Bateman, Michael Beetz, Daniel Beßler, Asil Kaan Bozcuoglu, Mihai Pomarlan, "Heterogeneous Ontologies and Hybrid Reasoning for Service Robotics: The EASE Framework", In Third Iberian Robotics Conference, Sevilla, Spain, 2017.
[pdf] [bib]
[33] Verifying next generation electronic systems
R. Drechsler, D. Große, "Verifying next generation electronic systems", In 2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS), pp. 6-10, 2017.
[pdf] [bib] [doi]

2016

[34] ParCoSS: Efficient Parallelized Compiled Symbolic Simulation
Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler, "ParCoSS: Efficient Parallelized Compiled Symbolic Simulation", In Computer Aided Verification, 2016.
[bib]

2015

[35] Open-EASE -- A Cloud-Based Knowledge Service for Autonomous Learning
Moritz Tenorth, Jan Winkler, Daniel Beßler, Michael Beetz, "Open-EASE -- A Cloud-Based Knowledge Service for Autonomous Learning", In KI -- KÃŒnstliche Intelligenz, Springer Berlin Heidelberg, 2015.
[bib] [doi]
[36] Verifying SystemC Using Stateful Symbolic Simulation
Vladimir Herdt, Hoang M. Le, Rolf Drechsler, "Verifying SystemC Using Stateful Symbolic Simulation", In Design Automation Conference, pp. 49:1-49:6, 2015.
[bib]

2014

[37] Requirements Engineering for Cyber-Physical Systems - Challenges in the Context of "Industrie 4.0"
Stefan Wiesner, Christian Gorldt, Mathias Soeken, Klaus-Dieter Thoben, Rolf Drechsler, "Requirements Engineering for Cyber-Physical Systems - Challenges in the Context of "Industrie 4.0"", In Advances in Production Management Systems. Innovative and Knowledge-Based Production Management in a Global-Local World - IFIP WG 5.7 International Conference, APMS 2014, Ajaccio, France, September 20-24, 2014, Proceedings, Part I, pp. 281-288, 2014.
[bib]

2013

[38] KnowRob -- A Knowledge Processing Infrastructure for Cognition-enabled Robots. Part 1: The KnowRob System
Moritz Tenorth, Michael Beetz, "KnowRob -- A Knowledge Processing Infrastructure for Cognition-enabled Robots. Part 1: The KnowRob System", In International Journal of Robotics Research (IJRR), vol. 32, no. 5, pp. 566-590, 2013.
[bib]
[39] Verifying SystemC using an intermediate verification language and symbolic simulation
Hoang M. Le, Daniel Große, Vladimir Herdt, Rolf Drechsler, "Verifying SystemC using an intermediate verification language and symbolic simulation", In Design Automation Conference, pp. 116:1-116:6, 2013.
[bib]

2012

[40] Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence
Michael Beetz, Dominik Jain, Lorenz Mösenlechner, Moritz Tenorth, Lars Kunze, Nico Blodow, Dejan Pangercic, "Cognition-Enabled Autonomous Robot Control for the Realization of Home Chore Task Intelligence", In Proceedings of the IEEE, vol. 100, no. 8, pp. 2454-2471, 2012.
[bib]
[41] Automatic TLM Fault Localization for SystemC
Hoang M. Le, Daniel Große, Rolf Drechsler, "Automatic TLM Fault Localization for SystemC", In IEEE Transactions on Computer Aided Design of Circuits and Systems, vol. 31, no. 8, pp. 1249-1262, 2012.
[bib]

2011

[42] Effective Robustness Analysis Using Bounded Model Checking Techniques
Görschwin Fey, André Sülflow, Stefan Frehse, Rolf Drechsler, "Effective Robustness Analysis Using Bounded Model Checking Techniques", In IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 30, no. 8, pp. 1239-1252, 2011.
[bib]

2009

[43] Advanced verification by automatic property generation
Frank Rogin, Thomas Klotz, Görschwin Fey, Rolf Drechsler, Steffen Rülke, "Advanced verification by automatic property generation", In IET Computers & Digital Techniques, vol. 3, no. 4, pp. 338-353, 2009.
[bib]

2008

[44] Improved SAT-based Reachability Analysis with Observability Don't Cares
Sean Safarpour, Andreas G. Veneris, Rolf Drechsler, "Improved SAT-based Reachability Analysis with Observability Don't Cares", In JSAT, vol. 5, no. 1-4, pp. 1-25, 2008.
[bib]

Close Menu