Sven Schneider
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
28
Venues
13
Active years
2008–2025
Best venue rank
A*
Where they publish
Papers
28 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | FASE | Stochastic Timed Graph Transformation Systems. | Sven Schneider, Maria Maximova, Holger Giese |
| 2024 | CONCUR | Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions. | Lara Stoltenow, Barbara Knig, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas |
| 2024 | FASE | Combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems. | He Xu, Sven Schneider, Holger Giese |
| 2023 | ETFA | Towards Securing Hard Real-Time Networked Embedded Devices and Systems: a cBPF Implementation for an FPGA. | Hans Dermot Doran, Sven Schneider, Prosper Leibundgut, Stephan Neuhaus, Stefan Eberli |
| 2023 | ETFA | Towards HW-SW Co-Design for Secure Industrial Real-Time Ethernet Applications. | Hans Dermot Doran, Sven Schneider, Judith Meisterhans, Jel Bronwasser, David Ganz, Stefan Eberli |
| 2023 | IROS | A Thousand Worlds: Scenery Specification and Generation for Simulation-Based Testing of Mobile Robot Navigation Stacks. | Samuel Parra, Argentina Ortega, Sven Schneider, Nico Hochgeschwender |
| 2023 | ICRA | Domain-specific languages for kinematic chains and their solver algorithms: lessons learned for composable models. | Sven Schneider, Nico Hochgeschwender, Herman Bruyninckx |
| 2023 | RoboCup | b-it-bots: Winners of RoboCup@Work 2023. | Gokul Chenchani, Kevin Patel, Ravisankar Selvaraju, Shubham Shinde, Vamsi Kalagaturu, Vivek Mannava, Deebul Nair, Iman Awaad, Mohammad Wasil, Santosh Thoduka, Sven Schneider, Nico Hochgeschwender, Paul G. Plger |
| 2021 | FASE | Compositional Analysis of Probabilistic Timed Graph Transformation Systems. | Maria Maximova, Sven Schneider, Holger Giese |
| 2020 | ICINCO | Learning to Close the Gap: Combining Task Frame Formalism and Reinforcement Learning for Compliant Vegetable Cutting. | Abhishek Padalkar, Matthias Nieuwenhuisen, Sven Schneider, Dirk Schulz |
| 2020 | ICOST | ForeSight - An AI-driven Smart Living Platform, Approach to Add Access Control to openHAB. | Jochen Bauer, Michael Hechtel, Christoph Konrad, Martin Holzwarth, Hilko Hoffmann, Thomas Feld, Sven Schneider, Ingo Zinnikus, Andreas Mayr, Jrg Franke |
| 2020 | ICST | Model-Based Testing of Read Only Graph Queries. | Leen Lambers, Sven Schneider, Marcel Weisgut |
| 2019 | FASE | Metric Temporal Graph Logic over Typed Attributed Graphs. | Holger Giese, Maria Maximova, Lucas Sakizloglou, Sven Schneider |
| 2019 | FASE | A Logic-Based Incremental Approach to Graph Repair. | Sven Schneider, Leen Lambers, Fernando Orejas |
| 2019 | IROS | Exploiting linearity in dynamics solvers for the design of composable robotic manipulation architectures. | Sven Schneider, Herman Bruyninckx |
| 2019 | RoboCup | b-it-bots: Our Approach for Autonomous Robotics in Industrial Environments. | Abhishek Padalkar, Mohammad Wasil, Shweta Mahajan, Ramesh Kumar, Dharmin Bakaraniya, Raghuvir Shirodkar, Heruka Andradi, Deepan Padmanabhan, Carlo Wiesse, Ahmed Faisal Abdelrahman, Sushant Chavan, Naresh Gurulingan, Deebul Nair, Santosh Thoduka, Iman Awaad, Sven Schneider, Paul G. Plger, Gerhard K. Kraetzschmar |
| 2017 | FASE | Symbolic Model Generation for Graph Properties. | Sven Schneider, Leen Lambers, Fernando Orejas |
| 2015 | ETFA | Design and development of a benchmarking testbed for the Factory of the Future. | Sven Schneider, Frederik Hegger, Nico Hochgeschwender, Rhama Dwiputra, Alexander Moriarty, Jakob Berghofer, Gerhard K. Kraetzschmar |
| 2014 | IGARSS | Multiple endmember spectral unmixing within a multi-task framework. | Tatsumi Uezato, Richard J. Murphy, Arman Melkumyan, Anna Chlingaryan, Sven Schneider |
| 2014 | IROS | Declarative specification of task-based grasping with constraint validation. | Sven Schneider, Nico Hochgeschwender, Gerhard K. Kraetzschmar |
| 2014 | RoboCup | RoboCup@Work: Competing for the Factory of the Future. | Gerhard K. Kraetzschmar, Nico Hochgeschwender, Walter Nowak, Frederik Hegger, Sven Schneider, Rhama Dwiputra, Jakob Berghofer, Rainer Bischoff |
| 2014 | RoboCup | Safely Grasping with Complex Dexterous Hands by Tactile Feedback. | Jose Sanchez, Sven Schneider, Paul Plger |
| 2012 | ICRA | A geological perception system for autonomous mining. | Sven Schneider, Arman Melkumyan, Richard J. Murphy, Eric Nettleton |
| 2011 | CSEDU | Implementation of Wizard Technology into the Learning Management System OPAL. | Ariane Heller, Sven Schneider, Wolfram Hardt |
| 2011 | ICTAI | Classification of Hyperspectral Imagery Using GPs and the OAD Covariance Function with Automated Endmember Extraction. | Sven Schneider, Arman Melkumyan, Richard J. Murphy, Eric Nettleton |
| 2010 | ICTAI | Gaussian Processes with OAD Covariance Function for Hyperspectral Data Classification. | Sven Schneider, Arman Melkumyan, Richard J. Murphy, Eric Nettleton |
| 2009 | RSP | Communication-Aware Hierarchical Online-Placement in Heterogeneous Reconfigurable Systems. | Sven Schneider, Andr Meisel, Wolfram Hardt |
| 2008 | RSP | Design Flow for Reconfiguration Based on the Overlaying Concept. | Andr Meisel, Alexander Draeger, Sven Schneider, Wolfram Hardt |