Search results for "CPS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
24	Franz J. Rammig	Cyber Biosphere for Future Embedded Systems.	SEUS	2008	DBLP DOI BibTeX RDF	Biologically Inspired Techniques, Artificial Hormone Systems, Artificial Immune Systems, Ant Colony Algorithms
24	Zhong Xu, Xue Liu 0001, Guoqing Zhang, Wenbo He, Guanzhong Dai, Weihuan Shu	A Certificateless Signature Scheme for Mobile Wireless Cyber-Physical Systems.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
24	Janos Sztipanovits	Composition of Cyber-Physical Systems.	ECBS	2007	DBLP DOI BibTeX RDF
24	Ferdous Ahmed Sohel, Gour C. Karmakar, Laurence S. Dooley	Bezier Curve-Based Character Descriptor Considering Shape Information.	ACIS-ICIS	2007	DBLP DOI BibTeX RDF	curvature, shape descriptor, control points, Bezier curves, corner points
24	Jacques Carette, Oleg Kiselyov, Chung-chieh Shan	Finally Tagless, Partially Evaluated.	APLAS	2007	DBLP DOI BibTeX RDF
24	Ryo Kurazume, Yukihiro Tobata, Yumi Iwashita, Tsutomu Hasegawa	3D laser measurement system for large scale architectures using multiple mobile robots.	3DIM	2007	DBLP DOI BibTeX RDF
24	Min-Jen Tsai, Chen-Sheng Wang	Adaptive Real-Time Computation Coordination for the Web Services Based Computing Architecture.	CSCWD	2007	DBLP DOI BibTeX RDF
24	Bojiao Sun, Donghua Zhou	A Rotated Image Matching Method Based on CISD.	ISNN (1)	2007	DBLP DOI BibTeX RDF
24	Yeong-Sun Song, Hong-Gyoo Sohn, Choung-Hwan Park	An Efficient 3-D Positioning Method from Satellite Synthetic Aperture Radar Images.	KES (3)	2006	DBLP DOI BibTeX RDF
24	Peep Küngas, Mihhail Matskin	Symbolic Negotiation in Linear Logic with Coalition Formation.	IAT	2006	DBLP DOI BibTeX RDF
24	Tobias Löw, Thomas Streicher	Universality Results for Models in Locally Boolean Domains.	CSL	2006	DBLP DOI BibTeX RDF
24	Peep Küngas, Mihhail Matskin	Symbolic negotiation revisited.	AAMAS	2006	DBLP DOI BibTeX RDF	symbolic reasoning, negotiation, cooperative problem solving, partial deduction
24	Masahito Hasegawa	Relational Parametricity and Control.	LICS	2005	DBLP DOI BibTeX RDF
24	Søren B. Lassen	Eager Normal Form Bisimulation.	LICS	2005	DBLP DOI BibTeX RDF
24	Min-Jen Tsai, Chen-Sheng Wang, Po-Yu Yang, Chien-Yu Yang	A Collaborated Computing System by Web Services Based P2P Architecture.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
24	Tang-Kai Yin	A characteristic-point-based fuzzy inference system aimed to minimize the number of fuzzy rules.	IEEE Trans. Fuzzy Syst.	2004	DBLP DOI BibTeX RDF
24	Irena Spasic, Goran Nenadic, Sophia Ananiadou	Learning to Classify Biomedical Terms Through Literature Mining and Genetic Algorithms..	IDEAL	2004	DBLP DOI BibTeX RDF
24	Lin-Jung Wu, Hsien-Sheng Hsiao	Using a Knowledge-Based Management to Design a Web-Based Creative Problem Solving System.	ICWL	2004	DBLP DOI BibTeX RDF
24	Masahito Hasegawa	Semantics of Linear Continuation-Passing in Call-by-Name.	FLOPS	2004	DBLP DOI BibTeX RDF
24	Hong-jun Zhang, Qing-Hua Li, Wei Zhang	Commitment in Cooperative Problem Solving.	GCC	2004	DBLP DOI BibTeX RDF
24	Aldo Roveri, Carla-Fabiana Chiasserini, Mauro Femminella, Tommaso Melodia, Giacomo Morabito, Michele Rossi, Ilenia Tinnirello	The RAMON Module: Architecture Framework and Performance Results.	QoS-IP	2003	DBLP DOI BibTeX RDF
24	Khalid Al-Begain	Performance Models for 2.5/3G Mobile Systems and Networks.	MASCOTS Tutorials	2003	DBLP DOI BibTeX RDF
24	Elzbieta Pekalska, Robert P. W. Duin, Marina Skurichina	A Discussion on the Classifier Projection Space for Classifier Combining.	Multiple Classifier Systems	2002	DBLP DOI BibTeX RDF
24	Oleg Kiselyov	Macros That Compose: Systematic Macro Programming.	GPCE	2002	DBLP DOI BibTeX RDF
24	Vitaly Telerman	Using Constraint Solvers in CAD/CAM Systems.	Ershov Memorial Conference	2001	DBLP DOI BibTeX RDF
24	Ralph Matthes	Parigot's Second Order lambda-mu-Calculus and Inductive Types.	TLCA	2001	DBLP DOI BibTeX RDF
24	Olivier Danvy	Many Happy Returns.	TLCA	2001	DBLP DOI BibTeX RDF
24	Ichiro Ogata	Cut Elimination for Classical Proofs as Continuation Passing Style Computation.	ASIAN	1998	DBLP DOI BibTeX RDF
24	Amr Sabry, Philip Wadler	A Reflection on Call-by-Value.	ICFP	1996	DBLP DOI BibTeX RDF
24	Pascal Fradet	Compilation of Head and Strong Reduction.	ESOP	1994	DBLP DOI BibTeX RDF
24	Olivier Danvy	Back to Direct Style.	ESOP	1992	DBLP DOI BibTeX RDF	Direct style transformation, continuation-passing style transformation, Scheme, calculus
24	Andrew W. Appel, Trevor Jim	Continuation-Passing, Closure-Passing Style.	POPL	1989	DBLP DOI BibTeX RDF	ML
21	K. H. (Kane) Kim	Desirable Advances in Cyber-Physical System Software Engineering.	SUTC/UMC	2010	DBLP DOI BibTeX RDF	TUP, high-level programming, network-based, security, fault tolerance, software engineering, embedded, TMO, timeliness, Cyber-physical system, CPS, global time
21	Matthew Might	Logic-flow analysis of higher-order programs.	POPL	2007	DBLP DOI BibTeX RDF	LFA, abstract counting, abstract garbage collection, environment analysis, gamma-CFA first-order logic, logic-flow analysis, static analysis, theorem proving, lambda calculus, CPS
21	Matthew Might, Olin Shivers	Improving flow analyses via GammaCFA: abstract garbage collection and counting.	ICFP	2006	DBLP DOI BibTeX RDF	abstract counting, abstract garbage collection, environment analysis, gamma-CFA, superbeta, program analysis, continuations, lambda calculus, functional languages, flow analysis, CPS, inlining
21	Peng Li, Steve Zdancewic	Advanced control flow in Java card programming.	LCTES	2004	DBLP DOI BibTeX RDF	trampolined style, smart card, continuation, control flow, Java card, CPS
21	Abhijit Jain	Veterans and internet use: implications for career preparation and development support.	CPR	2004	DBLP DOI BibTeX RDF	veterans, CPS, internet use
20	Kenichi Asai, Arisa Kitani	Functional derivation of a virtual machine for delimited continuations.	PPDP	2010	DBLP DOI BibTeX RDF	cps transformation, functional derivation, virtual machine, delimited continuation, defunctionalization
20	Aleksander Wojdyga	Short Proofs of Strong Normalization.	MFCS	2008	DBLP DOI BibTeX RDF	permutative reductions, lambda calculus, system F, CPS-translation, strong normalization
20	Koji Nakazawa, Makoto Tatsuta, Yukiyoshi Kameyama, Hiroshi Nakano	Undecidability of Type-Checking in Domain-Free Typed Lambda-Calculi with Existence.	CSL	2008	DBLP DOI BibTeX RDF	domain-free type system, undecidability, existential type, CPS-translation
20	Waled Alshabi, Srinivasan Ramaswamy, Mhamed Itmi, Habib Abdulrab	A cooperative problem-solving process in hierarchical organization.	SCSC	2007	DBLP BibTeX RDF	CPS-process, skills' search, cooperation, organization
20	Mads Sig Ager, Dariusz Biernacki, Olivier Danvy, Jan Midtgaard	A functional correspondence between evaluators and abstract machines.	PPDP	2003	DBLP DOI BibTeX RDF	transformation into continuation-passing style (CPS), interpreters, abstract machines, defunctionalization, closure conversion
20	Zhihao Lu, Rui Wang 0024, Yong Guan	Formal verification of discrete event model.	TAV-CPS/IoT@ISSTA	2020	DBLP DOI BibTeX RDF
20	Jun Sun 0001, Zijiang Yang 0006	ObjSim: efficient testing of cyber-physical systems.	TAV-CPS/IoT@ISSTA	2020	DBLP DOI BibTeX RDF
20	Daniele Antonioli, Hamid Reza Ghaeini, Sridhar Adepu, Martín Ochoa, Nils Ole Tippenhauer	Gamifying ICS Security Training and Research: Design, Implementation, and Results of S3.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Ioannis Agadakos, Chien-Ying Chen, Matteo Campanelli, Prashant Anantharaman, Monowar Hasan, Bogdan Copos, Tancrède Lepoint, Michael E. Locasto, Gabriela F. Ciocarlie, Ulf Lindqvist	Jumping the Air Gap: Modeling Cyber-Physical Attack Paths in the Internet-of-Things.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Amarjit Datta, Mohammad Ashiqur Rahman	Cyber Threat Analysis Framework for the Wind Energy Based Power System.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Herson Esquivel-Vargas, Marco Caselli, Andreas Peter	Automatic Deployment of Specification-based Intrusion Detection in the BACnet Protocol.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Benjamin Green 0001, Marina Krotofil, Ali Abbasi 0002	On the Significance of Process Comprehension for Conducting Targeted ICS Attacks.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Neetesh Saxena, Victor Chukwuka, Leilei Xiong, Santiago Grijalva	CPSA: A Cyber-Physical Security Assessment Tool for Situational Awareness in Smart Grid.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Chen Markman, Avishai Wool, Alvaro A. Cárdenas	A New Burst-DFA model for SCADA Anomaly Detection.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Muhammad Azmi Umer, Aditya Mathur, Khurum Nazir Junejo, Sridhar Adepu	Integrating Design and Data Centric Approaches to Generate Invariants for Distributed Attack Detection.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Bhavani Thuraisingham, Rakesh B. Bobba, Awais Rashid (eds.)	Proceedings of the 2017 Workshop on Cyber-Physical Systems Security and PrivaCy, Dallas, TX, USA, November 3, 2017	CPS-SPC@CCS	2017	DBLP BibTeX RDF
20	Minghao Ruan, Muaz Ahmad, Yongqiang Wang 0001	Secure and Privacy-Preserving Average Consensus.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Benjamin Green 0001, Daniel Prince, Jerry S. Busby, David Hutchison 0001	"How Long is a Piece of String": : Defining Key Phases andObserved Challenges within ICS Risk Assessment.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Carmen Cheh, Ken Keefe, Brett Feddersen, Binbin Chen 0001, William G. Temple, William H. Sanders	Developing Models for Physical Attacks in Cyber-Physical Systems.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Junia Valente, Alvaro A. Cárdenas	Remote Proofs of Video Freshness for Public Spaces.	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
20	Davide Fauri, Daniel Ricardo dos Santos, Elisa Costante, Jerry den Hartog, Sandro Etalle, Stefano Tonetta	From System Specification to Anomaly Detection (and back).	CPS-SPC@CCS	2017	DBLP DOI BibTeX RDF
14	Xiong Zhao, Lianyu Zheng, Maoyuan Shi, Xuexin Zhang, Yuehong Zhang	Unified modelling for continuous-discrete hybrid adaptive machining CPS of large thin-walled parts.	Int. J. Prod. Res.	2024	DBLP DOI BibTeX RDF
14	David Juárez-Varón, René Ernesto Esquivel Gaón, Ana Mengual-Recuerda, Camilo Vera-Sepúlveda	Neurotechnologies Applied to Society's Perception of Cyber-Physical Systems (CPS) in Smart Cities.	Int. J. Semantic Web Inf. Syst.	2024	DBLP DOI BibTeX RDF
14	Tomoya Yamaguchi 0001, Bardh Hoxha, Dejan Nickovic	RTAMT - Runtime Robustness Monitors with Application to CPS and Robotics.	Int. J. Softw. Tools Technol. Transf.	2024	DBLP DOI BibTeX RDF
14	Yong-Jun Shin, Donghwan Shin 0001, Doo-Hwan Bae	Virtual Environment Model Generation for CPS Goal Verification using Imitation Learning.	ACM Trans. Embed. Comput. Syst.	2024	DBLP DOI BibTeX RDF
14	Yi Hu, Jinhang Zuo, Alanis Zhao, Bob Iannucci, Carlee Joe-Wong	CoRAST: Towards Foundation Model-Powered Correlated Data Analysis in Resource-Constrained CPS and IoT.	CoRR	2024	DBLP DOI BibTeX RDF
14	Ankit Agrawal 0002, Philipp Zech, Michael Vierhauser	Coupled Requirements-driven Testing of CPS: From Simulation To Reality.	CoRR	2024	DBLP DOI BibTeX RDF
14	M. Teresa Higuera-Toledano, José L. Risco-Martín, Patricia Arroba, José L. Ayala	Green Adaptation of Real-Time Web Services for Industrial CPS within a Cloud Environment.	CoRR	2024	DBLP DOI BibTeX RDF
14	Gaurav Shinde, Rohan Mohapatra, Pooja Krishan, Harish Garg, Srikanth Prabhu, Sanchari Das, Mohammad Masum, Saptarshi Sengupta	The State of Lithium-Ion Battery Health Prognostics in the CPS Era.	CoRR	2024	DBLP DOI BibTeX RDF
14	Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith	A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction.	ACM Trans. Cyber Phys. Syst.	2024	DBLP DOI BibTeX RDF
14	Junyi Liu, Yifu Tang, Haimeng Zhao, Xieheng Wang, Fangyu Li, Jingyi Zhang	CPS Attack Detection under Limited Local Information in Cyber Security: An Ensemble Multi-Node Multi-Class Classification Approach.	ACM Trans. Sens. Networks	2024	DBLP DOI BibTeX RDF
14	Ying Ju, Mingjie Yang, Chinmay Chakraborty, Lei Liu 0031, Qingqi Pei, Ming Xiao 0001, Keping Yu	Reliability-Security Tradeoff Analysis in mmWave Ad Hoc-based CPS.	ACM Trans. Sens. Networks	2024	DBLP DOI BibTeX RDF
14	Kashif Naseer Qureshi, Garret O'Keeffe, Shane O'Farrell, Graham Costelloe	Cybersecurity Standards and Policies for CPS in IoE.	Cybersecurity Vigilance and Security Engineering of Internet of Everything	2024	DBLP DOI BibTeX RDF
14	Zixuan Ding, Qi Xie	Provably secure and lightweight three-factor authentication scheme for industrial medical CPS.	J. Inf. Secur. Appl.	2023	DBLP DOI BibTeX RDF
14	Bo Wang 0024, Jiayao Hou, Fei Wei, Fei Yu, Weiming Zheng	MDM-CPS: A few-shot sample approach for source camera identification.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
14	R. Subhashini, G. R. Hemalakshmi, R. Rajalakshmi, Chuang Chen	Improving sleeping quality and health under CPS: An analysis based on EEG data and support vector machine algorithm.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
14	Bhushana Samyuel Neelam, Benjamin A. Shimray	Improved network performance in CPS communication with distributed IPC mechanisms of recursive internetworking architecture (RINA).	Int. J. Internet Protoc. Technol.	2023	DBLP DOI BibTeX RDF
14	Zhiyuan Kuang, Yajuan Song, Jie Wu, Qiuying Fu, Qi Shu, Fangli Qiao, Zhenya Song	A Hybrid ENSO Prediction System Based on the FIO-CPS and XGBoost Algorithm.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
14	Jiun-Wei Guo, Hsiao-Ching She, Meng-Jun Chen, Pei-Yi Tsai	Can CPS better prepare 8th graders for problem-solving in electromagnetism and bridging the gap between high- and low-achievers than IPS?	Int. J. Comput. Support. Collab. Learn.	2023	DBLP DOI BibTeX RDF
14	Hua Wu 0004, Ziling Shao, Fuhao Yang, Guang Cheng 0001, Xiaoyan Hu, Jing Ren 0002, Wei Wang 0171	PD-CPS: A practical scheme for detecting covert port scans in high-speed networks.	Comput. Networks	2023	DBLP DOI BibTeX RDF
14	Manohar Sai Burra, Soumyadev Maity	A Distributed and Decentralized Certificateless Framework for Reliable Shared Data Auditing for FOG-CPS Networks.	IEEE Access	2023	DBLP DOI BibTeX RDF
14	Ziaur Rahman 0003, Xun Yi, Ibrahim Khalil	Blockchain-Based AI-Enabled Industry 4.0 CPS Protection Against Advanced Persistent Threat.	IEEE Internet Things J.	2023	DBLP DOI BibTeX RDF
14	Zenepe Satka, Saad Mubeen, Mohammad Ashjaei, John Lundbäck	Towards Modelling 5G Communication in Software Architectures of Vehicular CPS.	WiPiEC Journal	2023	DBLP BibTeX RDF
14	Xuanzhao Lu, Qimin Xu, Xiaolin Wang, Meihan Lin, Cailian Chen, Zhiguo Shi 0001, Xinping Guan	Full-Loop AoI-Based Joint Design of Control and Deterministic Transmission for Industrial CPS.	IEEE Trans. Ind. Informatics	2023	DBLP DOI BibTeX RDF
14	Yangyang Bao, Weidong Qiu, Xiaochun Cheng	Privacy-preserving and fine-grained data sharing for resource-constrained healthcare CPS devices.	Expert Syst. J. Knowl. Eng.	2023	DBLP DOI BibTeX RDF
14	Raffaele Romagnoli, Bruce H. Krogh, Dionisio de Niz, Anton D. Hristozov, Bruno Sinopoli	Runtime System Support for CPS Software Rejuvenation.	IEEE Trans. Emerg. Top. Comput.	2023	DBLP DOI BibTeX RDF
14	Yuan Fei, Huibiao Zhu, Jiaqi Yin	Modeling and verifying NLSR protocol of NDN for CPS using UPPAAL.	J. Softw. Evol. Process.	2023	DBLP DOI BibTeX RDF
14	Ahmad Zainudin, Rubina Akter, Dong-Seong Kim 0002, Jae-Min Lee	Federated Learning Inspired Low-Complexity Intrusion Detection and Classification Technique for SDN-Based Industrial CPS.	IEEE Trans. Netw. Serv. Manag.	2023	DBLP DOI BibTeX RDF
14	Yigit Tuncel, Toygun Basaklar, Dina Carpenter-Graffy, Ümit Y. Ogras	A Self-Sustained CPS Design for Reliable Wildfire Monitoring.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
14	Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, Sanjit A. Seshia	Towards Building Verifiable CPS using Lingua Franca.	ACM Trans. Embed. Comput. Syst.	2023	DBLP DOI BibTeX RDF
14	Shoma Abe, Jun Ogawa, Yosuke Watanabe, MD Nahin Islam Shiblee, Masaru Kawakami, Hidemitsu Furukawa	MORI-A CPS: 3D printed soft actuators with 4D assembly simulation.	Artif. Life Robotics	2023	DBLP DOI BibTeX RDF
14	Anand Agrawal, Praneeta Maganti, Rajib Ranjan Maiti	Cyber Physical Aquaponic System (CyPhA): a CPS Testbed.	CoRR	2023	DBLP DOI BibTeX RDF
14	Armin Moin, Atta Badii, Stephan Günnemann, Moharram Challenger	AI-Enabled Software and System Architecture Frameworks: Focusing on smart Cyber-Physical Systems (CPS).	CoRR	2023	DBLP DOI BibTeX RDF
14	Srijeet Halder, Kereshmeh Afsari, Alireza Shojaei	Natural Interaction Modalities for Human-CPS Interaction in Construction Progress Monitoring.	CoRR	2023	DBLP DOI BibTeX RDF
14	Jaekwon Lee, Enrico Viganò, Oscar Cornejo, Fabrizio Pastore, Lionel C. Briand	Fuzzing for CPS Mutation Testing.	CoRR	2023	DBLP DOI BibTeX RDF
14	Satoshi Kura 0001	Higher-Order Weakest Precondition Transformers via a CPS Transformation.	CoRR	2023	DBLP DOI BibTeX RDF
14	Zhehua Zhou, Jiayang Song, Xuan Xie, Zhan Shu, Lei Ma 0003, Dikai Liu, Jianxiong Yin, Simon See	Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation.	CoRR	2023	DBLP DOI BibTeX RDF
14	Christian Pilato, Francesca Palumbo	CPS Workshop 2023 Proceedings.	CoRR	2023	DBLP DOI BibTeX RDF
14	Henrik S. Steude, Lukas Moddemann, Alexander Diedrich, Jonas Ehrhardt, Oliver Niggemann	Diagnosis driven Anomaly Detection for CPS.	CoRR	2023	DBLP DOI BibTeX RDF
14	Hua Qin, Weimin Chen, Ni Li, Tao Wang, Hao Chen, Gelan Yang, Yang Peng	CPS: Cross-interface network Partitioning and Scheduling towards QoS-aware data flow delivery in multimedia IoT.	J. Netw. Comput. Appl.	2023	DBLP DOI BibTeX RDF
14	Arda Goknil, Phu Hong Nguyen, Sagar Sen, Dimitra Politaki, Harris Niavis, Karl John Pedersen, Abdillah Suyuthi, Abhilash Anand, Amina Ziegenbein	A Systematic Review of Data Quality in CPS and IoT for Industry 4.0.	ACM Comput. Surv.	2023	DBLP DOI BibTeX RDF
14	Samarjit Chakraborty, Somesh Jha, Soheil Samii, Philipp Mundhenk	Introduction to the Special Issue on Automotive CPS Safety & Security: Part 1.	ACM Trans. Cyber Phys. Syst.	2023	DBLP DOI BibTeX RDF
14	Tong Yu, Qingxiang Wu	HarDNet-CPS: Colorectal polyp segmentation based on Harmonic Densely United Network.	Biomed. Signal Process. Control.	2023	DBLP DOI BibTeX RDF