Search results for "Syde"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
138	Lile Hattori, Michele Lanza	Syde: a tool for collaborative software development.	ICSE (2)	2010	DBLP DOI BibTeX RDF	Syde, visualization, collaboration, awareness, change
42	Mona Michaud, Alexandre Guérin, Marguerite Dejean de La Bâtie, Léopold Bancel, Laurent Oudre, Alexis Tricot	The Analytical Validity of Stride Detection and Gait Parameters Reconstruction Using the Ankle-Mounted Inertial Measurement Unit Syde®.	Sensors	2024	DBLP DOI BibTeX RDF
30	Lile Hattori, Michele Lanza	Mining the history of synchronous changes to refine code ownership.	MSR	2009	DBLP DOI BibTeX RDF
30	Felix Hübner, Jan Peleska 0001	Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Paula Herber, Sabine Glesner	Verification of Embedded Real-time Systems.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Gökçe Aydos, Görschwin Fey	In-circuit Error Detection with Software-based Error Correction - An Alternative to TMR.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Christoph Hilken, Jan Peleska 0001	Model-Based Testing Against Complex SysML Models.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Sami Haddadin	Physical Safety in Robotics.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Felix Wenk, Udo Frese	Pose and Posture Estimation using Inertial Sensor Data.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Frédéric Mallet	MARTE/CCSL for Modeling Cyber-Physical Systems.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Matthias Goldhoorn, Frank Kirchner	Constraint-based Handling of Component Networks.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Judith Peters, Rolf Drechsler	Analyzing and Simulating Time Descriptions from UML/MARTE CCSL.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Julia Seiter 0002, Rolf Drechsler	Development of Consistent Formal Models.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Bernd Becker 0001, Matthias Sauer 0002, Christoph Scholl 0001, Ralf Wimmer 0001	Modeling Unknown Values in Test and Verification.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Hendrik Wöhrle, Frank Kirchner	Reconfigurable Hardware-Based Acceleration for Machine Learning and Signal Processing.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Niels Thole, Görschwin Fey	Formal Verification of Robustness.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Melanie Diepenbeck, Rolf Drechsler	Behavior Driven Development for Tests and Verification.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Rolf 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	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Klaus Havelund, Giles Reger	Specification of Parametric Monitors.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Elsa Andrea Kirchner, Jose de Gea Fernandez, Peter Kampmann, Martin Schröer, Jan Hendrik Metzen, Frank Kirchner	Intuitive Interaction with Robots - Technical Approaches and Challenges.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Xian Li 0002, Klaus Schneider 0001	An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Malgorzata Goldhoorn, Frank Kirchner	Semantic Object Recognition Based on Qualitative Probabilistic Spatial Relations.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Eleonora Schönborn, Rolf Drechsler	Design and Synthesis of Reversible Circuits using Hardware Description Languages.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Dennis Schüthe, Udo Frese	Dynamic Rebound Control and Human Robot Interaction of a Ball Playing Robot.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Goran Frehse	An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Anne E. Haxthausen, Jan Peleska 0001	Model Checking and Model-Based Testing in the Railway Domain.	SyDe Summer School	2015	DBLP DOI BibTeX RDF
30	Mohamed Ibrahim 0002, Zipeng Li, Krishnendu Chakrabarty	Advances in Design Automation Techniques for Digital-Microfluidic Biochips.	SyDe Summer School	2015	DBLP DOI BibTeX RDF