Search results for "cyber-physical"

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.	SAFECOMP	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.	Critical Infrastructure Protection	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.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
76	Ragunathan Rajkumar, Insup Lee 0001, Lui Sha, John A. Stankovic	Cyber-physical systems: the next computing revolution.	DAC	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.	DAC	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.	DAC	2010	DBLP DOI BibTeX RDF	embedded systems, cyber-physical systems
66	Ravi Akella, Bruce M. McMillin	Model-Checking BNDC Properties in Cyber-Physical Systems.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
65	John A. Stankovic	Cyber physical systems: aspects as a basis for robustness and openness.	AOSD	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.	CLIMA	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.	ISORC	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.	SenSys	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.	AINA	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.	Management of Cyber Physical Objects in the Future Internet of Things	2016	DBLP DOI BibTeX RDF
60	Jan Kleissl, Yuvraj Agarwal	Cyber-physical energy systems: focus on smart buildings.	DAC	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.	ICDCS	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.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
54	Raghu K. Ganti, Yu-En Tsai, Tarek F. Abdelzaher	SenseWorld: Towards Cyber-Physical Social Networks.	IPSN	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.	WASA	2008	DBLP DOI BibTeX RDF
54	Matthias Eckhart, Andreas Ekelhart	Digital Twins for Cyber-Physical Systems Security: State of the Art and Outlook.	Security and Quality in Cyber-Physical Systems Engineering	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.	Resilience of Cyber-Physical Systems	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.	Security and Quality in Cyber-Physical Systems Engineering	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.	Resilience of Cyber-Physical Systems	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.	Security and Quality in Cyber-Physical Systems Engineering	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.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
54	Sandro Bartolini, Biagio Peccerillo	Parallel Programming in Cyber-Physical Systems.	Cyber-Physical Systems Security	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.	Multi-Disciplinary Engineering for Cyber-Physical Production Systems	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.	Multi-Disciplinary Engineering for Cyber-Physical Production Systems	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.	Multi-Disciplinary Engineering for Cyber-Physical Production Systems	2017	DBLP DOI BibTeX RDF
54	Stefan A. Wiesner, Klaus-Dieter Thoben	Cyber-Physical Product-Service Systems.	Multi-Disciplinary Engineering for Cyber-Physical Production Systems	2017	DBLP DOI BibTeX RDF
54	Stefan Biffl, Detlef Gerhard, Arndt Lüder	Introduction to the Multi-Disciplinary Engineering for Cyber-Physical Production Systems.	Multi-Disciplinary Engineering for Cyber-Physical Production Systems	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.	Cyber-Physical Systems of Systems	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).	Cyber-Physical Systems of Systems	2016	DBLP DOI BibTeX RDF
54	Bernhard Frömel, Hermann Kopetz	Interfaces in Evolving Cyber-Physical Systems-of-Systems.	Cyber-Physical Systems of Systems	2016	DBLP DOI BibTeX RDF
54	Peter Marwedel, Michael Engel	Cyber-Physical Systems: Opportunities, Challenges and (Some) Solutions.	Management of Cyber Physical Objects in the Future Internet of Things	2016	DBLP DOI BibTeX RDF
54	Andrea Giordano, Giandomenico Spezzano, Andrea Vinci	A Smart Platform for Large-Scale Cyber-Physical Systems.	Management of Cyber Physical Objects in the Future Internet of Things	2016	DBLP DOI BibTeX RDF
54	Luís Almeida 0001, Frederico Santos, Luis Oliveira 0002	Structuring Communications for Mobile Cyber-Physical Systems.	Management of Cyber Physical Objects in the Future Internet of Things	2016	DBLP DOI BibTeX RDF
54	Arni Ariani, Soegijardjo Soegijoko	The Development of Cyber-Physical System in Health Care Industry.	Computational Intelligence for Decision Support in Cyber-Physical Systems	2014	DBLP DOI BibTeX RDF
54	Shaheena Noor, Humera Noor Minhas	Context-Aware Perception for Cyber-Physical Systems.	Computational Intelligence for Decision Support in Cyber-Physical Systems	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.	Computational Intelligence for Decision Support in Cyber-Physical Systems	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.	Computational Intelligence for Decision Support in Cyber-Physical Systems	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.	Computational Intelligence for Decision Support in Cyber-Physical Systems	2014	DBLP DOI BibTeX RDF
54	Bo Xing	Novel Computational Intelligence for Optimizing Cyber Physical Pre-evaluation System.	Computational Intelligence for Decision Support in Cyber-Physical Systems	2014	DBLP DOI BibTeX RDF
52	Marius C. Bujorianu, Howard Barringer	An Integrated Specification Logic for Cyber-Physical Systems.	ICECCS	2009	DBLP DOI BibTeX RDF
49	Ying Tan, Mehmet C. Vuran, Steve Goddard	Spatio-Temporal Event Model for Cyber-Physical Systems.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
48	Tamim I. Sookoor, Timothy W. Hnat, Kamin Whitehouse	Programming cyber-physical systems with MacroLab.	SenSys	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.	SenSys	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.	SEUS	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?	DAC	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	A Journey of Embedded and Cyber-Physical Systems	2021	DBLP DOI BibTeX RDF
42	Reinhard Wilhelm, Markus Pister 0002, Gernot Gebhard, Daniel Kästner	Testing Implementation Soundness of a WCET Analysis Tool.	A Journey of Embedded and Cyber-Physical Systems	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.	A Journey of Embedded and Cyber-Physical Systems	2021	DBLP DOI BibTeX RDF
42	Matthias Jung 0001, Christian Weis, Norbert Wehn	The Dynamic Random Access Memory Challenge in Embedded Computing Systems.	A Journey of Embedded and Cyber-Physical Systems	2021	DBLP DOI BibTeX RDF
42	M. Balakrishnan	ASSISTECH: An Accidental Journey into Assistive Technology.	A Journey of Embedded and Cyber-Physical Systems	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.	A Journey of Embedded and Cyber-Physical Systems	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.	A Journey of Embedded and Cyber-Physical Systems	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.	A Journey of Embedded and Cyber-Physical Systems	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.	A Journey of Embedded and Cyber-Physical Systems	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.	A Journey of Embedded and Cyber-Physical Systems	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.	A Journey of Embedded and Cyber-Physical Systems	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	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Fabio Tarani, Chiara Arrighi, Laura Carnevali, Fabio Castelli, Enrico Vicario	Flood Resilience of a Water Distribution System.	Resilience of Cyber-Physical Systems	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.	Resilience of Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Julian L. Rrushi	Multi-range Decoy I/O Defense of Electrical Substations Against Industrial Control System Malware.	Resilience of Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Dániel Tokody, József Papp, László Barna Iantovics, Francesco Flammini	Complex, Resilient and Smart Systems.	Resilience of Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Frederik Gossen, Tiziana Margaria, Johannes Neubauer, Bernhard Steffen	A Model-Driven and Generative Approach to Holistic Security.	Resilience of Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Janusz Górski, Andrzej Wardzinski	Supporting Cybersecurity Compliance Assessment of Industrial Automation and Control System Components.	Resilience of Cyber-Physical Systems	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.	Resilience of Cyber-Physical Systems	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.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Michael Felderer, Barbara Russo, Florian Auer	On Testing Data-Intensive Software Systems.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Peter Kieseberg, Edgar R. Weippl	Securing Information Against Manipulation in the Production Systems Engineering Process.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Ambra Calà, Jan Vollmar, Thomas Schäffler	Engineering in an International Context: Risks and Challenges.	Security and Quality in Cyber-Physical Systems Engineering	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.	Security and Quality in Cyber-Physical Systems Engineering	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.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Martin Fruhmann, Klaus Gebeshuber	Radio Frequency (RF) Security in Industrial Engineering Processes.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Alexandra Mazak, Sabine Wolny, Manuel Wimmer	On the Need for Data-Based Model-Driven Engineering.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Rostami Rostami Mehr, Arndt Lüder	Managing Complexity Within the Engineering of Product and Production Systems.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Bernhard Brenner, Edgar R. Weippl	Security Analysis and Improvement of Data Logistics in AutomationML-Based Engineering Networks.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Nicholas Stifter, Aljosha Judmayer, Edgar R. Weippl	Revisiting Practical Byzantine Fault Tolerance Through Blockchain Technologies.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Dietmar Winkler 0001, Kristof Meixner, Petr Novák	Efficient and Flexible Test Automation in Production Systems Engineering.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Alexander Schlie, Christoph Seidl 0001, Ina Schaefer	Reengineering Variants of MATLAB/Simulink Software Systems.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Johannes Lutz, Kristofer Hell, Ralf Westphal, Mathias Mühlhause	Engineering of Signaling Systems.	Security and Quality in Cyber-Physical Systems Engineering	2019	DBLP DOI BibTeX RDF
42	Lenore D. Zuck, Kenneth L. McMillan	Invisible Invariants Are Neither.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	James Glimm, Hyun-Kyung Lim, Martin J. Bishop 0001, Soojin Kim	From Automated MRI Scan to Finite Elements.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Emanuela Merelli, Anita Wasilewska	Topological Interpretation of Interactive Computation.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Alexios Lekidis, Panagiotis Katsaros	Model-Based Energy Characterization of IoT System Design Aspects.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Rance Cleaveland	Scott Smolka and Me.	From Reactive Systems to Cyber-Physical Systems	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.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Gerard J. Holzmann	Formalizing Requirements Is \Diamond \Box Hard.	From Reactive Systems to Cyber-Physical Systems	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 -.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Alessandro Maggi, Rocco De Nicola, Joseph Sifakis	A Logic-Inspired Approach to Reconfigurable System Modelling.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Teng Zhang, Ramneet Kaur, Insup Lee 0001, Oleg Sokolsky	Runtime Verification of Parametric Properties Using SMEDL.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Doron Peled, Simon Iosti, Saddek Bensalem	Control Synthesis Through Deep Learning.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott D. Stoller	Conformal Predictions for Hybrid System State Classification.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Luca Aceto, Antonis Achilleos, Adrian Francalanza, Anna Ingólfsdóttir, Karoliina Lehtinen	The Cost of Monitoring Alone.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Klaus Havelund, Natarajan Shankar	A Refinement Proof for a Garbage Collector.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Abhishek Murthy, Himel Das, Md. Ariful Islam	Robustness of Neural Networks to Parameter Quantization.	From Reactive Systems to Cyber-Physical Systems	2019	DBLP DOI BibTeX RDF
42	Bernhard Steffen, Marc Jasper	Generating Hard Benchmark Problems for Weak Bisimulation.	From Reactive Systems to Cyber-Physical Systems	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.	Cyber-Physical Systems Security	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.	Cyber-Physical Systems Security	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.	Cyber-Physical Systems Security	2018	DBLP DOI BibTeX RDF