Search results for "CPS"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Zhihan Lv, Jaime Lloret 0001, Wei Xiang 0001	Introduction to the special section on Smart City Oriented Cyber-Physical Systems (VSI-cps).	Comput. Electr. Eng.	2020	DBLP DOI BibTeX RDF
14	Eugenio Villar, Javier Merino, Hector Posadas, Rafik Henia, Laurent Rioux	Mega-modeling of complex, distributed, heterogeneous CPS systems.	Microprocess. Microsystems	2020	DBLP DOI BibTeX RDF
14	Tingting Hu, Ivan Cibrario Bertolotti, Nicolas Navet, Lionel Havet	Automated fault tolerance augmentation in model-driven engineering for CPS.	Comput. Stand. Interfaces	2020	DBLP DOI BibTeX RDF
14	Hirofumi Noguchi, Shigeki Sugano	Ephemeral-Cyber-Physical System: A Cloud-Like CPS Using Shared Devices in Open IoT.	IEEE Syst. J.	2020	DBLP DOI BibTeX RDF
14	Nikhil Kumar Singh 0004, Indranil Saha	Specification-Guided Automated Debugging of CPS Models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
14	Lei Bu, Qixin Wang, Xinyue Ren, Shaopeng Xing, Xuandong Li	Scenario-Based Online Reachability Validation for CPS Fault Prediction.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2020	DBLP DOI BibTeX RDF
14	Lixiang Zhang, Lin Lin 0003, Jia Li 0001	CPS analysis: self-contained validation of biomedical data clustering.	Bioinform.	2020	DBLP DOI BibTeX RDF
14	Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel C. Briand	Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap.	CoRR	2020	DBLP BibTeX RDF
14	Michael J. Breza, Laksh Bhatia, Ivana Tomic, Anqi Fu, Waqas Ikram, Valentinos Kongezos, Julie A. McCann	The Separator, a Two-Phase Oil and Water Gravity CPS Separator Testbed.	CoRR	2020	DBLP BibTeX RDF
14	Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthik Thangamariappan	CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures.	CoRR	2020	DBLP BibTeX RDF
14	Mohammad Sayad Haghighi, Faezeh Farivar	A Machine Learning-based Approach to Build Zero False-Positive IPSs for Industrial IoT and CPS with a Case Study on Power Grids Security.	CoRR	2020	DBLP BibTeX RDF
14	Ashraf Tantawy, Sherif Abdelwahed, Abdelkarim Erradi	Cyber LOPA: A New Approach for CPS Safety Design in the Presence of Cyber Attacks.	CoRR	2020	DBLP BibTeX RDF
14	Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha 0003	Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations.	CoRR	2020	DBLP BibTeX RDF
14	Shuvra S. Bhattacharyya, Marilyn Claire Wolf	Research Challenges for Heterogeneous CPS Design.	CoRR	2020	DBLP BibTeX RDF
14	Chuadhry Mujeeb Ahmed, Jianying Zhou 0001	Challenges and Opportunities in CPS Security: A Physics-based Perspective.	CoRR	2020	DBLP BibTeX RDF
14	Fabian Manhardt, Manuel Nickel, Sven Meier, Luca Minciullo, Nassir Navab	CPS: Class-level 6D Pose and Shape Estimation From Monocular Images.	CoRR	2020	DBLP BibTeX RDF
14	Paul J. Bonczek, Nicola Bezzo	Memoryless Cumulative Sign Detector for Stealthy CPS Sensor Attacks.	CoRR	2020	DBLP BibTeX RDF
14	Lei Wang 0132, Zhaoyang Qu, Yang Li 0011, Kewei Hu, Jian Sun 0033, Kai Xue, Mingshi Cui	Method for Extracting Patterns of Coordinated Network Attacks on Electric Power CPS based on Temporal-Topological Correlation.	CoRR	2020	DBLP BibTeX RDF
14	Pasquale Giampa, Massimiliano Dibitonto	MIP An AI Distributed Architectural Model to Introduce Cognitive computing capabilities in Cyber Physical Systems (CPS).	CoRR	2020	DBLP BibTeX RDF
14	Neetesh Saxena, Alvaro A. Cárdenas, Raheem Beyah, Rongxing Lu, Kim-Kwang Raymond Choo, Yiran Chen 0001	Introduction to the Special Issue on User-Centric Security and Safety for CPS.	ACM Trans. Cyber Phys. Syst.	2020	DBLP DOI BibTeX RDF
14	Leonardo Babun, Hidayet Aksu, A. Selcuk Uluagac	A System-level Behavioral Detection Framework for Compromised CPS Devices: Smart-Grid Case.	ACM Trans. Cyber Phys. Syst.	2020	DBLP DOI BibTeX RDF
14	James Harbin, Alan Burns 0001, Robert I. Davis 0001, Leandro Soares Indrusiak, Iain Bate, David Griffin 0002	The AirTight Protocol for Mixed Criticality Wireless CPS.	ACM Trans. Cyber Phys. Syst.	2020	DBLP DOI BibTeX RDF
14	Di Wu, Hanlin Zhu, Yongxin Zhu 0001, Victor Chang 0001, Cong He, Ching-Hsien Hsu, Hui Wang 0036, Songlin Feng, Li Tian, Zunkai Huang	Anomaly Detection Based on RBM-LSTM Neural Network for CPS in Advanced Driver Assistance System.	ACM Trans. Cyber Phys. Syst.	2020	DBLP DOI BibTeX RDF
14	Rajesh P. Barnwal, Nirnay Ghosh, Soumya K. Ghosh 0001, Sajal K. Das 0001	Publish or Drop Traffic Event Alerts? Quality-aware Decision Making in Participatory Sensing-based Vehicular CPS.	ACM Trans. Cyber Phys. Syst.	2020	DBLP DOI BibTeX RDF
14	Yiran Shi, Shengjun Xue, Xing Zhang 0007, Tao Huang	Data-aware monitoring method for fuel economy in ship-based CPS.	IET Cyper-Phys. Syst.: Theory & Appl.	2020	DBLP DOI BibTeX RDF
14	Huei-Yung Lin, Fang-Ning Yang	Design and implementation of a CPS-based predictive maintenance and automated management platform.	IET Cyper-Phys. Syst.: Theory & Appl.	2020	DBLP DOI BibTeX RDF
14	Hyunbum Kim, Jalel Ben-Othman	Toward Integrated Virtual Emotion System with AI Applicability for Secure CPS-Enabled Smart Cities: AI-Based Research Challenges and Security Issues.	IEEE Netw.	2020	DBLP DOI BibTeX RDF
14	Yunliang Chen, Xiaodao Chen, Wangyang Liu, Yuchen Zhou, Albert Y. Zomaya, Rajiv Ranjan 0001, Shiyan Hu	Stochastic scheduling for variation-aware virtual machine placement in a cloud computing CPS.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Shijian Li, Minhao Shi, Runhe Huang, Xinwei Chen, Gang Pan 0001	Perception-enhancement based task learning and action scheduling for robotic limb in CPS environment.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Kuo-Chi Chang, Kai-Chun Chu, Hsiao-Chuan Wang, Yuh-Chung Lin, Jeng-Shyang Pan 0001	Agent-based middleware framework using distributed CPS for improving resource utilization in smart city.	Future Gener. Comput. Syst.	2020	DBLP DOI BibTeX RDF
14	Niklas Ueter, Kuan-Hsun Chen, Jian-Jia Chen	Project-Based CPS Education: A Case Study of an Autonomous Driving Student Project.	IEEE Des. Test	2020	DBLP DOI BibTeX RDF
14	Sumana Ghosh, Arnab Mondal, Philipp H. Kindt, Prateek Sharma, Yash Agarwal, Soumyajit Dey, Alok Kanti Deb, Samarjit Chakraborty	A Programmable Open Architecture Testbed for CPS Education.	IEEE Des. Test	2020	DBLP DOI BibTeX RDF
14	Binoy B. Nair, D. S. Harish Ram, Manoj Kumar Panda, A. Jayanth Balaji, T. Gireesh Kumar, Vivek Mohan	Future Engineering Curricula: Balancing Domain Competence with CPS Readiness.	IEEE Des. Test	2020	DBLP DOI BibTeX RDF
14	Cesar Huegel Richa, Mateus Martínez De Lucena, Leonardo Passig Horstmann, José Luis Conradi Hoffmann, Antônio Augusto Fröhlich	Modeling Time Requirements of CPS in Wireless Networks.	Sensors	2020	DBLP DOI BibTeX RDF
14	Seokjoon Hong, Ducsun Lim, Inwhee Joe, Wontae Kim 0001	F-DCS: FMI-Based Distributed CPS Simulation Framework with a Redundancy Reduction Algorithm.	Sensors	2020	DBLP DOI BibTeX RDF
14	Hao Peng 0002, Can Liu, Dandan Zhao, Zhaolong Hu, Jianmin Han	Security Evaluation under Different Exchange Strategies Based on Heterogeneous CPS Model in Interdependent Sensor Networks.	Sensors	2020	DBLP DOI BibTeX RDF
14	Matthias Stadler, Katharina Herborn, Maida Mustafic, Samuel Greiff	The assessment of collaborative problem solving in PISA 2015: An investigation of the validity of the PISA 2015 CPS tasks.	Comput. Educ.	2020	DBLP DOI BibTeX RDF
14	Saraju P. Mohanty	Advances in Transportation Cyber-Physical System (T-CPS).	IEEE Consumer Electron. Mag.	2020	DBLP DOI BibTeX RDF
14	Arslan Munir, Farinaz Koushanfar	Design and Analysis of Secure and Dependable Automotive CPS: A Steer-by-Wire Case Study.	IEEE Trans. Dependable Secur. Comput.	2020	DBLP DOI BibTeX RDF
14	Mridula Sharma, Haytham Elmiligi, Fayez Gebali	Network Security and Privacy Evaluation Scheme for Cyber Physical Systems (CPS).	Handbook of Big Data Privacy	2020	DBLP DOI BibTeX RDF
14	Andrei Scurtu, Catalin Dehelean, Szilárd Enyedi, Liviu Miclea	Using Cognitive Services within CPS/SCADA Systems Federations - Concepts, Research Areas and Challenges.	AQTR	2020	DBLP DOI BibTeX RDF
14	Daniela Genius, Ilias Bournias, Ludovic Apvrille, Roselyne Chotin	Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices.	MODELSWARD (Revised Selected Papers)	2020	DBLP DOI BibTeX RDF
14	Yogesh D. Barve, Himanshu Neema, Zhuangwei Kang, Hongyang Sun 0001, Aniruddha Gokhale, Thomas Roth	EXPPO: EXecution Performance Profiling and Optimization for CPS Co-simulation-as-a-Service.	ISORC	2020	DBLP DOI BibTeX RDF
14	Michail Maniatakos, Yuqing Zhang 0001 (eds.)	CPSIOTSEC'20: Proceedings of the 2020 Joint Workshop on CPS&IoT Security and Privacy, Virtual Event, USA, November 9, 2020	CPSIOTSEC@CCS	2020	DBLP DOI BibTeX RDF
14	Seungoh Choi, Jeong-Han Yun, Byung-Gil Min, HyoungChun Kim	POSTER: Expanding a Programmable CPS Testbed for Network Attack Analysis.	AsiaCCS	2020	DBLP DOI BibTeX RDF
14	Michail Maniatakos, Yuqing Zhang 0001	CPSIOTSEC'20: 2020 Joint Workshop on CPS&IoT Security and Privacy.	CCS	2020	DBLP DOI BibTeX RDF
14	Lorenzo Ragazzini, Elisa Negri, Luca Fumagalli, Marco Macchi, Jacek Kozlowski	Tolerance Scheduling for CPS.	ICPS	2020	DBLP DOI BibTeX RDF
14	Alireza Tahsini, Noah Dunstatter, Mina Guirguis, Chuadhry Mujeeb Ahmed	DeepBLOC: A Framework for Securing CPS through Deep Reinforcement Learning on Stochastic Games.	CNS	2020	DBLP DOI BibTeX RDF
14	Zhenpeng Xu, Jian Yang, Jinyong Yin	A Lightweight Data Sharing Mechanism and Multiparty Computation for CPS.	VTC Spring	2020	DBLP DOI BibTeX RDF
14	Hiroyuki Nakagawa, Shinpei Ogata, Yoshitaka Aoki, Kazuki Kobayashi	A model transformation approach to constructing agent-oriented design models for CPS/IoT systems.	SAC	2020	DBLP DOI BibTeX RDF
14	Lukas Gressl, Alexander Rech, Christian Steger, Andreas Daniel Sinnhofer, Ralph Weissnegger	Security based design space exploration for CPS.	SAC	2020	DBLP DOI BibTeX RDF
14	Wanli Chang 0001, Debayan Roy, Shuai Zhao 0004, Anuradha Annaswamy, Samarjit Chakraborty	CPS-oriented Modeling and Control of Traffic Signals Using Adaptive Back Pressure.	DATE	2020	DBLP DOI BibTeX RDF
14	Alexandre Donzé	BreachFlows: Simulation-Based Design with Formal Requirements for Industrial CPS (Extended Abstract).	ASD@DATE	2020	DBLP DOI BibTeX RDF
14	Ipsita Koley, Saurav Kumar Ghosh, Soumyajit Dey, Debdeep Mukhopadhyay, Amogh Kashyap K. N., Sachin Kumar Singh, Lavanya Lokesh, Jithin Nalu Purakkal, Nishant Sinha 0003	Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations.	DATE	2020	DBLP DOI BibTeX RDF
14	Luigi Pomante, Francesca Palumbo, Claudia Rinaldi, Giacomo Valente, Carlo Sau, Tiziana Fanni, Frank van der Linden 0001, Twan Basten, Marc Geilen, Geran Peeren, Jirí Kadlec, Pekka Jääskeläinen, Marcos Martinez de Alejandro, Jukka Saarinen, Tero Säntti, Maria Katiuscia Zedda, Victor Sanchez, Dip Goswami, Zaid Al-Ars, Ad de Beer	Design and management of image processing pipelines within CPS: 2 years of experience from the FitOptiVis ECSEL Project.	DSD	2020	DBLP DOI BibTeX RDF
14	Tabea Schmidt, Florian Hauer 0002, Alexander Pretschner	Automated Anomaly Detection in CPS Log Files - A Time Series Clustering Approach.	SAFECOMP	2020	DBLP DOI BibTeX RDF
14	Lukas Gressl, Michael Krisper, Christian Steger, Ulrich Neffe	Towards an Automated Exploration of Secure IoT/CPS Design-Variants.	SAFECOMP	2020	DBLP DOI BibTeX RDF
14	Robyn R. Lutz, James I. Lathrop, Cameron Brecount, Kendal Gast, Kathryn Rohlfing, Joshua Wallin	Using an Astronaut Jetpack Project to Teach Human-CPS Requirements Engineering.	REET@RE	2020	DBLP DOI BibTeX RDF
14	Corentin Gely, Damien Trentesaux, Marie-Pierre Pacaux-Lemoine, Olivier Sénéchal	Human-Machine Cooperation with Autonomous CPS in the Context of Industry 4.0: A Literature Review.	SOHOMA	2020	DBLP DOI BibTeX RDF
14	Raffaele Romagnoli, Bruce H. Krogh, Bruno Sinopoli	Robust Software Rejuvenation for CPS with State Estimation and Disturbances.	ACC	2020	DBLP DOI BibTeX RDF
14	Hao Peng 0002, Zhe Kan, Dandan Zhao, Jianmin Han, Zhaolong Hu	Risk Assessment of Heterogeneous CPS Systems Under Different Proportions of Links.	SocialSec	2020	DBLP DOI BibTeX RDF
14	Hao Peng 0002, Can Liu, Dandan Zhao, Zhao-Long Hu, Jianmin Han, Jianfeng Lu 0002	Reliability Analysis of Heterogeneous CPS Under Different Swapping Inter-links Strategies.	SocialSec	2020	DBLP DOI BibTeX RDF
14	Xiaobo Cai, Ke Han, Yan Li, Xuefei Li, Jiajin Zhang, Yue Zhang	A sensor attack detection method based on fusion interval and historical measurement in CPS.	IPCCC	2020	DBLP DOI BibTeX RDF
14	Andrew Clark 0001, Zhouchi Li, Hongchao Zhang	Control Barrier Functions for Safe CPS Under Sensor Faults and Attacks.	CDC	2020	DBLP DOI BibTeX RDF
14	Karl Biron, Wael Bazzaza, Khalid Yaqoob, Amjad Gawanmeh, Claude Fachkha	A Big Data Fusion to Profile CPS Security Threats Against Operational Technology.	WoWMoM	2020	DBLP DOI BibTeX RDF
14	Haris Isakovic, Edgar Azpiazu Crespo, Radu Grosu	An Energy Sustainable CPS/IoT Ecosystem.	SmartCity360°	2020	DBLP DOI BibTeX RDF
14	Imane Lamrani, Ayan Banerjee 0001, Sandeep K. S. Gupta	Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract).	AAAI	2020	DBLP DOI BibTeX RDF
14	Imane Lamrani, Ayan Banerjee 0001, Sandeep K. S. Gupta	Toward Operational Safety Verification Via Hybrid Automata Mining Using I/O Traces of AI-Enabled CPS.	SafeAI@AAAI	2020	DBLP BibTeX RDF
14	Safia Babikir Bashir, Hasan A. Zidan, Zulfiqar Ali Memon	A Modified CPS-PWM for Capacitor Voltage Ripples Reduction of Modular Multilevel Converter Based Variable Speed Drive.	ISIE	2020	DBLP DOI BibTeX RDF
14	Massimiliano Zanin, Ernestina Menasalvas Ruiz, Alejandro Rodríguez González, Christian Wolff 0002, Juana Wendt, Elisa A. Herrmann, Pavel Smrz	Developing a Data Analytics Toolbox to Support CPS-based Services.	MECO	2020	DBLP DOI BibTeX RDF
14	Debayan Roy, Sumana Ghosh, Qi Zhu 0002, Marco Caccamo, Samarjit Chakraborty	GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources.	RTSS	2020	DBLP DOI BibTeX RDF
14	Haley W. C. Tsang, Yiming Liu, Nancy Law	An In-depth Study of Assessment of Collaborative Problem Solving (CPS) Skills of Students in Both Technological and Authentic Learning Settings.	ICLS	2020	DBLP BibTeX RDF
14	Rajesh Jayaprakash	Partial Evaluation Based CPS Transformation: An Implementation Case Study.	ELS	2020	DBLP DOI BibTeX RDF
14	Issam Raïs, Otto J. Anshus, John Markus Bjørndalen, Daniel Balouek-Thomert, Manish Parashar	Trading Data Size and CNN Confidence Score for Energy Efficient CPS Node Communications.	CCGRID	2020	DBLP DOI BibTeX RDF
14	Bo Luo, Razvan Beuran, Yasuo Tan	Smart Grid Security: Attack Modeling from a CPS Perspective.	ComComAP	2020	DBLP DOI BibTeX RDF
14	Surabhi Athalye, Chuadhry Mujeeb Ahmed, Jianying Zhou 0001	A Tale of Two Testbeds: A Comparative Study of Attack Detection Techniques in CPS.	CRITIS	2020	DBLP DOI BibTeX RDF
14	Chuadhry Mujeeb Ahmed, Nandha Kumar Kandasamy	A Comprehensive Dataset from a Smart Grid Testbed for Machine Learning Based CPS Security Research.	CPS4CIP	2020	DBLP DOI BibTeX RDF
14	Feng Yu 0016, Yaodan Hu, Teng Zhang 0002, Yier Jin	Special Issue: Resilient Distributed Estimator with Information Consensus for CPS Security.	ICCD	2020	DBLP DOI BibTeX RDF
14	Hao Peng 0002, Can Liu, Dandan Zhao, Jianmin Han, Zhonglong Zheng	Robustness Enhancement Analysis of CPS Systems Under the Swapping Strategies Between Different Networks.	FCS	2020	DBLP DOI BibTeX RDF
14	Silvio E. Quincozes, Diego G. Passos 0001, Célio Albuquerque 0001, Luiz Satoru Ochi, Daniel Mossé	GRASP-based Feature Selection for Intrusion Detection in CPS Perception Layer.	CIoT	2020	DBLP DOI BibTeX RDF
14	Jérôme Hugues, Anton Hristosov, John J. Hudak, Joe Yankel	TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS.	MoDELS (Companion)	2020	DBLP DOI BibTeX RDF
14	Byungjun Park, Jongpil Jeong	A CPS-Based IIoT Architecture Using Level Diagnostics Model for Smart Factory.	ICCSA (2)	2020	DBLP DOI BibTeX RDF
14	Joseph Boi-Ukeme, Cristina Ruiz Martin, Gabriel A. Wainer	Real-Time Fault Detection and Diagnosis of CPS Faults in DEVS.	DependSys	2020	DBLP DOI BibTeX RDF
14	Zhan Lin, Junhua Zhao, Fan Li, Zhifei Wang	Research on Intelligent Management Platform of Highspeed Railway Traffic Safety Equipment Based on CPS.	ICIAI	2020	DBLP DOI BibTeX RDF
14	Shafiul Azam Chowdhury, Sohil Lal Shrestha, Taylor T. Johnson, Christoph Csallner	SLEMI: equivalence modulo input (EMI) based mutation of CPS models for finding compiler bugs in Simulink.	ICSE	2020	DBLP DOI BibTeX RDF
14	Pattavisa Tangtrustham, Motohiko Okabe, Yoichi Takayanagi	Industrial Control Product(s) with Virtualizing Technology Appropriate for CPS Platform.	SICE	2020	DBLP BibTeX RDF
14	Yifeng Zhu, Zining Cao, Fujun Wang, Weiwei Lu	AADL and Modelica model combination and model conversion based on CPS.	EITCE	2020	DBLP DOI BibTeX RDF
14	Jerzy Pokojski, Lech Knap, Michal Trojgo	Concept of Design Activity Supporting Tool in the Design and Development Process of CPS.	TE	2020	DBLP DOI BibTeX RDF
14	Frank-Walter Jaekel	OPC-UA based IIoT and CPS Interoperability Validation.	I-ESA Workshops	2020	DBLP BibTeX RDF
14	Christian Stary	Rethinking Interoperable CPS as Interactive Behavior Designs.	I-ESA Workshops	2020	DBLP BibTeX RDF
14	Josef Frysak	S-BPM Diagrams as Decision Aids in a Decision Based Framework for CPS Development.	S-BPM ONE	2020	DBLP DOI BibTeX RDF
14	Samir Ouchani, Khaled Khebbeb, Meriem Hafsi	Towards Enhancing Security and Resilience in CPS: A Coq-Maude based Approach.	AICCSA	2020	DBLP DOI BibTeX RDF
14	Andreas Müller 0015, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger	Towards CPS Verification Engineering.	iiWAS	2020	DBLP DOI BibTeX RDF
14	Jianlin Wang, Chao Peng 0004, Zhenbing Zeng	A Formal Proof of the Soundness of the Hybrid CPS Clock Theory.	TASE	2020	DBLP DOI BibTeX RDF
14	Khalil Guibene, Marwane Ayaida, Lyes Khoukhi, Nadhir Messai	Black-box System Identification of CPS Protected by a Watermark-based Detector.	LCN	2020	DBLP DOI BibTeX RDF
14	Javier Cámara, Martin Steffen (eds.)	Software Engineering and Formal Methods - SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers	SEFM Workshops	2020	DBLP DOI BibTeX RDF
14	Xiaoyong Bo, You Tang	Dynamic Prediction Model of Greenhouse Soil Moisture Driven by CPS Spatiotemporal Events.	ATCI	2020	DBLP DOI BibTeX RDF
14	Arpan Gujarati	Towards "Ultra-Reliable" CPS: Reliability Analysis of Distributed Real-Time Systems.		2020	RDF
14	Andreas Rauh, Julia Kersten	Verification and Reachability Analysis of Fractional-Order Differential Equations Using Interval Analysis.	SNR	2020	DBLP DOI BibTeX RDF
14	Luc Jaulin, Benoît Desrochers	Enclosing the Sliding Surfaces of a Controlled Swing.	SNR	2020	DBLP DOI BibTeX RDF