default search action

combined dblp search
author search
venue search
publication search

ask others

6. CyPhy 2016: Pittsburgh, PA, USA

> Home > Conferences and Workshops > CyPhy

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/2016
Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski:
Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10107, Springer 2017, ISBN 978-3-319-51737-7
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/AhmadYRS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/AhmadYRS16
Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga:
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. 1-16
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/BetsunoMU16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/BetsunoMU16
Kenichi Betsuno, Shota Matsumoto, Kazunori Ueda:
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. 17-30
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/CaltaisLLW16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/CaltaisLLW16
Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser:
SysML to NuSMV Model Transformation via Object-Orientation. 31-45
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/ChowdhuryJC16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/ChowdhuryJC16
Shafiul Azam Chowdhury, Taylor T. Johnson, Christoph Csallner:
CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments. 46-60
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/LeahyD16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/LeahyD16
Fergus Leahy, Naranker Dulay:
Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper). 61-70
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/SchlesingerHGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/SchlesingerHGG16
Sebastian Schlesinger, Paula Herber, Thomas Göthel, Sabine Glesner:
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow. 71-86
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/SchwabHH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/SchwabHH16
Stefan Schwab, Bernd Holzmüller, Sören Hohmann:
Automated Verification of Switched Systems Using Hybrid Identification. 87-100
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/VanherpenDMV16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/VanherpenDMV16
Ken Vanherpen, Joachim Denil, Paul De Meulenaere, Hans Vangheluwe:
Ontological Reasoning as an Enabler of Contract-Based Co-design. 101-115
- view
  authority control:
- export record
  dblp key:
  - conf/cyphy/WestmanNT16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cyphy/WestmanNT16
Jonas Westman, Mattias Nyberg, Oscar Thydén:
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems. 116-125

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.