- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j34 |      | Oleg Sokolsky, Grigore Rosu: Introduction to the special issue on runtime verification. Formal Methods in System Design 41(3): 233-235 (2012) |
| j33 | | Krishna K. Venkatasubramanian, Eugene Y. Vasserman, Oleg Sokolsky, Insup Lee: Security and Interoperable-Medical-Device Systems, Part 1. IEEE Security & Privacy 10(5): 61-63 (2012) |
| j32 | | Eugene Y. Vasserman, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee: Security and Interoperable-Medical-Device Systems, Part 2: Failures, Consequences, and Classification. IEEE Security & Privacy 10(6): 70-73 (2012) |
| j31 | | 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 100(1): 75-90 (2012) |
| j30 | | Oleg Sokolsky, Klaus Havelund, Insup Lee: Introduction to the special section on runtime verification. STTT 14(3): 243-247 (2012) |
| j29 | | 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. 413(1): 2-20 (2012) |
| c79 | | 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: 667-672 |
| c78 | | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky: A Safety Case Pattern for Model-Based Development Approach. NASA Formal Methods 2012: 141-146 |
| c77 | | BaekGyu Kim, Linh T. X. Phan, Insup Lee, Oleg Sokolsky: A model-based I/O interface synthesis framework for the cross-platform software modeling. RSP 2012: 16-22 |
| c76 | | 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: 13-22 |
| c75 | | 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: 173-184 |
| c74 | | Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky: A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments. SAFECOMP 2012: 305-316 |
| i1 | | Peter H. Feiler, Jérôme Hugues, Oleg Sokolsky: Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). Dagstuhl Reports 2(7): 30-55 (2012) |
| 2011 | ||
| j28 | | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Permission to speak: A logic for access control and conformance. J. Log. Algebr. Program. 80(1): 50-74 (2011) |
| j27 | | Jaewoo Lee, Linh T. X. Phan, Sanjian Chen, Oleg Sokolsky, Insup Lee: Improving resource utilization for compositional scheduling using DPRM interfaces. SIGBED Review 8(1): 38-45 (2011) |
| j26 | | Linh T. X. Phan, Jaewoo Lee, Arvind Easwaran, Vinay Ramaswamy, Sanjian Chen, Insup Lee, Oleg Sokolsky: CARTS: a tool for compositional analysis of real-time systems. SIGBED Review 8(1): 62-63 (2011) |
| c73 | | Linh T. X. Phan, Insup Lee, Oleg Sokolsky: Compositional analysis of real-time embedded systems. CASES 2011: 237-238 |
| c72 | | Andrew G. West, Jian Chang, Krishna K. Venkatasubramanian, Oleg Sokolsky, Insup Lee: Link spamming Wikipedia for profit. CEAS 2011: 152-161 |
| c71 | | |
| c70 | | 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: 155-164 |
| c69 | | Oleg Sokolsky, Insup Lee, Mats Per Erik Heimdahl: Challenges in the regulatory approval of medical cyber-physical systems. EMSOFT 2011: 227-232 |
| c68 | | 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: 81-90 |
| c67 | | 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: 91-100 |
| c66 | | Shaohui Wang, Anaheed Ayoub, Oleg Sokolsky, Insup Lee: Runtime Verification of Traces under Recording Uncertainty. RV 2011: 442-456 |
| c65 | | 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: 262-276 |
| c64 | | 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: 16 |
| 2010 | ||
| j25 | | |
| c63 | | |
| c62 | | Linh T. X. Phan, Insup Lee, Oleg Sokolsky: Compositional Analysis of Multi-mode Systems. ECRTS 2010: 197-206 |
| c61 | | Anna Philippou, Insup Lee, Oleg Sokolsky, Jin-Young Choi: A Process Algebraic Framework for Modeling Resource Demand and Supply. FORMATS 2010: 183-197 |
| c60 | | David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, Oleg Sokolsky: Toward patient safety in closed-loop medical device systems. ICCPS 2010: 139-148 |
| c59 | | 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: 487-491 |
| c58 | | Eunkyoung Jee, Insup Lee, Oleg Sokolsky: Assurance Cases in Model-Driven Development of the Pacemaker Software. ISoLA (2) 2010: 343-356 |
| c57 | | Eunkyoung Jee, Shaohui Wang, Jeong-Ki Kim, Jaewoo Lee, Oleg Sokolsky, Insup Lee: A Safety-Assured Development Approach for Real-Time Software. RTCSA 2010: 133-142 |
| c56 | | 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: 210-211 |
| e6 | | 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. Lecture Notes in Computer Science 6028, Springer 2010, isbn 978-3-642-12565-2 |
| e5 | | 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. Lecture Notes in Computer Science 6418, Springer 2010, isbn 978-3-642-16611-2 |
| 2009 | ||
| j24 | | Matt Blaze, Sampath Kannan, Insup Lee, Oleg Sokolsky, Jonathan M. Smith, Angelos D. Keromytis, Wenke Lee: Dynamic Trust Management. IEEE Computer 42(2): 44-52 (2009) |
| c55 | | Oleg Sokolsky, Insup Lee, Duncan Clarke: Process-Algebraic Interpretation of AADL Models. Ada-Europe 2009: 222-236 |
| c54 | | 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: 28-35 |
| c53 | | Anduo Wang, Limin Jia, Changbin Liu, Boon Thau Loo, Oleg Sokolsky, Prithwish Basu: Formally Verifiable Networking. HotNets 2009 |
| c52 | | Anduo Wang, Prithwish Basu, Boon Thau Loo, Oleg Sokolsky: Declarative Network Verification. PADL 2009: 61-75 |
| c51 | | Arvind Easwaran, Insup Lee, Oleg Sokolsky, Steve Vestal: A Compositional Scheduling Framework for Digital Avionics Systems. RTCSA 2009: 371-380 |
| c50 | | Wenchao Zhou, Oleg Sokolsky, Boon Thau Loo, Insup Lee: DMaC: Distributed Monitoring and Checking. RV 2009: 184-201 |
| c49 | | Vivien Chinnapongse, Insup Lee, Oleg Sokolsky, Shaohui Wang, Paul L. Jones: Model-Based Testing of GUI-Driven Applications. SEUS 2009: 203-214 |
| 2008 | ||
| c48 | | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking. DEON 2008: 110-124 |
| c47 | | Oleg Sokolsky, Alexander Chernoguzov: Performance Analysis of AADL Models Using Real-Time Calculus. Monterey Workshop 2008: 227-249 |
| c46 | | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Checking Traces for Regulatory Conformance. RV 2008: 86-103 |
| e4 |  | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky (Eds.): Runtime Verification, 02.01. - 06.01.2007. Dagstuhl Seminar Proceedings 07011, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008 |
| 2007 | ||
| j23 | | 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 17(1): 107-126 (2007) |
| j22 | | Christopher D. Gill, Oleg Sokolsky: Guest Editors' Foreword. J. Comput. Syst. Sci. 73(2): 155 (2007) |
| j21 | | Insup Lee, Anna Philippou, Oleg Sokolsky: Resources in process algebra. J. Log. Algebr. Program. 72(1): 98-122 (2007) |
| j20 | | Sebastian Fischmeister, Oleg Sokolsky, Insup Lee: A Verifiable Language for Programming Real-Time Communication Schedules. IEEE Trans. Computers 56(11): 1505-1519 (2007) |
| c45 | | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Executive Summary -- Runtime Verification. Runtime Verification 2007 |
| c44 | | Bernd Finkbeiner, Klaus Havelund, Grigore Rosu, Oleg Sokolsky: 07011 Abstracts Collection -- Runtime Verification. Runtime Verification 2007 |
| c43 | | Oleg Sokolsky, Usa Sammapun, John Regehr, Insup Lee: Runtime Verification for Wireless Sensor Network Applications. Runtime Verification 2007 |
| c42 | | Arvind Easwaran, Insup Lee, Insik Shin, Oleg Sokolsky: Compositional Schedulability Analysis of Hierarchical Real-Time Systems. ISORC 2007: 274-281 |
| c41 | | Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky: Logic-Based Regulatory Conformance Checking. Monterey Workshop 2007: 147-160 |
| c40 | | Usa Sammapun, Insup Lee, Oleg Sokolsky, John Regehr: Statistical Runtime Checking of Probabilistic Properties. RV 2007: 164-175 |
| e3 | | 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. Lecture Notes in Computer Science 4888, Springer 2007, isbn 978-3-540-77418-1 |
| e2 | | Oleg Sokolsky, Serdar Tasiran (Eds.): Runtime Verification, 7th International Workshop, RV 2007, Vancouver, Canada, March 13, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4839, Springer 2007, isbn 978-3-540-77394-8 |
| 2006 | ||
| j19 | | Arvind Easwaran, Sampath Kannan, Oleg Sokolsky: Steering of Discrete Event Systems: Control Theory Approach. Electr. Notes Theor. Comput. Sci. 144(4): 21-39 (2006) |
| j18 | | Oleg Sokolsky, Usa Sammapun, Insup Lee, Jesung Kim: Run-Time Checking of Dynamic Properties. Electr. Notes Theor. Comput. Sci. 144(4): 91-108 (2006) |
| j17 | | Insup Lee, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 221-226 (2006) |
| j16 | | Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional modeling and refinement for hierarchical hybrid systems. J. Log. Algebr. Program. 68(1-2): 105-128 (2006) |
| j15 | | |
| c39 | | 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 |
| c38 | | Arvind Easwaran, Insik Shin, Oleg Sokolsky, Insup Lee: Incremental schedulability analysis of hierarchical real-time components. EMSOFT 2006: 272-281 |
| c37 | | Fabian Kratz, Oleg Sokolsky, George J. Pappas, Insup Lee: R-Charon, a Modeling Language for Reconfigurable Hybrid Systems. HSCC 2006: 392-406 |
| c36 | | |
| c35 | | Sebastian Fischmeister, Oleg Sokolsky, Insup Lee: Network-Code Machine: Programmable Real-Time Communication Schedules. IEEE Real Time Technology and Applications Symposium 2006: 311-324 |
| c34 | | |
| e1 | | 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. Lecture Notes in Computer Science 4097, Springer 2006, isbn 3-540-36850-7 |
| 2005 | ||
| j14 | | Usa Sammapun, Arvind Easwaran, Insup Lee, Oleg Sokolsky: Simulation of Simultaneous Events in Regular Expressions for Run-Time Verification. Electr. Notes Theor. Comput. Sci. 113: 123-143 (2005) |
| j13 | | Oleg Sokolsky, Tarek F. Abdelzaher: Real-time and embedded technology and applications symposium (RTAS '05). SIGBED Review 2(2): 1-2 (2005) |
| c33 | | Usa Sammapun, Insup Lee, Oleg Sokolsky: RT-MaC: Runtime Monitoring and Checking of Quantitative and Probabilistic Properties. RTCSA 2005: 147-153 |
| c32 | | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky: Abstract Slicing: A New Approach to Program Slicing Based on Abstract Interpretation and Model Checking. SCAM 2005: 25-34 |
| c31 | | Oscar Mondragon, Ann Q. Gates, Humberto Mendoza, Oleg Sokolsky: Generating Properties for Runtime Monitoring from Software Specification Patterns. SEKE 2005: 267-273 |
| c30 | | Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky: JavaMaC and Runtime Monitoring for Geoinformatics Grid Services. WORDS 2005: 105-112 |
| 2004 | ||
| j12 | | 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 24(2): 129-155 (2004) |
| j11 | | Insup Lee, Oleg Sokolsky: Research challenges in embedded and hybrid systems. SIGBED Review 1(1): 1-5 (2004) |
| c29 | | Li Tan, Jesung Kim, Oleg Sokolsky, Insup Lee: Model-based Testing and Monitoring for Hybrid Embedded Systems. IRI 2004: 487-492 |
| c28 | | |
| c27 | | Margaret DeLap, Björn Knutsson, Honghui Lu, Oleg Sokolsky, Usa Sammapun, Insup Lee, Christos Tsarouchis: Is runtime verification applicable to cheat detection? NETGAMES 2004: 134-138 |
| c26 | | |
| 2003 | ||
| j10 | | |
| j9 | | 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 91(1): 11-28 (2003) |
| c25 | | Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural: Data Flow Testing as Model Checking. ICSE 2003: 232-243 |
| c24 | | Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee, Oleg Sokolsky: Generating embedded software from hierarchical hybrid models. LCTES 2003: 171-182 |
| c23 | | Oleg Sokolsky, Anna Philippou, Insup Lee, Kyriakos Christou: Modeling and Analysis of Power-Aware Systems. TACAS 2003: 409-425 |
| 2002 | ||
| j8 | | 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. 70(4): 80-94 (2002) |
| j7 | | Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky: Monitoring, Checking, and Steering of Real-Time Systems. Electr. Notes Theor. Comput. Sci. 70(4): 95-111 (2002) |
| j6 | | 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. 42(1): 49-60 (2002) |
| j5 | | 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. 28(2): 129-145 (2002) |
| c22 | | 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: 702-712 |
| c21 | | Insup Lee, Anna Philippou, Oleg Sokolsky: A General Resource Framework for Real-Time Systems. RISSEF 2002: 234-248 |
| c20 | | Hyoung Seok Hong, Insup Lee, Oleg Sokolsky, Hasan Ural: A Temporal Logic Based Theory of Test Coverage and Generation. TACAS 2002: 327-341 |
| 2001 | ||
| j4 | | 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. 55(2): 218-235 (2001) |
| j3 | | Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka: Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001) |
| c19 | | 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: 14-31 |
| c18 | | Insup Lee, Jin-Young Choi, Hee-Hwan Kwak, Anna Philippou, Oleg Sokolsky: A Family of Resource-Bound Real-Time Process Algebras. FORTE 2001: 443-458 |
| c17 | | Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky: Compositional Refinement for Hierarchical Hybrid Systems. HSCC 2001: 33-48 |
| 2000 | ||
| c16 | | Anna Philippou, Insup Lee, Oleg Sokolsky: Weak Bisimulation for Probabilistic Systems. CONCUR 2000: 334-349 |
| c15 | | Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan: Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13 |
| 1999 | ||
| j2 | | Oleg Sokolsky, Insup Lee, Hanêne Ben-Abdallah: Specification and Analysis of Real-Time Systems with PARAGON. Ann. Software Eng. 7: 211-234 (1999) |
| j1 | | 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. 25: 38-49 (1999) |
| c14 | | Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky: Formally specified monitoring of temporal properties. ECRTS 1999: 114-122 |
| c13 | | Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan: Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287 |
| c12 | | 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: 74-88 |
| c11 | | Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan: Steering of real-time systems based on monitoring and checking. WORDS (Fall) 1999: 11-18 |
| 1998 | ||
| c10 | | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404 |
| c9 | | 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. IEEE Real Time Technology and Applications Symposium 1998: 220-229 |
| c8 | | Hee-Hwan Kwak, Insup Lee, Anna Philippou, Jin-Young Choi, Oleg Sokolsky: Symbolic Schedulability Analysis of Real-Time Systems. RTSS 1998: 409-418 |
| 1997 | ||
| c7 | | |
| 1996 | ||
| c6 | | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401 |
| c5 | | Duncan Clarke, Hanêne Ben-Abdallah, Insup Lee, Hong-liang Xie, Oleg Sokolsky: XVERSA: An Integrated Graphical and Textual Toolset for the Specification and Analysis of Resource-Bound Real-Time Sytems. CAV 1996: 402-405 |
| c4 | | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory Software Development Environment. TACAS 1996: 391-395 |
| 1995 | ||
| c3 | | Oleg Sokolsky, Scott A. Smolka: Local Model Checking for Real-Time Systems (Extended Abstract). CAV 1995: 211-224 |
| 1994 | ||
| c2 | | Oleg Sokolsky, Scott A. Smolka: Incremental Model Checking in the Modal Mu-Calculus. CAV 1994: 351-363 |
| c1 | | Shipei Zhang, Oleg Sokolsky, Scott A. Smolka: On the Parallel Complexity of Model Checking in the Modal Mu-Calculus. LICS 1994: 154-163 |
Colors in the list of coauthors
Last update Tue May 21 23:55:56 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page