Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Oleg Sokolsky
2010 – today
- 2013
[j35]Jian Chang, Krishna K. Venkatasubramanian, Andrew G. West, Sampath Kannan, Insup Lee, Boon Thau Loo, Oleg Sokolsky: AS-CRED: Reputation and Alert Service for Interdomain Routing. IEEE Systems Journal 7(3): 396-409 (2013)- [c86]Damoon Soudbakhsh, Linh T. X. Phan, Oleg Sokolsky, Insup Lee, Anuradha Annaswamy: Co-design of control and platform with dropped signals. ICCPS 2013: 129-140
- [c85]BaekGyu Kim, Insup Lee, Linh T. X. Phan, Oleg Sokolsky: Platform dependent code generation of real-time embedded software. ICCPS 2013: 246
- [c84]Miroslav Pajic, Nathan Michael, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, Insup Lee: Synthesis of platform-aware attack-resilient vehicular systems. ICCPS 2013: 251
- [c83]Jian Chang, Peter Gebhard, Andreas Haeberlen, Zachary G. Ives, Insup Lee, Oleg Sokolsky, Krishna K. Venkatasubramanian: TrustForge: Flexible access control for collaborative crowd-sourced environment. PST 2013: 291-300
- [c82]Linh T. X. Phan, Meng Xu, Jaewoo Lee, Insup Lee, Oleg Sokolsky: Overhead-aware compositional analysis of real-time systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2013: 237-246
- [c81]Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gößler, Oleg Sokolsky, Insup Lee: A Causality Analysis Framework for Component-Based Real-Time Systems. RV 2013: 285-303
- [c80]Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, Harold W. Thimbleby: Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS. SAFECOMP 2013: 228-240
- 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
2000 – 2009
- 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
1990 – 1999
- 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
Coauthor Index
[j35] [c86] [c85] [c84] [c83] [c82] [c81] [c80] [j33] [j32] [j31] [j30] [j29] [c79] [c78] [c77] [c76] [c75] [c74] [j28] [j27] [j26] [c73] [c72] [c70] [c69] [c68] [c67] [c66] [c65] [c64] [c63] [c62] [c61] [c60] [c59] [c58] [c57] [c56] [e5] [j24] [c55] [c54] [c51] [c50] [c49] [c48] [c46] [j21] [j20] [c43] [c42] [c41] [c40] [j18] [j17] [j16] [j15] [c38] [c37] [c36] [c35] [c34] [j14] [c33] [c32] [j12] [j11] [c29] [c28] [c27] [j9] [c25] [c24] [c23] [j8] [j7] [j6] [j5] [c21] [c20] [j4] [j3] [c19] [c18] [c17] [c16] [c15] [j2] [j1] [c14] [c13] [c11] [c10] [c9] [c8] [c7] [c5]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:12 CEST by the dblp team