|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 29 publication records. Showing 29 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Roger D. Chamberlain, Martin Edin Grimheden, Walid Taha (eds.) |
Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![Springer, 978-3-030-41130-5 The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jerónimo Castrillón, Edward A. Lee, Alberto L. Sangiovanni-Vincentelli |
Reactors: A Deterministic Model for Composable Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 59-85, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl |
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 203-227, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Le Coënt, Laurent Fribourg |
Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 181-202, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Lazzara, Giulio Mosé Mancuso, Fabio Cremona, Alessandro Ulisse |
A Modular SystemC RTOS Model for Uncertainty Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 3-27, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Wonseok Lee, Jaehwan Jeong, Seonghyeon Park, Chang-Gun Lee |
Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 127-152, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Roger D. Chamberlain, Walid Taha, Martin Törngren (eds.) |
Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![Springer, 978-3-030-23702-8 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Paul Rousse, Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche |
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 89-107, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Mehrshad Zandigohar, Mo Han, Deniz Erdogmus, Gunar Schirner |
Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 44-58, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yunosuke Yamada, Masashi Sato, Kazunori Ueda |
Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 153-178, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk, Stefan Kowalewski |
A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 231-246, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Adam Duracz, Ayman Aljarbouh, Ferenc A. Bartha, Jawad Masood, Roland Philippsen, Henrik Eriksson, Jan Duracz, Fei Xu, Yingfu Zeng, Christian Grante |
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 108-126, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | André Stollenwerk |
An Embedded Graduate Lab Course with Spirit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 247-263, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Schoeberl |
Multicore Models of Communication for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 28-43, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Martin Törngren, Fredrik Asplund, Tor Ericson, Catrin Granbom, Erik Herzog, Zhonghai Lu, Mats Magnusson, Maria Månsson, Stefan Norrwing, Johanna Olsson, Johnny Öberg |
Competence Networks in the Era of CPS - Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain Center. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers, pp. 264-283, 2019, Springer, 978-3-030-41130-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha |
MicroITS: A Scaled-Down ITS Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 214-221, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani |
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 3-27, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stephen A. Edwards |
Further Experiences Teaching an FPGA-Based Embedded Systems Class. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 222-230, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikucionis, Jakob Haahr Taankvist |
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 113-133, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | HeeJong Park 0001, Arvind Easwaran, Sidharta Andalam |
Challenges in Digital Twin Development for Cyber-Physical Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 28-48, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp |
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 170-189, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Manuela-Luminita Bujorianu |
CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 134-153, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Roger D. Chamberlain, Ron K. Cytron, Doug Shook, Bill Siever |
Computers Interacting with the Physical World: A First-Year Course. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 197-205, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sofia Amador Nelke, Michael Winokur |
Introducing IoT Subjects to an Existing Curriculum. An Ongoing Experience at the Faculty of the Technology Management - HIT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 193-196, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil |
Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 71-90, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustdar, Radu Grosu |
CPS/IoT Ecosystem: A Platform for Research and Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 206-213, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Müller 0015, Stefan Mitsch, Wieland Schwinger, André Platzer |
A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 91-110, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Le Coënt, Laurent Fribourg |
Controlled Recurrence of a Biped with Torso. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 154-169, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Naderlinger |
Subjecting Legacy Simulink Models to Timing Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CyPhy/WESE ![In: Cyber Physical Systems. Model-Based Design - 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4-5, 2018, Revised Selected Papers, pp. 51-70, 2018, Springer, 978-3-030-23702-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|