|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 170 occurrences of 122 keywords
|
|
|
Results
Found 13371 publication records. Showing 13371 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
85 | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAFECOMP ![In: Computer Safety, Reliability, and Security, 28th International Conference, SAFECOMP 2009, Hamburg, Germany, September 15-18, 2009. Proceedings, pp. 257-269, 2009, Springer, 978-3-642-04467-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
failure propagation, cyber-physical, FACTS devices, reliability analysis, power grid |
85 | Han Tang, Bruce M. McMillin |
Security of Information Flow in the Electric Power Grid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Critical Infrastructure Protection ![In: Critical Infrastructure Protection, Post-Proceedings of the First Annual IFIP Working Group 11.10 International Conference on Critical Infrastructure Protection, Dartmouth College, Hanover, New Hampshire, USA, March 19-21, 2007, pp. 43-56, 2007, Springer, 978-0-387-75461-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
information flow, confidentiality, power grid, Cyber-physical systems |
84 | Jing Lin 0007, Sahra Sedigh, Ann Miller |
A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 668-671, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
76 | Ragunathan Rajkumar, Insup Lee 0001, Lui Sha, John A. Stankovic |
Cyber-physical systems: the next computing revolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 731-736, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
new frontiers, computer science, engineering, cyber-physical systems, grand challenges |
72 | Insup Lee 0001, Oleg Sokolsky |
Medical cyber physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 743-748, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
high-confidence medical systems, medical cyber-physical systems, medical device interoperability & compositionality, physiological closed loop, cyber-physical systems |
71 | Edward A. Lee |
CPS foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 737-742, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
embedded systems, cyber-physical systems |
66 | Ravi Akella, Bruce M. McMillin |
Model-Checking BNDC Properties in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 660-663, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
65 | John A. Stankovic |
Cyber physical systems: aspects as a basis for robustness and openness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 123-124, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
robustness, aspect oriented programming, openness, cyber physical systems |
65 | Marius C. Bujorianu, Manuela-Luminita Bujorianu, Howard Barringer |
A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLIMA ![In: Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers, pp. 97-116, 2008, Springer, 978-3-642-02733-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
user centric control, stochastic model checking, multi agent systems, symmetries, bisimulation, runtime analysis, cyber-physical systems |
63 | Edward A. Lee |
Cyber Physical Systems: Design Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 5-7 May 2008, Orlando, Florida, USA, pp. 363-369, 2008, IEEE Computer Society, 978-0-7695-3132-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
embedded systems, real time, Cyber-physical systems |
62 | Mudasser Iqbal, Hock-Beng Lim |
A cyber-physical middleware framework for continuous monitoring of water distribution systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 7th International Conference on Embedded Networked Sensor Systems, SenSys 2009, Berkeley, California, USA, November 4-6, 2009, pp. 401-402, 2009, ACM, 978-1-60558-519-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
scheduling, modeling, middleware, cyber-physical systems |
61 | Hai Zhuge |
Socio-Natural Thought Semantic Link Network: A Method of Semantic Networking in the Cyber Physical Society. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AINA ![In: 24th IEEE International Conference on Advanced Information Networking and Applications, AINA 2010, Perth, Australia, 20-13 April 2010, pp. 19-26, 2010, IEEE Computer Society, 978-0-7695-4018-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
cyber physical society, humanlevel AI, semantics, cyber physical system, semantic link network |
61 | Riccardo Petrolo, Valeria Loscrì, Nathalie Mitton |
Cyber-Physical Objects as Key Elements for a Smart Cyber-City. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Management of Cyber Physical Objects in the Future Internet of Things ![In: Management of Cyber Physical Objects in the Future Internet of Things, Methods, Architectures and Applications, pp. 31-49, 2016, Springer, 978-3-319-26867-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
60 | Jan Kleissl, Yuvraj Agarwal |
Cyber-physical energy systems: focus on smart buildings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 749-754, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
LEED, ZNEB, cyber-physical, energy metering, embedded, energy management, buildings, smart grid |
58 | Yuanfang Zhang, Christopher D. Gill, Chenyang Lu 0001 |
Reconfigurable Real-Time Middleware for Distributed Cyber-Physical Systems with Aperiodic Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 28th IEEE International Conference on Distributed Computing Systems (ICDCS 2008), 17-20 June 2008, Beijing, China, pp. 581-588, 2008, IEEE Computer Society, 978-0-7695-3172-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
55 | Ayman Z. Faza, Sahra Sedigh, Bruce M. McMillin |
Reliability Modeling for the Advanced Electric Power Grid: A Proposal for Doctoral Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 672-675, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
54 | Raghu K. Ganti, Yu-En Tsai, Tarek F. Abdelzaher |
SenseWorld: Towards Cyber-Physical Social Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPSN ![In: Proceedings of the 7th International Conference on Information Processing in Sensor Networks, IPSN 2008, St. Louis, Missouri, USA, April 22-24, 2008, pp. 563-564, 2008, IEEE Computer Society, 978-0-7695-3157-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Sensor map, Sensor networks, Social networking |
54 | Ty Znati |
Research Challenges in Complex Large Scale Networks and Cyber Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications, Third International Conference, WASA 2008, Dallas, TX, USA, October 26-28, 2008. Proceedings, pp. 1, 2008, Springer, 978-3-540-88581-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
54 | Matthias Eckhart, Andreas Ekelhart |
Digital Twins for Cyber-Physical Systems Security: State of the Art and Outlook. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 383-412, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
54 | Marco Rocchetto, Alberto Ferrari, Valerio Senni |
Challenges and Opportunities for Model-Based Security Risk Assessment of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 25-47, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
54 | Stefan Biffl, Matthias Eckhart, Arndt Lüder, Edgar R. Weippl |
Introduction to Security and Quality Improvement in Complex Cyber-Physical Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 1-29, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
54 | Hassan Mokalled, Concetta Pragliola, Daniele Debertol, Ermete Meda, Rodolfo Zunino |
A Comprehensive Framework for the Security Risk Management of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 49-68, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
54 | Apostolos P. Fournaris, Andreas Komninos, Aris S. Lalos, Athanasios P. Kalogeras, Christos Koulamas, Dimitrios Serpanos |
Design and Run-Time Aspects of Secure Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 357-382, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
54 | Stefan Biffl, Matthias Eckhart, Arndt Lüder, Edgar R. Weippl |
Conclusion and Outlook on Security and Quality of Complex Cyber-Physical Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 497-507, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
54 | Sandro Bartolini, Biagio Peccerillo |
Parallel Programming in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber-Physical Systems Security ![In: Cyber-Physical Systems Security., pp. 111-134, 2018, Springer, 978-3-319-98934-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
54 | Matthias Foehr, Jan Vollmar, Ambra Calà, Paulo Leitão, Stamatis Karnouskos, Armando Walter Colombo |
Engineering of Next Generation Cyber-Physical Automation System Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multi-Disciplinary Engineering for Cyber-Physical Production Systems ![In: Multi-Disciplinary Engineering for Cyber-Physical Production Systems, Data Models and Software Solutions for Handling Complex Engineering Projects., pp. 185-206, 2017, Springer, 978-3-319-56344-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
54 | Angelika Musil, Juergen Musil, Danny Weyns, Tomás Bures, Henry Muccini, Mohammad Sharaf |
Patterns for Self-Adaptation in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multi-Disciplinary Engineering for Cyber-Physical Production Systems ![In: Multi-Disciplinary Engineering for Cyber-Physical Production Systems, Data Models and Software Solutions for Handling Complex Engineering Projects., pp. 331-368, 2017, Springer, 978-3-319-56344-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
54 | Stefan Biffl, Detlef Gerhard, Arndt Lüder |
Conclusions and Outlook on Research for Multi-Disciplinary Engineering for Cyber-Physical Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multi-Disciplinary Engineering for Cyber-Physical Production Systems ![In: Multi-Disciplinary Engineering for Cyber-Physical Production Systems, Data Models and Software Solutions for Handling Complex Engineering Projects., pp. 459-468, 2017, Springer, 978-3-319-56344-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
54 | Stefan A. Wiesner, Klaus-Dieter Thoben |
Cyber-Physical Product-Service Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multi-Disciplinary Engineering for Cyber-Physical Production Systems ![In: Multi-Disciplinary Engineering for Cyber-Physical Production Systems, Data Models and Software Solutions for Handling Complex Engineering Projects., pp. 63-88, 2017, Springer, 978-3-319-56344-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
54 | Stefan Biffl, Detlef Gerhard, Arndt Lüder |
Introduction to the Multi-Disciplinary Engineering for Cyber-Physical Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multi-Disciplinary Engineering for Cyber-Physical Production Systems ![In: Multi-Disciplinary Engineering for Cyber-Physical Production Systems, Data Models and Software Solutions for Handling Complex Engineering Projects., pp. 1-24, 2017, Springer, 978-3-319-56344-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
54 | Andrea Ceccarelli, Francesco Brancati, Bernhard Frömel, Oliver Höftberger |
Time and Resilient Master Clocks in Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber-Physical Systems of Systems ![In: Cyber-Physical Systems of Systems - Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 165-185, 2016, Springer, 978-3-319-47589-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
54 | Hermann Kopetz, Andrea Bondavalli, Francesco Brancati, Bernhard Frömel, Oliver Höftberger, Sorin M. Iacob |
Emergence in Cyber-Physical Systems-of-Systems (CPSoSs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber-Physical Systems of Systems ![In: Cyber-Physical Systems of Systems - Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 73-96, 2016, Springer, 978-3-319-47589-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
54 | Bernhard Frömel, Hermann Kopetz |
Interfaces in Evolving Cyber-Physical Systems-of-Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber-Physical Systems of Systems ![In: Cyber-Physical Systems of Systems - Foundations - A Conceptual Model and Some Derivations: The AMADEOS Legacy, pp. 40-72, 2016, Springer, 978-3-319-47589-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
54 | Peter Marwedel, Michael Engel |
Cyber-Physical Systems: Opportunities, Challenges and (Some) Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Management of Cyber Physical Objects in the Future Internet of Things ![In: Management of Cyber Physical Objects in the Future Internet of Things, Methods, Architectures and Applications, pp. 1-30, 2016, Springer, 978-3-319-26867-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
54 | Andrea Giordano, Giandomenico Spezzano, Andrea Vinci |
A Smart Platform for Large-Scale Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Management of Cyber Physical Objects in the Future Internet of Things ![In: Management of Cyber Physical Objects in the Future Internet of Things, Methods, Architectures and Applications, pp. 115-134, 2016, Springer, 978-3-319-26867-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
54 | Luís Almeida 0001, Frederico Santos, Luis Oliveira 0002 |
Structuring Communications for Mobile Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Management of Cyber Physical Objects in the Future Internet of Things ![In: Management of Cyber Physical Objects in the Future Internet of Things, Methods, Architectures and Applications, pp. 51-76, 2016, Springer, 978-3-319-26867-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
54 | Arni Ariani, Soegijardjo Soegijoko |
The Development of Cyber-Physical System in Health Care Industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Decision Support in Cyber-Physical Systems ![In: Computational Intelligence for Decision Support in Cyber-Physical Systems, pp. 107-148, 2014, Springer, 978-981-4585-35-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
54 | Shaheena Noor, Humera Noor Minhas |
Context-Aware Perception for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Decision Support in Cyber-Physical Systems ![In: Computational Intelligence for Decision Support in Cyber-Physical Systems, pp. 149-167, 2014, Springer, 978-981-4585-35-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
54 | Khalid Nawaz, Ilia Petrov 0001, Alejandro P. Buchmann |
Configurable, Energy-Efficient, Application- and Channel-Aware Middleware Approaches for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Decision Support in Cyber-Physical Systems ![In: Computational Intelligence for Decision Support in Cyber-Physical Systems, pp. 3-65, 2014, Springer, 978-981-4585-35-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
54 | Bo Xing |
The Optimization of Computational Stock Market Model Based Complex Adaptive Cyber Physical Logistics System: A Computational Intelligence Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Decision Support in Cyber-Physical Systems ![In: Computational Intelligence for Decision Support in Cyber-Physical Systems, pp. 357-380, 2014, Springer, 978-981-4585-35-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
54 | Muhammad Abid 0001, Abdul Qayyum Khan, Muhammad Rehan 0001, Haroon-ur-Rasheed |
TS Fuzzy Approach for Fault Detection in Nonlinear Cyber Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Decision Support in Cyber-Physical Systems ![In: Computational Intelligence for Decision Support in Cyber-Physical Systems, pp. 421-447, 2014, Springer, 978-981-4585-35-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
54 | Bo Xing |
Novel Computational Intelligence for Optimizing Cyber Physical Pre-evaluation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Intelligence for Decision Support in Cyber-Physical Systems ![In: Computational Intelligence for Decision Support in Cyber-Physical Systems, pp. 449-464, 2014, Springer, 978-981-4585-35-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
52 | Marius C. Bujorianu, Howard Barringer |
An Integrated Specification Logic for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009, pp. 291-300, 2009, IEEE Computer Society, 978-0-7695-3702-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
49 | Ying Tan, Mehmet C. Vuran, Steve Goddard |
Spatio-Temporal Event Model for Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 22-26 June 2009, Montreal, Québec, Canada, pp. 44-50, 2009, IEEE Computer Society, 978-0-7695-3660-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
48 | Tamim I. Sookoor, Timothy W. Hnat, Kamin Whitehouse |
Programming cyber-physical systems with MacroLab. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 5-7, 2008, pp. 363-364, 2008, ACM, 978-1-59593-990-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cyber-physical systems, programming abstractions, macroprogramming, embedded networks |
48 | Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, Kamin Whitehouse |
MacroLab: a vector-based macroprogramming framework for cyber-physical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SenSys ![In: Proceedings of the 6th International Conference on Embedded Networked Sensor Systems, SenSys 2008, Raleigh, NC, USA, November 5-7, 2008, pp. 225-238, 2008, ACM, 978-1-59593-990-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
cyber-physical systems, programming abstractions, macroprogramming, embedded networks |
48 | Gabor Karsai, Janos Sztipanovits |
Model-Integrated Development of Cyber-Physical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEUS ![In: Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings, pp. 46-54, 2008, Springer, 978-3-540-87784-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
model-driven development, system integration, executable models, cyber-physical systems, model-integrated computing |
45 | Ian A. Hiskens |
What's smart about the smart grid? ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 47th Design Automation Conference, DAC 2010, Anaheim, California, USA, July 13-18, 2010, pp. 937-939, 2010, ACM, 978-1-4503-0002-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
electricity grid, power systems, cyber-physical systems |
42 | Jian-Jia Chen (eds.) |
A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![Springer, 978-3-030-47487-4 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Reinhard Wilhelm, Markus Pister 0002, Gernot Gebhard, Daniel Kästner |
Testing Implementation Soundness of a WCET Analysis Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 5-17, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Rainer Dömer, Zhongqi Cheng, Daniel Mendoza, Emad Malekzadeh Arasteh |
Pushing the Limits of Parallel Discrete Event Simulation for SystemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 97-105, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Matthias Jung 0001, Christian Weis, Norbert Wehn |
The Dynamic Random Access Memory Challenge in Embedded Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 19-36, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | M. Balakrishnan |
ASSISTECH: An Accidental Journey into Assistive Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 57-77, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Gernot A. Fink, Heinrich Müller |
Peter Marwedel and the Department of Computer Science of the TU Dortmund University. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 1-4, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Bryan Donyanavard, Tiago Mück, Kasra Moazzemi, Biswadip Maity, Caio Batista de Melo, Kenneth Michael Stewart, Saehanseul Yi, Amir M. Rahmani, Nikil D. Dutt |
Reflecting on Self-Aware Systems-on-Chip. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 79-95, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Heiko Falk, Shashank Jadhav, Arno Luppold, Kateryna Muts, Dominic Oehlert, Nina Piontek, Mikko Roth |
Compilation for Real-Time Systems a Decade After Predator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 151-169, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Jian-Jia Chen, Wen-Hung Huang 0001, Georg von der Brüggen, Kuan-Hsun Chen, Niklas Ueter |
On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 37-55, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Jürgen Teich, Pouya Mahmoody, Behnaz Pourmohseni, Sascha Roloff, Wolfgang Schröder-Preikschat, Stefan Wildermann |
Run-Time Enforcement of Non-functional Program Properties on MPSoCs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 125-149, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Hussam Amrouch, Martin Rapp, Sami Salamin, Jörg Henkel |
Impact of Negative Capacitance Field-Effect Transistor (NCFET) on Many-Core Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A Journey of Embedded and Cyber-Physical Systems ![In: A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday, pp. 107-123, 2021, Springer, 978-3-030-47487-4. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
42 | Ezio Bartocci, Rance Cleaveland, Radu Grosu, Oleg Sokolsky (eds.) |
From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![Springer, 978-3-030-31513-9 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Fabio Tarani, Chiara Arrighi, Laura Carnevali, Fabio Castelli, Enrico Vicario |
Flood Resilience of a Water Distribution System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 177-194, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Wei Wang 0279, Francesco Di Maio, Enrico Zio |
A Non-parametric Cumulative Sum Approach for Online Diagnostics of Cyber Attacks to Nuclear Power Plants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 195-228, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Julian L. Rrushi |
Multi-range Decoy I/O Defense of Electrical Substations Against Industrial Control System Malware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 151-175, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Dániel Tokody, József Papp, László Barna Iantovics, Francesco Flammini |
Complex, Resilient and Smart Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 3-24, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen |
A Model-Driven and Generative Approach to Holistic Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 123-147, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Janusz Górski, Andrzej Wardzinski |
Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 71-87, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Oleksandr Netkachov, Peter T. Popov, Kizito Salako |
Quantitative Evaluation of the Efficacy of Defence-in-Depth in Critical Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Resilience of Cyber-Physical Systems ![In: Resilience of Cyber-Physical Systems, From Risk Modelling to Threat Counteraction., pp. 89-121, 2019, Springer, 978-3-319-95596-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Aris S. Lalos, Athanasios P. Kalogeras, Christos Koulamas, Christos Tselios, Christos Alexakos, Dimitrios Serpanos |
Secure and Safe IIoT Systems via Machine and Deep Learning Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 443-470, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Michael Felderer, Barbara Russo, Florian Auer |
On Testing Data-Intensive Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 129-148, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Peter Kieseberg, Edgar R. Weippl |
Securing Information Against Manipulation in the Production Systems Engineering Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 335-356, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Ambra Calà, Jan Vollmar, Thomas Schäffler |
Engineering in an International Context: Risks and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 33-56, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Stefan Biffl, Arndt Lüder, Felix Rinker, Laura Waltersdorfer, Dietmar Winkler 0001 |
Engineering Data Logistics for Agile Automation Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 187-225, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Lukas Kathrein, Arndt Lüder, Kristof Meixner, Dietmar Winkler 0001, Stefan Biffl |
Product/ion-Aware Analysis of Collaborative Systems Engineering Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 151-185, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Martin Fruhmann, Klaus Gebeshuber |
Radio Frequency (RF) Security in Industrial Engineering Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 413-441, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Alexandra Mazak, Sabine Wolny, Manuel Wimmer |
On the Need for Data-Based Model-Driven Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 103-127, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Rostami Rostami Mehr, Arndt Lüder |
Managing Complexity Within the Engineering of Product and Production Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 57-79, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Bernhard Brenner, Edgar R. Weippl |
Security Analysis and Improvement of Data Logistics in AutomationML-Based Engineering Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 305-334, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Nicholas Stifter, Aljosha Judmayer, Edgar R. Weippl |
Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 471-495, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Dietmar Winkler 0001, Kristof Meixner, Petr Novák |
Efficient and Flexible Test Automation in Production Systems Engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 227-265, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Alexander Schlie, Christoph Seidl 0001, Ina Schaefer |
Reengineering Variants of MATLAB/Simulink Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 267-301, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Johannes Lutz, Kristofer Hell, Ralf Westphal, Mathias Mühlhause |
Engineering of Signaling Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Security and Quality in Cyber-Physical Systems Engineering ![In: Security and Quality in Cyber-Physical Systems Engineering, With Forewords by Robert M. Lee and Tom Gilb., pp. 81-102, 2019, Springer, 978-3-030-25311-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Lenore D. Zuck, Kenneth L. McMillan |
Invisible Invariants Are Neither. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 57-72, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | James Glimm, Hyun-Kyung Lim, Martin J. Bishop 0001, Soojin Kim |
From Automated MRI Scan to Finite Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 35-48, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Emanuela Merelli, Anita Wasilewska |
Topological Interpretation of Interactive Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 205-224, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Alexios Lekidis, Panagiotis Katsaros |
Model-Based Energy Characterization of IoT System Design Aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 165-180, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Rance Cleaveland |
Scott Smolka and Me. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 1-6, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Abouzar Kaboudian, Hector Augusto Velasco-Perez, Shahriar Iravanian, Yohannes Shiferaw, Elizabeth M. Cherry, Flavio H. Fenton |
A Comprehensive Comparison of GPU Implementations of Cardiac Electrophysiology Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 9-34, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Gerard J. Holzmann |
Formalizing Requirements Is \Diamond \Box Hard. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 51-56, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Milan Ceska 0002, Christian Dehnert, Nils Jansen 0001, Sebastian Junges, Joost-Pieter Katoen |
Model Repair Revamped - - On the Automated Synthesis of Markov Chains -. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 107-125, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Alessandro Maggi, Rocco De Nicola, Joseph Sifakis |
A Logic-Inspired Approach to Reconfigurable System Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 181-201, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Teng Zhang, Ramneet Kaur, Insup Lee 0001, Oleg Sokolsky |
Runtime Verification of Parametric Properties Using SMEDL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 276-293, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Doron Peled, Simon Iosti, Saddek Bensalem |
Control Synthesis Through Deep Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 242-255, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller |
Conformal Predictions for Hybrid System State Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 225-241, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen |
The Cost of Monitoring Alone. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 259-275, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Klaus Havelund, Natarajan Shankar |
A Refinement Proof for a Garbage Collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 73-103, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Abhishek Murthy, Himel Das, Md. Ariful Islam |
Robustness of Neural Networks to Parameter Quantization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 146-161, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Bernhard Steffen, Marc Jasper |
Generating Hard Benchmark Problems for Weak Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
From Reactive Systems to Cyber-Physical Systems ![In: From Reactive Systems to Cyber-Physical Systems - Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 126-145, 2019, Springer, 978-3-030-31513-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
42 | Elaine M. Raybourn, Ray Trechter |
Applying Model-Based Situational Awareness and Augmented Reality to Next-Generation Physical Security Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber-Physical Systems Security ![In: Cyber-Physical Systems Security., pp. 331-344, 2018, Springer, 978-3-319-98934-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Khaled Karray, Jean-Luc Danger, Sylvain Guilley, M. Abdelaziz Elaabid |
Attack Tree Construction and Its Application to the Connected Vehicle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber-Physical Systems Security ![In: Cyber-Physical Systems Security., pp. 175-190, 2018, Springer, 978-3-319-98934-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
42 | Weiqiang Liu 0001, Chongyan Gu, Gang Qu 0001, Máire O'Neill |
Approximate Computing and Its Application to Hardware Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cyber-Physical Systems Security ![In: Cyber-Physical Systems Security., pp. 43-67, 2018, Springer, 978-3-319-98934-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 13371 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|