The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SyDe Summer School"( http://dblp.L3S.de/Venues/SyDe_Summer_School )

URL (DBLP): http://dblp.uni-trier.de/db/conf/syde

Publication years (Num. hits)
2015 (24)
Publication types (Num. hits)
inproceedings(23) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Felix Hübner, Jan Peleska 0001 Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Paula Herber, Sabine Glesner Verification of Embedded Real-time Systems. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gökçe Aydos, Görschwin Fey In-circuit Error Detection with Software-based Error Correction - An Alternative to TMR. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Christoph Hilken, Jan Peleska 0001 Model-Based Testing Against Complex SysML Models. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sami Haddadin Physical Safety in Robotics. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Felix Wenk, Udo Frese Pose and Posture Estimation using Inertial Sensor Data. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frédéric Mallet MARTE/CCSL for Modeling Cyber-Physical Systems. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Matthias Goldhoorn, Frank Kirchner Constraint-based Handling of Component Networks. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Judith Peters, Rolf Drechsler Analyzing and Simulating Time Descriptions from UML/MARTE CCSL. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Julia Seiter, Rolf Drechsler Development of Consistent Formal Models. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernd Becker 0001, Matthias Sauer 0002, Christoph Scholl, Ralf Wimmer Modeling Unknown Values in Test and Verification. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Hendrik Wöhrle, Frank Kirchner Reconfigurable Hardware-Based Acceleration for Machine Learning and Signal Processing. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Niels Thole, Görschwin Fey Formal Verification of Robustness. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Melanie Diepenbeck, Rolf Drechsler Behavior Driven Development for Tests and Verification. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Rolf Drechsler, Ulrich Kühne (eds.) Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Klaus Havelund, Giles Reger Specification of Parametric Monitors. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Elsa Andrea Kirchner, Jose de Gea Fernandez, Peter Kampmann, Martin Schröer, Jan Hendrik Metzen, Frank Kirchner Intuitive Interaction with Robots - Technical Approaches and Challenges. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xian Li, Klaus Schneider 0001 An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Malgorzata Goldhoorn, Frank Kirchner Semantic Object Recognition Based on Qualitative Probabilistic Spatial Relations. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Eleonora Schönborn, Rolf Drechsler Design and Synthesis of Reversible Circuits using Hardware Description Languages. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Dennis Schüthe, Udo Frese Dynamic Rebound Control and Human Robot Interaction of a Ball Playing Robot. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Goran Frehse An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Anne Elisabeth Haxthausen, Jan Peleska 0001 Model Checking and Model-Based Testing in the Railway Domain. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mohamed Ibrahim, Zipeng Li, Krishnendu Chakrabarty Advances in Design Automation Techniques for Digital-Microfluidic Biochips. Search on Bibsonomy SyDe Summer School The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license