|
|
|
|
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  |
CyPhy/WESE  |
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. |
CyPhy/WESE |
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. |
CyPhy/WESE |
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. |
CyPhy/WESE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lorenzo Lazzara, Giulio Mosé Mancuso, Fabio Cremona, Alessandro Ulisse |
A Modular SystemC RTOS Model for Uncertainty Analysis. |
CyPhy/WESE |
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. |
CyPhy/WESE |
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 |
CyPhy/WESE |
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. |
CyPhy/WESE |
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. |
CyPhy/WESE |
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. |
CyPhy/WESE |
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. |
CyPhy/WESE |
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. |
CyPhy/WESE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | André Stollenwerk |
An Embedded Graduate Lab Course with Spirit. |
CyPhy/WESE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Schoeberl |
Multicore Models of Communication for Cyber-Physical Systems. |
CyPhy/WESE |
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. |
CyPhy/WESE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha |
MicroITS: A Scaled-Down ITS Platform. |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani |
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems. |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen A. Edwards |
Further Experiences Teaching an FPGA-Based Embedded Systems Class. |
CyPhy/WESE |
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. |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | HeeJong Park 0001, Arvind Easwaran, Sidharta Andalam |
Challenges in Digital Twin Development for Cyber-Physical Production Systems. |
CyPhy/WESE |
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. |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela-Luminita Bujorianu |
CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems. |
CyPhy/WESE |
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. |
CyPhy/WESE |
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. |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil |
Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations). |
CyPhy/WESE |
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. |
CyPhy/WESE |
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). |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Le Coënt, Laurent Fribourg |
Controlled Recurrence of a Biped with Torso. |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Naderlinger |
Subjecting Legacy Simulink Models to Timing Specifications. |
CyPhy/WESE |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #29 of 29 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license