researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2014
2015
2016
2017
2018
2019
2020
Filter by Tag
Filter by Author
[+]
OR
AND
NOT
1
Abd-Elhamid M. Taha
Abhishek Dubey
Adam Duracz
Adnan Rashid
Adrien Le Coënt
Aili Wang
André Stollenwerk
Chang-Gun Lee
Daisuke Ishii
Edward A. Lee
Ichiro Hasuo
Joachim Denil
Kazunori Ueda
Ken Vanherpen
Laurent Fribourg
Manuela L. Bujorianu
Martin Schoeberl
Osman Hasan
Stefan Kowalewski
Taylor T. Johnson
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
control
cps
cyber
cyphy
design
hybrid
international
model
modeling
models
october
physical
simulation
systems
time
tool
using
verification
workshop
CyPhy (CyPhy)
Editions
Publications
Viewing Publication 1 - 77 from 77
2020
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
Roger D. Chamberlain
,
Martin Grimheden
,
Walid Taha
, editors,
Volume 11971 of
Lecture Notes in Computer Science
, Springer,
2020.
[doi]
2019
Towards Formal Co-validation of Hardware and Software Timing Models of CPSs
Mihail Asavoae
,
Imane Haur
,
Mathieu Jan
,
Belgacem Ben Hedia
,
Martin Schoeberl
.
CyPhy 2020
:
203-227
[doi]
Cyber Physical Systems. Design, Modeling, and Evaluation - 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017, Revised Selected Papers
Roger D. Chamberlain
,
Walid Taha
,
Martin Törngren
, editors,
Volume 11267 of
Lecture Notes in Computer Science
, Springer,
2019.
[doi]
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
Roger D. Chamberlain
,
Walid Taha
,
Martin Törngren
, editors,
Volume 11615 of
Lecture Notes in Computer Science
, Springer,
2019.
[doi]
Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction
Adrien Le Coënt
,
Laurent Fribourg
.
CyPhy 2020
:
181-202
[doi]
Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation
Adam Duracz
,
Ayman Aljarbouh
,
Ferenc A. Bartha
,
Jawad Masood
,
Roland Philippsen
,
Henrik Eriksson
,
Jan Duracz
,
Fei Xu
,
Yingfu Zeng
,
Christian Grante
.
CyPhy 2020
:
108-126
[doi]
A Modular SystemC RTOS Model for Uncertainty Analysis
Lorenzo Lazzara
,
Giulio Mosé Mancuso
,
Fabio Cremona
,
Alessandro Ulisse
.
CyPhy 2020
:
3-27
[doi]
Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems
Wonseok Lee
,
Jaehwan Jeong
,
SeongHyeon Park
,
Chang-Gun Lee
.
CyPhy 2020
:
127-152
[doi]
Reactors: A Deterministic Model for Composable Reactive Systems
Marten Lohstroh
,
Íñigo Íncer Romeo
,
Andrés Goens
,
Patricia Derler
,
Jerónimo Castrillón
,
Edward A. Lee
,
Alberto L. Sangiovanni-Vincentelli
.
CyPhy 2020
:
59-85
[doi]
Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems
Paul Rousse
,
Julien Alexandre Dit Sandretto
,
Alexandre Chapoutot
,
Pierre-Loïc Garoche
.
CyPhy 2020
:
89-107
[doi]
Multicore Models of Communication for Cyber-Physical Systems
Martin Schoeberl
.
CyPhy 2020
:
28-43
[doi]
A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course
Manfred Smieschek
,
Stefan Rakel
,
David Thönnessen
,
Andreas Derks
,
André Stollenwerk
,
Stefan Kowalewski
.
CyPhy 2020
:
231-246
[doi]
An Embedded Graduate Lab Course with Spirit
André Stollenwerk
.
CyPhy 2020
:
247-263
[doi]
Competence Networks in the Era of CPS - Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain Center
Martin Törngren
,
Fredrik Asplund
,
Tor Ericson
,
Catrin Granbom
,
Erik Herzog
,
Zhonghai Lu
,
Mats Magnusson
,
Maria Månsson
,
Stefan Norrwing
,
Johanna Olsson
,
Johnny Öberg
.
CyPhy 2020
:
264-283
[doi]
Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI
Yunosuke Yamada
,
Masashi Sato
,
Kazunori Ueda
.
CyPhy 2020
:
153-178
[doi]
Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand
Mehrshad Zandigohar
,
Mo Han
,
Deniz Erdogmus
,
Gunar Schirner
.
CyPhy 2020
:
44-58
[doi]
2018
A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration)
Andreas Müller 0015
,
Stefan Mitsch
,
Wieland Schwinger
,
André Platzer
.
CyPhy 2019
:
91-110
[doi]
CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems
Manuela L. Bujorianu
.
CyPhy 2019
:
134-153
[doi]
Computers Interacting with the Physical World: A First-Year Course
Roger D. Chamberlain
,
Ron K. Cytron
,
Doug Shook
,
Bill Siever
.
CyPhy 2019
:
197-205
[doi]
Controlled Recurrence of a Biped with Torso
Adrien Le Coënt
,
Laurent Fribourg
.
CyPhy 2019
:
154-169
[doi]
Further Experiences Teaching an FPGA-Based Embedded Systems Class
Stephen A. Edwards
.
CyPhy 2019
:
222-230
[doi]
CPS/IoT Ecosystem: A Platform for Research and Education
Haris Isakovic
,
Denise Ratasich
,
Christian Hirsch
,
Michael Platzer
,
Bernhard Wally
,
Thomas Rausch
,
Dejan Nickovic
,
Willibald Krenn
,
Gerti Kappel
,
Schahram Dustdar
,
Radu Grosu
.
CyPhy 2019
:
206-213
[doi]
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
Iman Jahandideh
,
Fatemeh Ghassemi
,
Marjan Sirjani
.
CyPhy 2019
:
3-27
[doi]
Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga
Kim Guldstrand Larsen
,
Adrien Le Coënt
,
Marius Mikucionis
,
Jakob Haahr Taankvist
.
CyPhy 2019
:
113-133
[doi]
A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification
Sascha Lehmann
,
Sven-Thomas Antoni
,
Alexander Schlaefer
,
Sibylle Schupp
.
CyPhy 2019
:
170-189
[doi]
MicroITS: A Scaled-Down ITS Platform
Judicaël Marchand
,
Gaël Puissochet
,
Thomas Lithén
,
Walid Taha
.
CyPhy 2019
:
214-221
[doi]
Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations)
Mehrdad Moradi
,
Bert Van Acker
,
Ken Vanherpen
,
Joachim Denil
.
CyPhy 2019
:
71-90
[doi]
Subjecting Legacy Simulink Models to Timing Specifications
Andreas Naderlinger
.
CyPhy 2019
:
51-70
[doi]
Introducing IoT Subjects to an Existing Curriculum. An Ongoing Experience at the Faculty of the Technology Management - HIT
Sofia Amador Nelke
,
Michael Winokur
.
CyPhy 2019
:
193-196
[doi]
Challenges in Digital Twin Development for Cyber-Physical Production Systems
HeeJong Park
,
Arvind Easwaran
,
Sidharta Andalam
.
CyPhy 2019
:
28-48
[doi]
2017
Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Christian Berger 0001
,
Mohammad Reza Mousavi
,
Rafael Wisniewski
, editors,
Volume 10107 of
Lecture Notes in Computer Science
, Springer,
2017.
[doi]
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles
Houssam Abbas
,
Matthew O'Kelly
,
Alena Rodionova
,
Rahul Mangharam
.
CyPhy 2019
:
94-106
[doi]
Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems
Jeongyoon Eo
,
Kang-Wook Kim
,
Chang-Gun Lee
.
CyPhy 2019
:
27-42
[doi]
Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid
Ichiro Hasuo
.
CyPhy 2019
:
3-7
[doi]
Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems
Johann Thor Mogensen Ingibergsson
,
Dirk Kraft
,
Ulrik Pagh Schultz
.
CyPhy 2019
:
43-60
[doi]
Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract)
Daisuke Ishii
,
Alexandre Goldsztejn
,
Naoki Yonezaki
.
CyPhy 2019
:
79-82
[doi]
Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems
Kengo Kido
,
Sean Sedwards
,
Ichiro Hasuo
.
CyPhy 2019
:
109-126
[doi]
An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems
Hokeun Kim
,
Armin Wasicek
,
Edward A. Lee
.
CyPhy 2019
:
83-93
[doi]
Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving
Adnan Rashid
,
Osman Hasan
.
CyPhy 2019
:
127-141
[doi]
Template-Based Monte-Carlo Test Generation for Simulink Models
Takashi Tomita
,
Daisuke Ishii
,
Toru Murakami
,
Shigeki Takeuchi
,
Toshiaki Aoki
.
CyPhy 2019
:
63-78
[doi]
FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization
Chao Wang
,
Yuming Cheng
,
Lei Gong
,
Bo Wan
,
Aili Wang
,
Xi Li
,
Xuehai Zhou
.
CyPhy 2019
:
145-158
[doi]
Local Descent for Temporal Logic Falsification of Cyber-Physical Systems
Shakiba Yaghoubi
,
Georgios Fainekos
.
CyPhy 2019
:
11-26
[doi]
2016
A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications
Waheed Ahmad
,
Bugra M. Yildiz
,
Arend Rensink
,
Mariëlle Stoelinga
.
CyPhy 2017
:
1-16
[doi]
Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection
Kenichi Betsuno
,
Shota Matsumoto
,
Kazunori Ueda
.
CyPhy 2017
:
17-30
[doi]
SysML to NuSMV Model Transformation via Object-Orientation
Georgiana Caltais
,
Florian Leitner-Fischer
,
Stefan Leue
,
Jannis Weiser
.
CyPhy 2017
:
31-45
[doi]
CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments
Shafiul Azam Chowdhury
,
Taylor T. Johnson
,
Christoph Csallner
.
CyPhy 2017
:
46-60
[doi]
Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper)
Fergus Leahy
,
Naranker Dulay
.
CyPhy 2017
:
61-70
[doi]
Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow
Sebastian Schlesinger
,
Paula Herber
,
Thomas Göthel
,
Sabine Glesner
.
CyPhy 2017
:
71-86
[doi]
Automated Verification of Switched Systems Using Hybrid Identification
Stefan Schwab
,
Bernd Holzmüller
,
Sören Hohmann
.
CyPhy 2017
:
87-100
[doi]
Ontological Reasoning as an Enabler of Contract-Based Co-design
Ken Vanherpen
,
Joachim Denil
,
Paul De Meulenaere
,
Hans Vangheluwe
.
CyPhy 2017
:
101-115
[doi]
CPS Specifier - A Specification Tool for Safety-Critical Cyber-Physical Systems
Jonas Westman
,
Mattias Nyberg
,
Oscar Thydén
.
CyPhy 2017
:
116-125
[doi]
2015
Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
Christian Berger 0001
,
Mohammad Reza Mousavi
, editors,
Volume 9361 of
Lecture Notes in Computer Science
, Springer,
2015.
[doi]
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems
Benjamin Beichler
,
Thorsten Schulz
,
Christian Haubelt
,
Frank Golatowski
.
CyPhy 2015
:
56-66
[doi]
A Modelling Framework for Cyber-Physical System Resilience
Manuela L. Bujorianu
,
Nir Piterman
.
CyPhy 2015
:
67-82
[doi]
Core Research and Innovation Areas in Cyber-Physical Systems of Systems - Initial Findings of the CPSoS Project
Sebastian Engell
,
Radoslav Paulen
,
Michel A. Reniers
,
Christian Sonntag
,
Haydn Thompson
.
CyPhy 2015
:
40-55
[doi]
Resource-Aware Control and Dynamic Scheduling in CPS
W. P. M. H. Heemels
.
CyPhy 2015
:
1-7
[doi]
Recharging Probably Keeps Batteries Alive
Holger Hermanns
,
Jan Krcál
,
Gilles Nies
.
CyPhy 2015
:
83-98
[doi]
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability
Shin Nakajima
,
Si-Mohamed Lamraoui
.
CyPhy 2015
:
99-115
[doi]
Hybrid Secure Data Aggregation in Wireless Sensor Networks
Keyur Parmar
,
Devesh C. Jinwala
.
CyPhy 2015
:
116-131
[doi]
Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations
Muhammad Usman Sanwal
,
Osman Hasan
.
CyPhy 2015
:
132-146
[doi]
Current Challenges in the Verification of Hybrid Systems
Stefan Schupp
,
Erika Ábrahám
,
Xin Chen 0002
,
Ibtissem Ben Makhlouf
,
Goran Frehse
,
Sriram Sankaranarayanan
,
Stefan Kowalewski
.
CyPhy 2015
:
8-24
[doi]
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems
Sebastian Siegl
,
Martin Russer
.
CyPhy 2015
:
25-39
[doi]
2014
Saving virtual testing time for CPS by analyzing code coverage on the example of a lane-following algorithm
Christian Berger 0001
.
CyPhy 2014
:
7-10
[doi]
Modeling mobility for networked mobile cyber-physical systems
Mohannad A. Alharthi
,
Abd-Elhamid M. Taha
.
CyPhy 2014
:
1-6
[doi]
Reducing the wrapping effect in flowpipe construction using pseudo-invariants
Stanley Bak
.
CyPhy 2014
:
40-43
[doi]
Complex systems techniques for cyber-physical systems: position paper
Manuela L. Bujorianu
,
Robert S. Mackay
.
CyPhy 2014
:
27-30
[doi]
Controller/platform co-design of networked control systems based on density functions
Tobias Bund
,
Frank Slomka
.
CyPhy 2014
:
11-14
[doi]
An undergraduate cyber-physical systems course
Albert M. K. Cheng
.
CyPhy 2014
:
31-34
[doi]
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks
William Emfinger
,
Gabor Karsai
,
Abhishek Dubey
,
Aniruddha S. Gokhale
.
CyPhy 2014
:
44-47
[doi]
Cyber-physical cloud computing implemented as PaaS
Clemens Krainer
,
Christoph M. Kirsch
.
CyPhy 2014
:
15-18
[doi]
Towards a model-based development approach for wireless sensor-actuator network protocols
S. A. Ajith Kumar
,
Kent Inge Fagerland Simonsen
.
CyPhy 2014
:
35-39
[doi]
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
Ralf Lämmel
,
Walid Taha
, editors,
ACM,
2014.
[doi]
Model-based design and analysis of a reconfigurable continuous-culture bioreactor
Luan Viet Nguyen
,
Eric J. Nelson
,
Amol Vengurlekar
,
Ruoshi Zhang
,
Kristopher I. White
,
Victor Salinas
,
Taylor T. Johnson
.
CyPhy 2014
:
48-51
[doi]
Model predictive control from signal temporal logic specifications: a case study
Vasumathi Raman
,
Mehdi Maasoumy
,
Alexandre Donzé
.
CyPhy 2014
:
52-55
[doi]
Towards a theory for cyber-physical systems modeling
Gabor Simko
,
Tihamer Levendovszky
,
Miklos Maroti
,
Janos Sztipanovits
.
CyPhy 2014
:
56-61
[doi]
Drive-by-wireless with the eCar demonstrator
Hauke Stähle
,
Kai Huang 0001
,
Alois Knoll
.
CyPhy 2014
:
19-22
[doi]
aLS-Coop-Loc: cooperative combined localization and time-synchronization in underwater acoustic networks
Wouter van Kleunen
,
Nirvana Meratnia
,
Paul J. M. Havinga
.
CyPhy 2014
:
23-26
[doi]
Sign in
or
sign up
to see more results.