Search results for "Insup Lee"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Anna Philippou, Insup Lee, Oleg Sokolsky	PADS: An approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling.	Theor. Comput. Sci.	2012	DBLP DOI BibTeX RDF
1	Madhukar Anand, Sebastian Fischmeister, Insup Lee, Linh T. X. Phan	State-based scheduling with tree schedules: analysis and evaluation.	Real-Time Systems	2012	DBLP DOI BibTeX RDF
1	Radha Poovendran, Krishna Sampigethaya, Sandeep K. S. Gupta, Insup Lee, K. Venkatesh Prasad, David Corman, James L. Paunicka	Special Issue on Cyber-Physical Systems [Scanning the Issue].	Proceedings of the IEEE	2012	DBLP DOI BibTeX RDF
1	Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew L. King, Margaret Mullen-Fortino, Soojin Park, Alex Roederer, Krishna K. Venkatasubramanian	Challenges and Research Directions in Medical Cyber-Physical Systems.	Proceedings of the IEEE	2012	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Klaus Havelund, Insup Lee	Introduction to the special section on runtime verification.	STTT	2012	DBLP DOI BibTeX RDF
1	Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky	A Safety Case Pattern for Model-Based Development Approach.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, Rahul Mangharam	From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study.	IEEE Real-Time and Embedded Technology and Applications Symposium	2012	DBLP DOI BibTeX RDF
1	Jaewoo Lee, Sisu Xi, Sanjian Chen, Linh T. X. Phan, Christopher D. Gill, Insup Lee, Chenyang Lu, Oleg Sokolsky	Realizing Compositional Scheduling through Virtualization.	IEEE Real-Time and Embedded Technology and Applications Symposium	2012	DBLP DOI BibTeX RDF
1	Nicholas Stevens, Ana Rosa Giannareas, Vanessa Kern, Adrian Viesca Trevino, Margaret Fortino-Mullen, Andrew L. King, Insup Lee	Smart alarms: multivariate medical alarm integration for post CABG surgery patients.	IHI	2012	DBLP DOI BibTeX RDF
1	Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew L. King, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino	The medical device dongle: an open-source standards-based platform for interoperable medical device connectivity.	IHI	2012	DBLP DOI BibTeX RDF
1	Alex Roederer, Andrew Hicks, Enny Oyeniran, Insup Lee, Soojin Park	Clinical decision support for integrated cyber-physical systems: a mixed methods approach.	IHI	2012	DBLP DOI BibTeX RDF
1	Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky	Permission to speak: A logic for access control and conformance.	J. Log. Algebr. Program.	2011	DBLP DOI BibTeX RDF
1	Jinkyu Lee, Arvind Easwaran, Insik Shin, Insup Lee	Zero-laxity based real-time multiprocessor scheduling.	Journal of Systems and Software	2011	DBLP DOI BibTeX RDF
1	Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee	Generating composite behavior of embedded software components based on UML behavioral model and process algebra.	ACM SIGSOFT Software Engineering Notes	2011	DBLP DOI BibTeX RDF
1	Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee	Runtime Verification of Traces under Recording Uncertainty.	RV	2011	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl	Challenges in the regulatory approval of medical cyber-physical systems.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul L. Jones, Yi Zhang, Raoul Praful Jetley	Safety-assured development of the GPCA infusion pump software.	EMSOFT	2011	DBLP DOI BibTeX RDF
1	Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Oleg Sokolsky, Insup Lee, Shan Lin, Margaret Mullen-Fortino	Demo of the medical device dongle: an open-source standards-based platform for interoperable medical device connectivity.	Wireless Health	2011	DBLP DOI BibTeX RDF
1	Nikhil Dinesh, Aravind K. Joshi, Insup Lee	Computing Logical Form on Regulatory Texts.	EMNLP	2011	DBLP BibTeX RDF
1	Linh T. X. Phan, Insup Lee, Oleg Sokolsky	Compositional analysis of real-time embedded systems.	CASES	2011	DBLP DOI BibTeX RDF
1	Andrew G. West, Insup Lee	Multilingual Vandalism Detection using Language-Independent & Ex Post Facto Evidence - Notebook for PAN at CLEF 2011.	CLEF (Notebook Papers/Labs/Workshop)	2011	DBLP BibTeX RDF
1	Deepak Gangadharan, Linh T. X. Phan, Samarjit Chakraborty, Roger Zimmermann, Insup Lee	Video Quality Driven Buffer Sizing via Frame Drops.	RTCSA	2011	DBLP DOI BibTeX RDF
1	Linh T. X. Phan, Insup Lee	Towards a Compositional Multi-modal Framework for Adaptive Cyber-physical Systems.	RTCSA	2011	DBLP DOI BibTeX RDF
1	Andrew G. West, Avantika Agrawal, Phillip Baker, Brittney Exline, Insup Lee	Autonomous link spam detection in purely collaborative environments.	Int. Sym. Wikis	2011	DBLP DOI BibTeX RDF
1	Andrew G. West, Insup Lee	What Wikipedia deletes: characterizing dangerous collaborative content.	Int. Sym. Wikis	2011	DBLP DOI BibTeX RDF
1	Shreyas Sundaram, Jian Chang, Krishna K. Venkatasubramanian, Chinwendu Enyioha, Insup Lee, George J. Pappas	Reputation-based networked control with data-corrupting channels.	HSCC	2011	DBLP DOI BibTeX RDF
1	Linh T. X. Phan, Zhuoyao Zhang, Qi Zheng, Boon Thau Loo, Insup Lee	An empirical analysis of scheduling techniques for real-time cloud-based data processing.	SOCA	2011	DBLP DOI BibTeX RDF
1	Sanjian Chen, Linh T. X. Phan, Jaewoo Lee, Insup Lee, Oleg Sokolsky	Removing Abstraction Overhead in the Composition of Hierarchical Real-Time Systems.	IEEE Real-Time and Embedded Technology and Applications Symposium	2011	DBLP DOI BibTeX RDF
1	Linh T. X. Phan, Insup Lee, Oleg Sokolsky	A Semantic Framework for Mode Change Protocols.	IEEE Real-Time and Embedded Technology and Applications Symposium	2011	DBLP DOI BibTeX RDF
1	Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Boon Thau Loo, Oleg Sokolsky, Insup Lee	AS-TRUST: A Trust Quantification Scheme for Autonomous Systems in BGP.	TRUST	2011	DBLP DOI BibTeX RDF
1	Andrew G. West, Insup Lee	Towards the effective temporal association mining of spam blacklists.	CEAS	2011	DBLP DOI BibTeX RDF
1	Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee	Link spamming Wikipedia for profit.	CEAS	2011	DBLP DOI BibTeX RDF
1	Madhukar Anand, Sebastian Fischmeister, Yerang Hur, Jesung Kim, Insup Lee	Generating Reliable Code from Hybrid-Systems Models.	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF
1	Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Lee	UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture.	J. UCS	2010	DBLP BibTeX RDF
1	Jin Hyun Kim, Inhye Kang, Jin-Young Choi, Insup Lee	Timed and Resource-oriented Statecharts for Embedded Software.	IEEE Trans. Industrial Informatics	2010	DBLP DOI BibTeX RDF
1	Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann (eds.)	Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings	RV	2010	DBLP DOI BibTeX RDF
1	Linh Thi Xuan Phan, Reinhard Schneider, Samarjit Chakraborty, Insup Lee	Modeling buffers with data refresh semantics in automotive architectures.	EMSOFT	2010	DBLP DOI BibTeX RDF
1	Andrew L. King, Alex Roederer, Sanjian Chen, Nicholas Stevens, Philip Asare, Oleg Sokolsky, Insup Lee, Margaret Mullen-Fortino, Soojin Park	Demo of the Generic Smart Alarm: a framework for the design, analysis, and implementation of smart alarms and other clinical decision support systems.	Wireless Health	2010	DBLP DOI BibTeX RDF
1	Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi	A Process Algebraic Framework for Modeling Resource Demand and Supply.	FORMATS	2010	DBLP DOI BibTeX RDF
1	Andrew G. West, Sampath Kannan, Insup Lee	Detecting Wikipedia vandalism via spatio-temporal analysis of revision metadata?	EUROSEC	2010	DBLP DOI BibTeX RDF	content-based access control, spatio-temporal reputation, vandalism, Wikipedia, collaborative software
1	Andrew G. West, Adam J. Aviv, Jian Chang, Insup Lee	Spam mitigation using spatio-temporal reputations from blacklist history.	ACSAC	2010	DBLP DOI BibTeX RDF
1	Insup Lee, 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
1	Ragunathan Rajkumar, Insup Lee, 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
1	Eunkyoung Jee, Suin Kim, Sung Deok Cha, Insup Lee	Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram.	SAFECOMP	2010	DBLP DOI BibTeX RDF
1	Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee	A Safety-Assured Development Approach for Real-Time Software.	RTCSA	2010	DBLP DOI BibTeX RDF	formal verification, code generation, timed automata, timing analysis, real-time software
1	Linh T. X. Phan, Insup Lee, Oleg Sokolsky	Compositional Analysis of Multi-mode Systems.	ECRTS	2010	DBLP DOI BibTeX RDF
1	David Arney, Sebastian Fischmeister, Insup Lee, Yoshihito Takashima, Mark Yim	Model-Based Programming of Modular Robots.	ISORC	2010	DBLP DOI BibTeX RDF
1	Andrew G. West, Sampath Kannan, Insup Lee	STiki: an anti-vandalism tool for Wikipedia using spatio-temporal analysis of revision metadata.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF
1	Andrew G. West, Sampath Kannan, Insup Lee	Spatio-temporal analysis of Wikipedia metadata and the STiki anti-vandalism tool.	Int. Sym. Wikis	2010	DBLP DOI BibTeX RDF
1	Eunkyoung Jee, Insup Lee, Oleg Sokolsky	Assurance Cases in Model-Driven Development of the Pacemaker Software.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Wenchao Zhou, Micah Sherr, William R. Marczak, Zhuoyao Zhang, Tao Tao, Boon Thau Loo, Insup Lee	Towards a data-centric view of cloud security.	CloudDB	2010	DBLP DOI BibTeX RDF
1	Andrew L. King, Alex Roederer, David Arney, Sanjian Chen, Margaret Mullen-Fortino, Ana Rosa Giannareas, William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, Insup Lee	GSA: a framework for rapid prototyping of smart alarm systems.	IHI	2010	DBLP DOI BibTeX RDF
1	Junkil Park, Jungjae Lee, Jin-Young Choi, Insup Lee	Model Checking of Real-Time Properties of Resource-Bound Process Algebra.	IEICE Transactions	2009	DBLP BibTeX RDF
1	Sebastian Fischmeister, Robert Trausmuth, Insup Lee	Hardware Acceleration for Programmable Real-Time Ethernet.	IEEE Trans. Industrial Informatics	2009	DBLP DOI BibTeX RDF
1	Arvind Easwaran, Insik Shin, Insup Lee	Optimal virtual cluster-based multiprocessor scheduling.	Real-Time Systems	2009	DBLP DOI BibTeX RDF	Virtual processor clustering, Compositional schedulability analysis, Multiprocessor scheduling, Hierarchical scheduling
1	Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee	Dynamic Trust Management.	IEEE Computer	2009	DBLP DOI BibTeX RDF
1	Michael J. May, Carl A. Gunter, Insup Lee, Steve Zdancewic	Strong and Weak Policy Relations.	POLICY	2009	DBLP DOI BibTeX RDF
1	Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee	DMaC: Distributed Monitoring and Checking.	RV	2009	DBLP DOI BibTeX RDF
1	Andrew G. West, Adam J. Aviv, Jian Chang, Vinayak S. Prabhu, Matt Blaze, Sampath Kannan, Insup Lee, Jonathan M. Smith, Oleg Sokolsky	QuanTM: a quantitative trust management system.	EUROSEC	2009	DBLP DOI BibTeX RDF	QuanTM, TNA-SL, quantified trust management, trust management, reputation management, KeyNote
1	Oleg Sokolsky, Insup Lee, Duncan Clarke	Process-Algebraic Interpretation of AADL Models.	Ada-Europe	2009	DBLP DOI BibTeX RDF
1	Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal	A Compositional Scheduling Framework for Digital Avionics Systems.	RTCSA	2009	DBLP DOI BibTeX RDF
1	Madhukar Anand, Sebastian Fischmeister, Insup Lee	Resource Scopes: Toward Language Support for Compositional Determinism.	ISORC	2009	DBLP DOI BibTeX RDF
1	Linh T. X. Phan, Samarjit Chakraborty, Insup Lee	Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones	Model-Based Testing of GUI-Driven Applications.	SEUS	2009	DBLP DOI BibTeX RDF
1	David Arney, Julian M. Goldman, Susan F. Whitehead, Insup Lee	Synchronizing an X-ray and Anesthesia Machine Ventilator - A Medical Device Interoperability Case Study.	BIODEVICES	2009	DBLP BibTeX RDF
1	Sheayun Lee, Insik Shin, Woonseok Kim, Insup Lee, Sang Lyul Min	A design framework for real-time embedded systems with code size and energy constraints.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	scheduling, real-time, Embedded, energy, code size
1	Insik Shin, Insup Lee	Compositional real-time scheduling framework with periodic model.	ACM Trans. Embedded Comput. Syst.	2008	DBLP DOI BibTeX RDF	scheduling, real-time, component, interface, composition, abstract, Hierarchical
1	Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky	Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking.	DEON	2008	DBLP DOI BibTeX RDF
1	Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky	Checking Traces for Regulatory Conformance.	RV	2008	DBLP DOI BibTeX RDF
1	Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan (eds.)	Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings	ATVA	2008	DBLP BibTeX RDF
1	Insik Shin, Arvind Easwaran, Insup Lee	Hierarchical Scheduling Framework for Virtual Clustering of Multiprocessors.	ECRTS	2008	DBLP DOI BibTeX RDF
1	Madhukar Anand, Arvind Easwaran, Sebastian Fischmeister, Insup Lee	Compositional Feasibility Analysis of Conditional Real-Time Task Models.	ISORC	2008	DBLP DOI BibTeX RDF	Recurring Branching Tasks, Schedulability, Compositional Analysis
1	Sebastian Fischmeister, Insup Lee, Robert Trausmuth	Hardware acceleration for verifiable, adaptive real-time communication.	ETFA	2008	DBLP DOI BibTeX RDF
1	Madhukar Anand, Insup Lee	Robust and sustainable schedulability analysis of embedded software.	LCTES	2008	DBLP DOI BibTeX RDF	robust schedulability analysis, sustainable schedulability analysis, schedulability analysis
1	Insup Lee, Anna Philippou, Oleg Sokolsky	Resources in process algebra.	J. Log. Algebr. Program.	2007	DBLP DOI BibTeX RDF
1	Sebastian Fischmeister, Oleg Sokolsky, Insup Lee	A Verifiable Language for Programming Real-Time Communication Schedules.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Time division multiaccess, Scheduling, Real time systems, Networks, Software verification and validation
1	Chenyang Lu, Insup Lee	Editorial: Special issue on real-time wireless sensor networks.	Real-Time Systems	2007	DBLP DOI BibTeX RDF
1	Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr	Statistical Runtime Checking of Probabilistic Properties.	RV	2007	DBLP DOI BibTeX RDF	statistical monitoring, Runtime verification, probabilistic properties
1	Luís Almeida, Sebastian Fischmeister, Madhukar Anand, Insup Lee	A dynamic scheduling approach to designing flexible safety-critical systems.	EMSOFT	2007	DBLP DOI BibTeX RDF	dynamic QoS management, real-time systems, embedded systems, utilization bounds, flexible scheduling
1	Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee	Runtime Verification for Wireless Sensor Network Applications.	Runtime Verification	2007	DBLP BibTeX RDF
1	Madhukar Anand, Sebastian Fischmeister, Insup Lee	Composition Techniques for Tree Communication Schedules.	ECRTS	2007	DBLP DOI BibTeX RDF
1	Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky	Compositional Schedulability Analysis of Hierarchical Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
1	Arvind Easwaran, Madhukar Anand, Insup Lee	Compositional Analysis Framework Using EDP Resource Models.	RTSS	2007	DBLP DOI BibTeX RDF
1	A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, George J. Pappas	Robust Test Generation and Coverage for Hybrid Systems.	HSCC	2007	DBLP DOI BibTeX RDF
1	Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky	Logic-Based Regulatory Conformance Checking.	Monterey Workshop	2007	DBLP DOI BibTeX RDF
1	Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky	Compositional modeling and refinement for hierarchical hybrid systems.	J. Log. Algebr. Program.	2006	DBLP DOI BibTeX RDF
1	Insup Lee, Anna Philippou, Oleg Sokolsky	A Family of Resource-Bound Real-Time Process Algebras.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim	Run-Time Checking of Dynamic Properties.	Electr. Notes Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Insup Lee, George J. Pappas, Rance Cleaveland, John Hatcliff, Bruce H. Krogh, Peter Lee, Harvey Rubin, Lui Sha	High-Confidence Medical Device Software and Systems.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Healthcare technology, Medical software, Clinical software engineering
1	Madhukar Anand, Sebastian Fischmeister, Jesung Kim, Insup Lee	Generating Sound and Resource-Aware Code from Hybrid Systems Models.	ASWSD	2006	DBLP DOI BibTeX RDF
1	Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee	Incremental schedulability analysis of hierarchical real-time components.	EMSOFT	2006	DBLP DOI BibTeX RDF	associative real-time interfaces, compositional schedulability analysis, incremental schedulability analysis, hierarchical scheduling
1	Madhukar Anand, Sebastian Fischmeister, Insup Lee	An analysis framework for network-code programs.	EMSOFT	2006	DBLP DOI BibTeX RDF	scheduling, network code, TDMA, real-time networking
1	Oleg Sokolsky, Sampath Kannan, Insup Lee	Simulation-Based Graph Similarity.	TACAS	2006	DBLP DOI BibTeX RDF
1	Oleg Sokolsky, Insup Lee, Duncan Clarke	Schedulability analysis of AADL models.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Michael J. May, Carl A. Gunter, Insup Lee	Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies.	CSFW	2006	DBLP DOI BibTeX RDF
1	Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee	Formal Modeling and Analysis of the AFDX Frame Management Design.	ISORC	2006	DBLP DOI BibTeX RDF
1	Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee	R-Charon, a Modeling Language for Reconfigurable Hybrid Systems.	HSCC	2006	DBLP DOI BibTeX RDF
1	Sebastian Fischmeister, Oleg Sokolsky, Insup Lee	Network-Code Machine: Programmable Real-Time Communication Schedules.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
1	Michael J. May, Wook Shin, Carl A. Gunter, Insup Lee	Securing the drop-box architecture for assisted living.	FMSE	2006	DBLP DOI BibTeX RDF	home health monitoring, security protocol verification, formal methods, formal verification, assisted living
1	Rajeev Alur, Insup Lee	Preface.	ACM Trans. Embedded Comput. Syst.	2005	DBLP DOI BibTeX RDF

Publications of "Insup Lee" ( http://dblp.L3S.de/Authors/Insup_Lee )