|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 48 publication records. Showing 48 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Roger D. Chamberlain, Walid Taha, Martin Törngren (eds.) |
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers  |
CyPhy  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ichiro Hasuo |
Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki |
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract). |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Hokeun Kim, Armin Wasicek, Edward A. Lee |
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz |
Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnan Rashid, Osman Hasan |
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Kengo Kido, Sean Sedwards, Ichiro Hasuo |
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Wang 0003, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang 0003, Xi Li 0003, Xuehai Zhou |
FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki |
Template-Based Monte-Carlo Test Generation for Simulink Models. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee |
Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam |
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Shakiba Yaghoubi, Georgios Fainekos |
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems. |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Berger 0001, Mohammad Reza Mousavi 0001, Rafael Wisniewski (eds.) |
Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers |
CyPhy |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schwab, Bernd Holzmüller, Sören Hohmann |
Automated Verification of Switched Systems Using Hybrid Identification. |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Fergus Leahy, Naranker Dulay |
Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper). |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner |
CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments. |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Vanherpen, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe |
Ontological Reasoning as an Enabler of Contract-Based Co-design. |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser |
SysML to NuSMV Model Transformation via Object-Orientation. |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner |
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda |
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Westman, Mattias Nyberg, Oscar Thydén |
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga |
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. |
CyPhy |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | W. P. M. H. Heemels |
Resource-Aware Control and Dynamic Scheduling in CPS. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Nakajima 0001, Si-Mohamed Lamraoui |
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Schupp, Erika Ábrahám, Xin Chen 0002, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan 0001, Stefan Kowalewski |
Current Challenges in the Verification of Hybrid Systems. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Benjamin Beichler, Thorsten Schulz, Christian Haubelt, Frank Golatowski |
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela-Luminita Bujorianu, Nir Piterman |
A Modelling Framework for Cyber-Physical System Resilience. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Usman Sanwal, Osman Hasan |
Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Berger 0001, Mohammad Reza Mousavi 0001 (eds.) |
Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Keyur Parmar, Devesh C. Jinwala |
Hybrid Secure Data Aggregation in Wireless Sensor Networks. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Siegl, Martin Russer |
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Hermanns, Jan Krcál, Gilles Nies |
Recharging Probably Keeps Batteries Alive. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Engell, Radoslav Paulen, Michel A. Reniers, Christian Sonntag, Haydn Thompson |
Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS Project. |
CyPhy |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Clemens Krainer, Christoph M. Kirsch |
Cyber-physical cloud computing implemented as PaaS. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak |
Reducing the wrapping effect in flowpipe construction using pseudo-invariants. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Berger 0001 |
Saving virtual testing time for CPS by analyzing code coverage on the example of a lane-following algorithm. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I. White, Victor Salinas, Taylor T. Johnson |
Model-based design and analysis of a reconfigurable continuous-culture bioreactor. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasumathi Raman, Mehdi Maasoumy, Alexandre Donzé |
Model predictive control from signal temporal logic specifications: a case study. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits |
Towards a theory for cyber-physical systems modeling. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale |
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Hauke Stähle, Kai Huang 0001, Alois C. Knoll |
Drive-by-wireless with the eCar demonstrator. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Ralf Lämmel, Walid Taha (eds.) |
Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, CyPhy 2014, Berlin, Germany, April 14-17, 2014 |
CyPhy |
2014 |
DBLP BibTeX RDF |
|
| 1 | Wouter van Kleunen, Nirvana Meratnia, Paul J. M. Havinga |
aLS-Coop-Loc: cooperative combined localization and time-synchronization in underwater acoustic networks. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohannad A. Alharthi, Abd-Elhamid M. Taha |
Modeling mobility for networked mobile cyber-physical systems. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuela-Luminita Bujorianu, Robert S. MacKay |
Complex systems techniques for cyber-physical systems: position paper. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Bund, Frank Slomka |
Controller/platform co-design of networked control systems based on density functions. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Admar Ajith Kumar Somappa, Kent Inge Fagerland Simonsen |
Towards a model-based development approach for wireless sensor-actuator network protocols. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Albert M. K. Cheng |
An undergraduate cyber-physical systems course. |
CyPhy |
2014 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #48 of 48 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license