|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 56 publication records. Showing 56 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | YiJi Zhao, Farnoosh Fatemi Pour, Shadan Golestan, Eleni Stroulia |
BIMSim3D: multi-agent human activity simulation in indoor spaces.  |
SEsCPS@ICSE  |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Leepakshi Bindra, Changyuan Lin, Eleni Stroulia, Omid Ardakanian |
Decentralized access control for smart buildings using metadata and smart contracts. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Radu Calinescu, Javier Cámara, Colin Paterson |
Socio-cyber-physical systems: models, opportunities, open challenges. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Bures, Bradley R. Schmerl, John S. Fitzgerald, Danny Weyns (eds.) |
Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2019, Montreal, QC, Canada, May 28, 2019. |
SEsCPS@ICSE |
2019 |
DBLP BibTeX RDF |
|
| 1 | Stefan Gries 0001, Julius Ollesch, Volker Gruhn |
Modeling semantic dependencies to allow flow monitoring in networks with black-box nodes. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Barnaby Craggs |
A just culture is fundamental: extending security ergonomics by design. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ye Hou, Jose M. Such, Awais Rashid |
Understanding security requirements for industrial control system supply chains. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Klementina Josifovska, Enes Yigitbas, Gregor Engels |
Reference framework for digital twins within cyber-physical systems. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Qishen Zhang, Tamás Kecskés, Janos L. Mathe, Janos Sztipanovits |
Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Eshaan Khanapuri, Tarun Chintalapati, Rajnikant Sharma, Ryan M. Gerdes |
Learning-based adversarial agent detection and identification in cyber physical systems applied to autonomous vehicular platoon. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Edward A. Lee |
A fundamental look at models and intelligence: abstract of keynote. |
SEsCPS@ICSE |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert G. Pettit IV, Aedan D. Pettit |
On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Roykrong Sukkerd, Reid G. Simmons, David Garlan |
Towards explainable multi-objective probabilistic planning. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner |
A curated corpus of simulink models for model-based empirical studies. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Daun, Jennifer Brings, Thorsten Weyer |
A semi-automated approach to foster the validation of collaborative networks of cyber-physical systems. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Sabatucci, Giada De Simone, Massimo Cossentino |
Shipboard power system reconfiguration: a self-adaptation exemplar. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian Voss, Johannes Eder |
Handling system complexity in sCPS: usable design space exploration. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Berger 0001, Birgit Penzenstadler, Olaf Drögehorn |
On using blockchains for safety-critical systems. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Bures, John S. Fitzgerald, Bradley R. Schmerl, Danny Weyns (eds.) |
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018 |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi |
On early statistical requirements validation of cyber-physical space systems. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans Vangheluwe |
Multi-paradigm modelling of cyber-physical systems: extended abstract. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | João Cambeiro, Cláudio Gomes 0001, Vasco Amaral 0001, Armanda Rodrigues, Jácome Cunha |
A building automation case study setup and challenges. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Tranoris, Spyros G. Denazis, Lucas Guardalben, João Pereira, Susana Sargento |
Enabling cyber-physical systems for 5G networking: a case study on the automotive vertical domain. |
SEsCPS@ICSE |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Murr, Wolfgang Mauerer |
McFSM: Globally Taming Complex Systems. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu David Liu, Lukasz Ziarek |
Toward Energy-Aware Programming for Unmanned Aerial Vehicles. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | |
3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina, May 21, 2017 |
SEsCPS@ICSE |
2017 |
DBLP BibTeX RDF |
|
| 1 | Lenz Belzner, Thomas Gabor |
Bayesian Verification under Model Uncertainty. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Julius Ollesch, Marc Hesenius, Volker Gruhn |
Engineering Events in CPS - Experiences and Lessons Learned. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Faeq Alrimawi, Liliana Pasquale, Bashar Nuseibeh |
Software Engineering Challenges for Investigating Cyber-Physical Incidents. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Bures, Danny Weyns, Bradley R. Schmerl, John S. Fitzgerald |
SEsCPS 2017 Workshop Summary. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Lenz Belzner, Thomas Gabor |
Stacked Thompson Bandits. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bashar Nuseibeh |
Crossing Boundaries: On the Inevitable Intertwining of Digital, Physical, and Social Spaces. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Barnaby Craggs, Awais Rashid |
Smart Cyber-Physical Systems: Beyond Usable Security to Security Ergonomics by Design. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal Zasadzinski, Victor Muntés-Mulero, Marc Soe Simo |
Actor Based Root Cause Analysis in a Distributed Environment. |
SEsCPS@ICSE |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Kang, Sridhar Adepu, Daniel Jackson 0001, Aditya P. Mathur |
Model-based security analysis of a water treatment system. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | |
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016 |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessia Knauss, Christian Berger 0001, Henrik Eriksson |
Towards state-of-the-art and future trends in testing of active safety systems. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lenz Belzner, Michael Till Beck, Thomas Gabor, Harald Roelle, Horst Sauer |
Software engineering for distributed autonomous real-time systems. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh |
Adding static and dynamic semantics to building information models. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons |
Multiscale time abstractions for long-range planning under uncertainty. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Walter, Matthew L. Hale, Rose F. Gamble |
Imposing security awareness on wearables. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Frey, Awais Rashid, Alberto Zanutto, Jerry S. Busby, Karolina Follis |
On the role of latent design conditions in cyber-physical systems security. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Pragya Kirti Gupta, Bernhard Schätz |
Constraint-based graceful degradation in smart grids. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Saurabh Chauhan, Pankesh Patel, Flávia Coimbra Delicato, Sanjay Chaudhary |
A development framework for programming cyber-physical systems. |
SEsCPS@ICSE |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Berger 0001 |
Accelerating Regression Testing for Scaled Self-Driving Cars with Lightweight Virtualization - A Case Study. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Mordinyi, Stefan Biffl |
Versioning in Cyber-physical Production System Engineering - Best-Practice and Research Agenda. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias M. Hölzl, Thomas Gabor |
Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | David Garlan |
Modeling Challenges for CPS Systems. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi |
Towards Cyber-physical Systems as Services: The ASIP Protocol. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marian Daun, Jennifer Brings, Torsten Bandyszak, Philipp Bohn, Thorsten Weyer |
Collaborating Multiple System Instances of Smart Cyber-physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Kai Liang, Zhuofu Bai, Murat Cenk Cavusoglu, Andy Podgurski, Soumya Ray |
Fault Localization in Embedded Control System Software. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Brice Morin, Franck Fleurey, Olivier Barais |
Taming Heterogeneity and Distribution in sCPS. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Vasileios Koutsoumpas |
A Model-Based Approach for the Specification of a Virtual Power Plant Operating in Open Context. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomás Bures, Danny Weyns, Mark Klein, Rodolfo E. Haber (eds.) |
1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS 2015, Florence, Italy, May 17, 2015 |
SEsCPS@ICSE |
2015 |
DBLP BibTeX RDF |
|
| 1 | Xi Zheng 0001, Christine Julien 0001 |
Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden |
An Application Conflict Detection and Resolution System for Smart Homes. |
SEsCPS@ICSE |
2015 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #56 of 56 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license