|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 42 occurrences of 39 keywords
|
|
|
|
|
Results
Found 106 publication records. Showing 106 according to the selection in the facets
| 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 | 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 | 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 | 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 | 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 | Oleg Sokolsky |
Medical Cyber-Physical Systems. |
ECBS |
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 | Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
Compositional analysis of real-time embedded systems. |
CASES |
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, Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee |
Link spamming Wikipedia for profit. |
CEAS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Serdar Tasiran |
Editorial. |
J. Log. Comput. |
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 | 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 | 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 | 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 | Eunkyoung Jee, Insup Lee, Oleg Sokolsky |
Assurance Cases in Model-Driven Development of the Pacemaker Software. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Oleg Sokolsky (eds.) |
Foundations of Computer Software. Future Trends and Techniques for Development, 15th Monterey Workshop 2008, Budapest, Hungary, September 24-26, 2008, Revised Selected Papers |
Monterey Workshop |
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 | 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 | Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee |
DMaC: Distributed Monitoring and Checking. |
RV |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky |
Declarative Network Verification. |
PADL |
2009 |
DBLP DOI BibTeX RDF |
network protocol verification, theorem proving, domain-specific languages, Declarative networking |
| 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 | 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 | 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 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (eds.) |
Runtime Verification, 02.01. - 06.01.2007 |
Runtime Verification |
2008 |
DBLP BibTeX RDF |
|
| 1 | Oleg Sokolsky, Alexander Chernoguzov |
Performance Analysis of AADL Models Using Real-Time Calculus. |
Monterey Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
| 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 | Oscar Mondragon, Ann Q. Gates, Steve Roach, Humberto Mendoza, Oleg Sokolsky |
Generating Properties for Runtime Monitoring from Software Specification Patterns. |
International Journal of Software Engineering and Knowledge Engineering |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher D. Gill, Oleg Sokolsky |
Guest Editors' Foreword. |
J. Comput. Syst. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Serdar Tasiran (eds.) |
Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers |
RV |
2007 |
DBLP 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 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
07011 Executive Summary -- Runtime Verification. |
Runtime Verification |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky |
07011 Abstracts Collection -- Runtime Verification. |
Runtime Verification |
2007 |
DBLP BibTeX RDF |
|
| 1 | Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee |
Runtime Verification for Wireless Sensor Network Applications. |
Runtime Verification |
2007 |
DBLP 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 | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky |
Logic-Based Regulatory Conformance Checking. |
Monterey Workshop |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrice Kordon, Oleg Sokolsky (eds.) |
Composition of Embedded Systems. Scientific and Industrial Issues, 13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised Selected Papers |
Monterey Workshop |
2007 |
DBLP 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 | Arvind Easwaran, Sampath Kannan, Oleg Sokolsky |
Steering of Discrete Event Systems: Control Theory Approach. |
Electr. Notes Theor. Comput. Sci. |
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 | 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 | 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 | Grégory Batt, Jeremy T. Bradley, Roland Ewald, François Fages, Holger Hermanns, Jane Hillston, Peter Kemper, Alke Martens, Pieter J. Mosterman, Flemming Nielson, Oleg Sokolsky, Adelinde M. Uhrmacher |
06161 Working Groups' Report: The Challlenge of Combining Simulation and Verification. |
Simulation and Verification of Dynamic Systems |
2006 |
DBLP 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 | Xiaobo Zhou, Oleg Sokolsky, Lu Yan, Eun-Sun Jung, Zili Shao, Yi Mu, Dong Chun Lee, Daeyoung Kim, Young-Sik Jeong, Cheng-Zhong Xu (eds.) |
Emerging Directions in Embedded and Ubiquitous Computing, EUC 2006 Workshops: NCUS, SecUbiq, USN, TRUST, ESO, and MSA, Seoul, Korea, August 1-4, 2006, Proceedings |
EUC Workshops |
2006 |
DBLP 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 | Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky |
Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky |
Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. |
SCAM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky |
JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. |
WORDS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Usa Sammapun, Insup Lee, Oleg Sokolsky |
RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. |
RTCSA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky |
Generating Properties for Runtime Monitoring from Software Specification Patterns. |
SEKE |
2005 |
DBLP BibTeX RDF |
|
| 1 | Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky |
Java-MaC: A Run-Time Assurance Approach for Java Programs. |
Formal Methods in System Design |
2004 |
DBLP DOI BibTeX RDF |
run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation |
| 1 | Li Tan, Oleg Sokolsky, Insup Lee |
Specification-based Testing with Linear Temporal Logic. |
IRI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee |
Model-based Testing and Monitoring for Hybrid Embedded Systems. |
IRI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis |
Is runtime verification applicable to cheat detection? |
NETGAMES |
2004 |
DBLP DOI BibTeX RDF |
runtime verification, multiplayer game, cheat detection |
| 1 | Oleg Sokolsky |
Resource Modeling for Embedded Systems Design. |
WSTFEUS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Mahesh Viswanathan |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Thao Dang, Joel M. Esposito, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky |
Hierarchical modeling and analysis of embedded systems. |
Proceedings of the IEEE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou |
Modeling and Analysis of Power-Aware Systems. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural |
Data Flow Testing as Model Checking. (PDF / PS) |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky |
Generating embedded software from hierarchical hybrid models. |
LCTES |
2003 |
DBLP DOI BibTeX RDF |
modularity, code generation, hybrid system, formal language, embedded software |
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
Verisim: Formal Analysis of Network Simulations. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
Verisim, packet radio, population abstraction, packet-type abstraction, simulation, routing, ad hoc networks, testing, network, temporal logic, AODV, formal analysis, tuning, MaC, NS |
| 1 | Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky |
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP. |
Sci. Comput. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky |
Monitoring, Checking, and Steering of Real-Time Systems. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan |
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Calin Belta, Franjo Ivancic, Vijay Kumar, Harvey Rubin, Jonathan Schug, Oleg Sokolsky, Jonathan Webb |
Visual Programming for Modeling and Simulation of Biomolecular Regulatory Networks. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural |
A Temporal Logic Based Theory of Test Coverage and Generation. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Insup Lee, Anna Philippou, Oleg Sokolsky |
A General Resource Framework for Real-Time Systems. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka |
Hiding resources that can fail: An axiomatic perspective. |
Inf. Process. Lett. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan |
Java-MaC: a Run-time Assurance Tool for Java Programs. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky |
A Family of Resource-Bound Real-Time Process Algebras. |
FORTE |
2001 |
DBLP BibTeX RDF |
|
| 1 | Rajeev Alur, Thao Dang, Joel M. Esposito, Rafael B. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George J. Pappas, Oleg Sokolsky |
Hierarchical Hybrid Modeling of Embedded Systems. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky |
Compositional Refinement for Hierarchical Hybrid Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Insup Lee, Oleg Sokolsky |
Weak Bisimulation for Probabilistic Systems. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan |
Verisim: Formal analysis of network simulations. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah |
Specification and Analysis of Real-Time Systems with PARAGON. |
Ann. Software Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hee-Hwan Kwak, Insup Lee, Oleg Sokolsky |
Parametric Approach to the Specification and Analysis of Real-time System Designs based on ACSR-VP. |
Electr. Notes Theor. Comput. Sci. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan |
Runtime Assurance Based On Formal Specifications. |
PDPTA |
1999 |
DBLP BibTeX RDF |
|
| 1 | Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky |
Formally specified monitoring of temporal properties. |
ECRTS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
Praobabilistic Resource Failure in Real-Time Process Algebra. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky |
Symbolic Schedulability Analysis of Real-Time Systems. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Sokolsky, Mohamed F. Younis, Insup Lee, Hee-Hwan Kwak, Jeffrey X. Zhou |
Verification of the Redundancy Management System for Space Launch Vehicle: A Case Study. (PDF / PS) |
IEEE Real Time Technology and Applications Symposium |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Insup Lee, Oleg Sokolsky |
Analytical Design of Evolutionary Control Flow Components. (PDF / PS) |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 106 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")