Search results for "CPS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
115	Daniel Damian, Olivier Danvy	Syntactic accidents in program analysis: on the impact of the CPS transformation.	ICFP	2000	DBLP DOI BibTeX RDF	CPS transformation of binding-time information, CPS transformation of control-flow information, binding-time improvements, continuation-based evaluation, continuation-based partial evaluation
111	Anders Bondorf	Improving Binding Times Without Explicit CPS-Conversion.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
108	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The Essence of Compiling with Continuations.	PLDI	1993	DBLP DOI BibTeX RDF
108	Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen	The essence of compiling with continuations (with retrospective)	Best of PLDI	1993	DBLP DOI BibTeX RDF
95	Yukiyoshi Kameyama	Axioms for control operators in the CPS hierarchy.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Type system, Axiomatization, Delimited continuation, CPS translation, Control operator
89	Kenichi Asai	Online partial evaluation for shift and reset.	PEPM	2002	DBLP DOI BibTeX RDF	CPS transformation, direct style (DS), online partial evaluations, continuation-passing style (CPS), Delimited continuations
84	Alex Wun, Alex King Yeung Cheung, Hans-Arno Jacobsen	A taxonomy for denial of service attacks in content-based publish/subscribe systems.	DEBS	2007	DBLP DOI BibTeX RDF	security, denial of service, publish/subscribe
84	Amr Sabry, Matthias Felleisen	Is Continuation-Passing Useful for Data Flow Analysis?	PLDI	1994	DBLP DOI BibTeX RDF
84	Amr Sabry, Matthias Felleisen	Reasoning About Programs in Continuation-Passing Style.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF
82	Klaus Schmeh	A Critical View on RFC 3647.	EuroPKI	2007	DBLP DOI BibTeX RDF	Certification Practice Statement, Certificate Policy, CP, PKI, CPS
75	Swee-Seong Wong, Wing-Kin Sung, Limsoon Wong	CPS-tree: A Compact Partitioned Suffix Tree for Disk-based Indexing on Large Genome Sequences.	ICDE	2007	DBLP DOI BibTeX RDF
75	Yukiyoshi Kameyama	Axioms for Delimited Continuations in the CPS Hierarchy.	CSL	2004	DBLP DOI BibTeX RDF
72	Alex Wun, Hans-Arno Jacobsen	A Policy Management Framework for Content-Based Publish/Subscribe Middleware.	Middleware	2007	DBLP DOI BibTeX RDF	Security, Policy, Configurability, Publish/Subscribe
72	John Hatcliff, Olivier Danvy	A Generic Account of Continuation-Passing Styles.	POPL	1994	DBLP DOI BibTeX RDF
72	Julia L. Lawall, Olivier Danvy	Separating Stages in the Continuation-Passing Style Transformation.	POPL	1993	DBLP DOI BibTeX RDF	SCHEME
65	Kenichi Asai	Offline partial evaluation for shift and reset.	PEPM	2004	DBLP DOI BibTeX RDF	CPS transformation, binding-time analysis (BTA), offline partial evaluation, continuation-passing style (CPS), logical relations, delimited continuations
63	Peter Gorm Larsen, John S. Fitzgerald, Jim Woodcock 0001, Peter Fritzson, Jörg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh	Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project.	CPS Data	2016	DBLP DOI BibTeX RDF
63	Raquel Lazcano López, Daniel Madroñal Quintín, Francesca Palumbo, Christian Pilato, Armando Tacchella (eds.)	Proceedings of the CPS Summer School PhD Workshop 2022 co-located with 4th Edition of the CPS Summer School (CPS 2022), Pula, Sardinia (Italy), September 19-23, 2022.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Stefano Demarchi, Dario Guidotti	Counter-Example Guided Abstract Refinement for Verification of Neural Networks.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Eman Ebaid, Keivan Navaie	Efficient Design of Scalable Indoor Positioning System Based on Wi-Fi Fingerprinting.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Tiziana Fanni, Giuseppe Meloni, Marco Melis, Antonio Solinas, Maria Katiuscia Zedda	The Multi-Sensor Gateway, a Unified Communication Scheme and Orchestration Actor for Heterogeneous Systems.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Massimo Pavan, Armando Caltabiano, Manuel Roveri	On-device Subject Recognition in UWB-radar Data with Tiny Machine Learning.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Alessandro Falcetta, Manuel Roveri	T4C: A Framework for Time-Series Clustering-as-a-Service.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Raffaele Meloni, Giuseppe Meloni, Daniel Madroñal	HW-SW Management Using a Lightweight Yocto-based OS Running on a ZCU102.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay	CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Juan Encinas	ML-Based Modeling and Virtualization of Reconfigurable Multi-Accelerator Systems.	CPS Summer School, PhD Workshop	2022	DBLP BibTeX RDF
63	Egon van Baars, Rineke Verbrugge	Adjusting a Knowledge-Based Algorithm for Multi-agent Communication for CPS.	LADS	2007	DBLP DOI BibTeX RDF
63	Olivier Danvy, Lasse R. Nielsen	A First-Order One-Pass CPS Transformation.	FoSSaCS	2002	DBLP DOI BibTeX RDF
60	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
60	Ying Tan, Mehmet C. Vuran, Steve Goddard	Spatio-Temporal Event Model for Cyber-Physical Systems.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
60	Alex Wun, Hans-Arno Jacobsen	Modelling performance optimizations for content-based publish/subscribe.	DEBS	2007	DBLP DOI BibTeX RDF	performance analysis, publish/subscribe
60	Olivier Danvy, Andrzej Filinski	Abstracting Control.	LISP and Functional Programming	1990	DBLP DOI BibTeX RDF
59	Gilles Barthe, Tarmo Uustalu	CPS translating inductive and coinductive types.	PEPM	2002	DBLP DOI BibTeX RDF	classical logic and control, inductive and coinductive types, typed ?-calculi, dependent types, CPS translations
56	Chung-chieh Shan	A static simulation of dynamic delimited control.	High. Order Symb. Comput.	2007	DBLP DOI BibTeX RDF	Delimited control operators, Macro expressibility, Shift and reset, Control and prompt, Continuation-passing style (CPS)
50	Jongmin Lee, Eujoon Byun, Hanmook Park, Jongmoo Choi, Donghee Lee 0001, Sam H. Noh	CPS-SIM: configurable and accurate clock precision solid state drive simulator.	SAC	2009	DBLP DOI BibTeX RDF	SSD (solid state drive), clock precision SSD simulator, configurability, NAND flash memory, FTL (flash translation layer)
50	Annette Bieniusa, Peter Thiemann 0001	How to CPS Transform a Monad.	CC	2009	DBLP DOI BibTeX RDF
50	Ramón Zatarain, Ryan Stansifer	A model of CPS translation and interpretation.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	compilers, exception handling, continuation-passing style, functional programming languages
50	Ken-etsu Fujita	A Sound and Complete CPS-Translation for lambda-mu-Calculus.	TLCA	2003	DBLP DOI BibTeX RDF
49	Himanshu Neema, Harmon Nine, Thomas Roth	Reusable Network Simulation for CPS Co-Simulations.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
49	Sheng-Jung Yu, Inigo Incer, Valmik Prabhu, Anwesha Chattoraj, Eric Vin, Daniel J. Fremont, Ankur Mehta, Alberto L. Sangiovanni-Vincentelli, Shankar Sastry 0001, Sanjit A. Seshia	Symbiotic CPS Design-Space Exploration through Iterated Optimization.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
49	Jared Hall, Joe Sventek	DRAEC: An Adaptive Edge Computing Framework for Enforcing Operational Policy in CPS-IoT Systems.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
49	Simon N. Foley, Fabien Autrel, Edwin Bourget, Thomas Clédel, Stephane Grunenwald, Jose Rubio-Hernan, Alexandre Kabil, Raphael Larsen, Vivien M. Rooney, Kirsten Vanhulst	Science Hackathons for Cyberphysical System Security Research: Putting CPS testbed platforms to good use.	CPS-SPC@CCS	2018	DBLP DOI BibTeX RDF
49		2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS, CPS Data 2016, Vienna, Austria, April 11, 2016	CPS Data	2016	DBLP BibTeX RDF
49	Marco Steger, Michael Karner, Joachim Hillebrand, Werner Rom, Kay Römer	A security metric for structured security analysis of cyber-physical systems supporting SAE J3061.	CPS Data	2016	DBLP DOI BibTeX RDF
49	Peter Fogh, Thomas C. Hald, Brian Nielsen	WUppaal: A web-service for the Uppaal model-checker.	CPS Data	2016	DBLP DOI BibTeX RDF
49	Simin Cai, Barbara Gallina, Dag Nyström, Cristina Seceleanu	Towards the verification of temporal data consistency in Real-Time Data Management.	CPS Data	2016	DBLP DOI BibTeX RDF
49	Tobias Käfer, Andreas Harth, Sebastien Mamessier	Towards declarative programming and querying in a distributed Cyber-Physical System: The i-VISION case.	CPS Data	2016	DBLP DOI BibTeX RDF
49	Kaliappa Ravindran, Mohammad Rabby, Michael Iannelli	Data-oriented abstraction of virtual sensors for embedded software systems.	CPS Data	2016	DBLP DOI BibTeX RDF
49	Florian Grützmacher, Benjamin Beichler, Christian Haubelt, Bart D. Theelen	Dataflow-based modeling and performance analysis for online gesture recognition.	CPS Data	2016	DBLP DOI BibTeX RDF
49	Björn Butzin, Björn Konieczek, Frank Golatowski, Dirk Timmermann, Christoph Fiehe	Applying the BaaS reference architecture on different classes of devices.	CPS Data	2016	DBLP DOI BibTeX RDF
49	Daniele Antonioli, Nils Ole Tippenhauer	MiniCPS: A Toolkit for Security Research on CPS Networks.	CPS-SPC@CCS	2015	DBLP DOI BibTeX RDF
48	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
48	Weijia Jia 0001, Dai Bin, Lin Liao	Architecture of secure cross-platform and network communications.	ICUIMC	2008	DBLP DOI BibTeX RDF	cross-network, security, network, Wi-Fi, 3G, cross-platform
48	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
48	Andrew Kennedy	Compiling with continuations, continued.	ICFP	2007	DBLP DOI BibTeX RDF	continuations, monads, optimizing compilation, continuation passing style, functional programming languages
48	Zhanping Yin, Victor C. M. Leung	Adaptive contention access suspension in IEEE 802.15.3 MAC.	BROADNETS	2007	DBLP DOI BibTeX RDF
48	Tetsuhiko Miyatani	Column-Pair Scrambled Chip-Interleaved DS-CDMA for Asynchronous Uplink.	VTC Spring	2006	DBLP DOI BibTeX RDF
48	Franco Frattolillo, Salvatore D'Onofrio	An Effective and Dynamically Extensible DRM Web Platform.	HPCC	2005	DBLP DOI BibTeX RDF
48	Vladimir V. Prokhorov	Computational Portal: Remote Access to High-Performance Computing.	PaCT	2001	DBLP DOI BibTeX RDF
48	Jeff Polakow, Kwangkeun Yi	Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.	FLOPS	2001	DBLP DOI BibTeX RDF
47	Tiark Rompf, Ingo Maier, Martin Odersky	Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform.	ICFP	2009	DBLP DOI BibTeX RDF	control effects, selective CPS transform, program transformation, delimited continuations
45	Chiyan Chen, Hongwei Xi	Implementing typeful program transformations.	PEPM	2003	DBLP DOI BibTeX RDF	DML, dependent ML, typeful program transformation, dependent types, CPS, continuation-passing style
44	Dingguo Chen	NN-Based Near Real Time Load Prediction for Optimal Generation Control.	ISNN (2)	2008	DBLP DOI BibTeX RDF	Very Short Term Load Prediction (VSTLP), Load Dynamics, Automatic Generation Control (AGC), Dynamic Economic Dispatch, Control Performance Standard (CPS), Hierarchical Neural Network
44	Olivier Danvy	Defunctionalized interpreters for programming languages.	ICFP	2008	DBLP DOI BibTeX RDF	big-step abstract machines, context-sensitive reduction semantics, cps transformation, refocusing, small-step abstract machines, interruptions, continuations, structural operational semantics, natural semantics, defunctionalization, reduction semantics
44	Yukiyoshi Kameyama, Takuo Yonezawa	Typed Dynamic Control Operators for Delimited Continuations.	FLOPS	2008	DBLP DOI BibTeX RDF	Dynamic Control Operator, Type System, Polymorphism, Expressivity, Delimited Continuation, CPS Translation
44	Olin Shivers, Matthew Might	Continuations and transducer composition.	PLDI	2006	DBLP DOI BibTeX RDF	lambda, program analysis, continuations, fusion, language design, functional languages, stream processing, calculus, flow analysis, continuation-passing style (CPS), coroutines
44	Yukiyoshi Kameyama, Masahito Hasegawa	A sound and complete axiomatization of delimited continuations.	ICFP	2003	DBLP DOI BibTeX RDF	continuation, axiomatization, CPS-translation
44	Demetres D. Kouvatsos, Khalid Al-Begain, Irfan-Ullah Awan	A Queueing Model for a Wireless GSM/GPRS Cell with Multiple Service Classes.	NETWORKING	2002	DBLP DOI BibTeX RDF	Cellular mobile system, Global System for Mobile Telecommunication (GSM), wireless GSM/GPRS cell, complete partitioning scheme (CPS), maximum entropy (ME) principle, generalised exponential (GE) distribution, first-come-first-served (FCFS) rule, processor sharing (PS) rule, performance evaluation, General Packet Radio Service (GPRS)
44	Ichiro Ogata	A Proof Theoretical Account of Continuation Passing Style.	CSL	2002	DBLP DOI BibTeX RDF	Classical Natural Deduction, LKQ, classical proof theory, Classical Logic, CPS-translation, Call-By-Value
38	Satoshi Kobayashi	A New Translation for Semi-classical Theories - Backtracking without CPS.	FLOPS	2008	DBLP DOI BibTeX RDF
38	Han Tang, Bruce M. McMillin	Security Property Violation in CPS through Timing.	ICDCS Workshops	2008	DBLP DOI BibTeX RDF
38	Zaynah Dargaye, Xavier Leroy	Mechanized Verification of CPS Transformations.	LPAR	2007	DBLP DOI BibTeX RDF
38	Jin-Tan Yang, Min Jey Hwang, Yuan Fong Chu	A Study on Searching and Recommending SCORM CPs by Ontological Support.	ICALT	2005	DBLP DOI BibTeX RDF
38	Yasuhiko Minamide, Koji Okuma	Verifying CPS transformations in Isabelle/HOL.	MERLIN	2003	DBLP DOI BibTeX RDF	program transformation, theorem proving, correctness proofs
38	Robert Harper 0001, Mark Lillibridge	Explicit Polymorphism and CPS Conversion.	POPL	1993	DBLP DOI BibTeX RDF
36	Chun Jason Xue, Guoliang Xing, Zhaohui Yuan, Zili Shao, Edwin Hsing-Mean Sha	Joint Sleep Scheduling and Mode Assignment in Wireless Cyber-Physical Systems.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
36	Lui Sha, José Meseguer 0001	Design of Complex Cyber Physical Systems with Formalized Architectural Patterns.	Software-Intensive Systems and New Computing Paradigms	2008	DBLP DOI BibTeX RDF
36	Edward A. Lee	Cyber Physical Systems: Design Challenges.	ISORC	2008	DBLP DOI BibTeX RDF	embedded systems, real time, Cyber-physical systems
36	Yanbin Peng, Bei Shui Liao, Ji Gao, Jun Hu, CunHao Wang, Jie-Qing Ai, Hang Guo	Cooperative Problem Solving Process Based on MAS_NP Model.	EUC (2)	2008	DBLP DOI BibTeX RDF
36	Federico Cabitza, Marcello Sarini, Carla Simone	Providing awareness through situated process maps: the hospital care case.	GROUP	2007	DBLP DOI BibTeX RDF	clinical pathways, cooperative work, hospital work, collaboration awareness
36	Matti A. Hiltunen, François Taïani, Richard D. Schlichting	Reflections on aspects and configurable protocols.	AOSD	2006	DBLP DOI BibTeX RDF	extensible software, configurable software
36	T.-K. Yin	A Characteristic-Point-Based Fuzzy Inference Classifier by a Closeness Matrix.	IEEE Trans. Fuzzy Syst.	2005	DBLP DOI BibTeX RDF
36	Olivier Danvy, Kevin Millikin	A Rational Deconstruction of Landin's J Operator.	IFL	2005	DBLP DOI BibTeX RDF
36	Denise M. Woit, M. Fan	Independence Transformations and Tools for Components.	ICECCS	2004	DBLP DOI BibTeX RDF
36	Olivier Danvy, Julia L. Lawall	Back to Direct Style II: First-Class Continuations.	LISP and Functional Programming	1992	DBLP DOI BibTeX RDF	SCHEME
36	Qin-Zhong Ye, Per-Erik Danielsson	Inspection of Printed Circuit Boards by Connectivity Preserving Shrinking.	IEEE Trans. Pattern Anal. Mach. Intell.	1988	DBLP DOI BibTeX RDF	PCB manufacture, connectivity preserving shrinking, edge irregularities, printed circuit manufacture, computer vision, computer vision, computerised pattern recognition, computerised pattern recognition, inspection, sensitivity, quality control, quality control, visual inspection, printed circuit boards, pipelined structure
35	Maanak Gupta, Mahmoud Abdelsalam, Mohammad Nur Nobi (eds.)	Sat-CPS@CODASPY 2023: Proceedings of the 2023 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems, Charlotte, NC, USA, 26 April 2023	SaT-CPS@ODASPY	2023	DBLP DOI BibTeX RDF
35		Proceedings of Cyber-Physical Systems and Internet of Things Week 2023, CPS-IoT Week 2023 Workshops, San Antonio, TX, USA, May 9-12, 2023	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
35	Abhijith Sharma, Yijun Bian, Vatsal Nanda, Phil Munz, Apurva Narayan	Vulnerability of CNNs against Multi-Patch Attacks.	SAT-CPS@CODASPY	2023	DBLP DOI BibTeX RDF
35	Bharath K. Samanthula, Hemadri Patel	Privacy-Preserving and Outsourced Computation Framework for Power Usage Control in Smart Grids.	SAT-CPS@CODASPY	2023	DBLP DOI BibTeX RDF
35	Melis Kapotoglu Koc, Deniz Turgay Altilar	Selection of Best Fit Hardware Performance Counters to Detect Cache Side-Channel Attacks.	SAT-CPS@CODASPY	2023	DBLP DOI BibTeX RDF
35	Ahmad B. Usman, Nigel Cole, Mikael Asplund, Felipe Boeira, Christian Vestlund	Remote Attestation Assurance Arguments for Trusted Execution Environments.	SAT-CPS@CODASPY	2023	DBLP DOI BibTeX RDF
35	Ashish Ahire, Mustafa Abdallah	Reinforcement Learning for Enhancing Human Security Resource Allocation in Protecting Assets with Heterogeneous Losses.	SAT-CPS@CODASPY	2023	DBLP DOI BibTeX RDF
35	Marcia Cunha Rocha, Enio Vasconcelos Filho, Fernando Alves, Sergio Penna, Pedro M. Santos 0002, Eduardo Tovar	A WSSL Implementation for Critical Cyber-Physical Systems Applications.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
35	Renato Mancuso 0001, Shahin Roozkhosh, Denis Hoornaert, Ju Hyoung Mun, Tarikul Islam Papon, Manos Athanassoulis	Software-Shaped Platforms.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
35	Marten Lohstroh, Edward A. Lee, Stephen A. Edwards, David Broman	Logical Time for Reactive Software.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
35	Susmita Tadepalli, Zhuanhao Wu, Hiren D. Patel	PASoC: A Predictable Accelerator-rich SoC.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
35	Govind Singh, Anshul Pandey, Monika Prakash, Martin Andreoni Lopez, Michael Baddeley	Benchmarking and Security Considerations of Wi-Fi FTM for Ranging in IoT Devices.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
35	Yimin Zhang, Barikisu Asulba, Nuno Schumacher, Mário Sousa, Pedro F. Souto, Luís Almeida 0001, Pedro M. Santos 0002, Nuno Martins, Joana Sousa	Implementing and Deploying an ML Pipeline for IoT Intrusion Detection with Node-RED.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF
35	Fabien Siron, Dumitru Potop-Butucaru, Robert de Simone, Damien Chabrol, Amira Methni	Semantics foundations of PsyC based on synchronous Logical Execution Time.	CPS-IoT Week Workshops	2023	DBLP DOI BibTeX RDF