Oleg Sokolsky
发表
Insup Lee,
Dagaen Golomb,
Deepak Gangadharan,
2018,
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2015,
SAFECOMP Workshops.
Insup Lee,
Oleg Sokolsky,
1997,
HASE.
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2013,
CPSW@CISS.
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2014,
FHIES/SEHC.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2014
.
Paulo Tabuada,
Insup Lee,
Nathan Michael,
2013,
HiCoNS '13.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2010,
Wireless Health.
Oleg Sokolsky,
Anaheed Ayoub,
Jian Chang,
2013
.
Oleg Sokolsky,
Teng Zhang,
Peter Gebhard,
2016,
RV.
Angelos D. Keromytis,
Insup Lee,
Sampath Kannan,
2009,
Computer.
Paulo Tabuada,
Insup Lee,
George J. Pappas,
2014,
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Zhihao Jiang,
Oleg Sokolsky,
2012,
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.
Insup Lee,
Oleg Sokolsky,
I. Lee,
2004,
SIGBED.
Mahesh Viswanathan,
Insup Lee,
Oleg Sokolsky,
2000,
ISSTA '00.
Flemming Nielson,
Pieter J. Mosterman,
Holger Hermanns,
2006,
Simulation and Verification of Dynamic Systems.
Oleg Sokolsky,
Nicola Bezzo,
2018,
Computer.
Insup Lee,
Chenyang Lu,
Christopher D. Gill,
2014,
2014 International Conference on Embedded Software (EMSOFT).
Insup Lee,
Chenyang Lu,
Christopher D. Gill,
2012,
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2015,
SAFECOMP.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2016,
TACAS.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
2001,
Inf. Process. Lett..
Insup Lee,
Insik Shin,
Oleg Sokolsky,
2007
.
Insup Lee,
Shan Lin,
Oleg Sokolsky,
2012,
IHI '12.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2011,
TRUST.
Insup Lee,
Oleg Sokolsky,
Li Tan,
2003
.
Insup Lee,
Oleg Sokolsky,
Klaus Havelund,
2012,
International Journal on Software Tools for Technology Transfer.
Chong Li,
Insup Lee,
Chenyang Lu,
2015,
2015 IEEE 8th International Conference on Cloud Computing.
Paulo Tabuada,
Insup Lee,
Nathan Michael,
2013,
2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
Chenyang Lu,
Christopher D. Gill,
2013,
RTSS.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2002,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
Linh T. X. Phan,
2011,
2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES).
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2007
.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2011,
Mashups '11.
Insup Lee,
John Regehr,
Oleg Sokolsky,
2007,
Runtime Verification.
Insup Lee,
Deepak Gangadharan,
Oleg Sokolsky,
2016
.
Ann Q. Gates,
Oleg Sokolsky,
Steve Roach,
2005,
Int. J. Softw. Eng. Knowl. Eng..
Bernd Finkbeiner,
Grigore Rosu,
Oleg Sokolsky,
2007,
Runtime Verification.
Insup Lee,
Sebastian Fischmeister,
Oleg Sokolsky,
2007,
IEEE Transactions on Computers.
Insup Lee,
Insik Shin,
Oleg Sokolsky,
2006,
EMSOFT '06.
Prithwish Basu,
Oleg Sokolsky,
Boon Thau Loo,
2009,
PADL.
Insup Lee,
Deepak Gangadharan,
Oleg Sokolsky,
2018,
2018 IEEE 11th International Conference on Cloud Computing (CLOUD).
Lu Feng,
Insup Lee,
Sanjian Chen,
2014,
MCPS.
Insup Lee,
Sampath Kannan,
Moonzoo Kim,
2019,
RV.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2011,
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2000
.
Oleg Sokolsky,
Gregor Gößler,
Jean-Bernard Stefani,
2017,
CREST@ETAPS.
Insup Lee,
Steve Vestal,
Oleg Sokolsky,
2009
.
Insup Lee,
Oleg Sokolsky,
James Weimer,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Anuradha M. Annaswamy,
Oleg Sokolsky,
Linh T. X. Phan,
2018,
IEEE Transactions on Control of Network Systems.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2004,
NetGames '04.
Insup Lee,
Oleg Sokolsky,
Carl A. Gunter,
2000,
ISSTA '00.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2007,
J. Log. Algebraic Methods Program..
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2009,
SEUS.
Insup Lee,
Steve Vestal,
Oleg Sokolsky,
2009,
2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
Insup Lee,
Oleg Sokolsky,
Martin Leucker,
2002
.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2004,
Formal Methods Syst. Des..
Yi Zhang,
Insup Lee,
Raoul Praful Jetley,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Insup Lee,
Oleg Sokolsky,
Jin-Young Choi,
2010,
FORMATS.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2018,
ISoLA.
Christine Choppy,
Oleg Sokolsky,
2010,
Monterey Workshop.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2008,
RV.
Fabrice Kordon,
Oleg Sokolsky,
2007,
Monterey Workshop.
Duncan Clarke,
Oleg Sokolsky,
2008
.
Insup Lee,
Oleg Sokolsky,
Arvind Easwaran,
2008
.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2015,
RV.
Insup Lee,
Oleg Sokolsky,
John Hatcliff,
2006,
SIGBED.
Fabrice Kordon,
Oleg Sokolsky,
2006
.
Insup Lee,
Oleg Sokolsky,
John Hatcliff,
2010,
SEHC '10.
Insup Lee,
Oleg Sokolsky,
2010,
Design Automation Conference.
Insup Lee,
Oleg Sokolsky,
Li Tan,
2004,
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..
Insup Lee,
Zhihao Jiang,
Oleg Sokolsky,
2014,
ACM Trans. Embed. Comput. Syst..
Insup Lee,
Oleg Sokolsky,
Hung Nguyen,
2018,
2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI).
Lu Feng,
Insup Lee,
Oleg Sokolsky,
2013,
FHIES.
Insup Lee,
Oleg Sokolsky,
Eunkyoung Jee,
2010,
ISoLA.
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2019,
MEMOCODE.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2009
.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2002
.
Lu Feng,
Insup Lee,
Oleg Sokolsky,
2015,
2015 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Jérôme Hugues,
Oleg Sokolsky,
Peter H. Feiler,
2012
.
Insup Lee,
Oleg Sokolsky,
Hee-Hwan Kwak,
1998,
Monterey Workshop.
Rance Cleaveland,
Scott A. Smolka,
Oleg Sokolsky,
1994,
Specification of Parallel Algorithms.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2002,
RISSEF.
Andreas Haeberlen,
Insup Lee,
Oleg Sokolsky,
2013,
2013 Eleventh Annual Conference on Privacy, Security and Trust.
Insup Lee,
Oleg Sokolsky,
1997,
Proceedings 1997 High-Assurance Engineering Workshop.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2012,
Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
Hyoung Seok Hong,
2001
.
Insup Lee,
Oleg Sokolsky,
Nima Roohi,
2018,
HSCC.
Duncan Clarke,
Insup Lee,
Oleg Sokolsky,
2009,
Ada-Europe.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2008,
DEON.
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2013
.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2006,
TACAS.
Rance Cleaveland,
Scott A. Smolka,
Oleg Sokolsky,
1996,
TACAS.
Andreas Haeberlen,
Insup Lee,
Oleg Sokolsky,
2016,
2016 IEEE First International Conference on Connected Health: Applications, Systems and Engineering Technologies (CHASE).
Insup Lee,
Oleg Sokolsky,
James Weimer,
2014
.
Oleg Sokolsky,
Mahesh Viswanathan,
2003,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
Stephanie Weirich,
2015,
NFM.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2006,
Electron. Notes Theor. Comput. Sci..
Oleg Sokolsky,
Brian C. Williams,
Klaus Havelund,
2010,
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2013,
2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Xiaojiang Du,
Insup Lee,
Oleg Sokolsky,
2015,
IEEE Transactions on Parallel and Distributed Systems.
Gang Wang,
Insup Lee,
Oleg Sokolsky,
2017,
2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
Insup Lee,
Sampath Kannan,
Adam J. Aviv,
2009,
EUROSEC '09.
Daniel M. Johnson,
Insup Lee,
Le Yi Wang,
2012,
IEEE Real-Time and Embedded Technology and Applications Symposium.
Insup Lee,
Oleg Sokolsky,
Jian Chang,
2011,
CEAS '11.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2001
.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2019,
TACAS.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2008
.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2005,
11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'05).
Insup Lee,
Oleg Sokolsky,
Li Tan,
2004,
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004. IRI 2004..
Hanêne Ben-Abdallah,
Insup Lee,
Sampath Kannan,
1999,
Proceedings of 11th Euromicro Conference on Real-Time Systems. Euromicro RTS'99.
Arnaud Sahuguet,
Val Tannen,
Chen Qiang,
1999,
AMIA.
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2014,
FHIES/SEHC.
Oleg Sokolsky,
Serdar Taşiran,
2007,
RV.
Oleg Sokolsky,
2004
.
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2020,
2020 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2013,
ICCPS 2013.
Sampath Kannan,
Oleg Sokolsky,
Arvind Easwaran,
2006,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2012,
2012 23rd IEEE International Symposium on Rapid System Prototyping (RSP).
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2011,
J. Log. Algebraic Methods Program..
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2010
.
Insup Lee,
Sebastian Fischmeister,
Oleg Sokolsky,
2006,
12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06).
Lu Feng,
Insup Lee,
Oleg Sokolsky,
2013,
2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
1999,
Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems.
Oleg Sokolsky,
Rolf Ernst,
2013
.
Insup Lee,
William M. Spears,
Oleg Sokolsky,
1999
.
Insup Lee,
Gail E. Kaiser,
Lori A. Clarke,
2011,
SEHC '11.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2001,
EMSOFT.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2010,
IHI.
Insup Lee,
Anuradha M. Annaswamy,
Oleg Sokolsky,
2013,
2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Rance Cleaveland,
Scott A. Smolka,
Oleg Sokolsky,
1996,
CAV.
Insup Lee,
Oleg Sokolsky,
James Weimer,
2014,
2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2016
.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2018,
Proceedings of the IEEE.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2012,
SAFECOMP.
Insup Lee,
Rajeev Alur,
Radu Grosu,
2006,
J. Log. Algebraic Methods Program..
Oleg Sokolsky,
Serdar Taşiran,
2007
.
Insup Lee,
Oleg Sokolsky,
Ramneet Kaur,
2020,
SAFECOMP Workshops.
Insup Lee,
Oleg Sokolsky,
Rahul Mangharam,
2008
.
Lu Feng,
Insup Lee,
Oleg Sokolsky,
2015,
2015 IEEE Real-Time Systems Symposium.
Chong Li,
Insup Lee,
Chenyang Lu,
2018,
2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2013,
HiCoNS '13.
Insup Lee,
Oleg Sokolsky,
James Weimer,
2015,
2015 International Conference on Healthcare Informatics.
Insup Lee,
Oleg Sokolsky,
Sanjai Rayadurgam,
2014,
2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).
Insup Lee,
William M. Spears,
Oleg Sokolsky,
1999
.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
1999,
PDPTA.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2011,
SIGBED.
Duncan Clarke,
Hanêne Ben-Abdallah,
Insup Lee,
1996,
CAV.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2013,
IEEE Systems Journal.
Vijay Kumar,
Calin Belta,
Rajeev Alur,
2002,
HiPC.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
2001
.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2011
.
Oleg Sokolsky,
O. Sokolsky,
1996
.
Lu Feng,
Insup Lee,
Sanjian Chen,
2015,
SAFECOMP.
Insup Lee,
Oleg Sokolsky,
Arvind Easwaran,
2004,
RV@ETAPS.
Fabrice Kordon,
Oleg Sokolsky,
2006
.
Lu Yan,
Zili Shao,
Oleg Sokolsky,
2006
.
Insup Lee,
Oleg Sokolsky,
Andrew King,
2013
.
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2015,
2015 International Conference on Embedded Software (EMSOFT).
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott A. Smolka,
1999,
TACAS.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2010,
2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.
Prithwish Basu,
Limin Jia,
Oleg Sokolsky,
2009,
HotNets.
Insup Lee,
Mohamed F. Younis,
Jeffrey X. Zhou,
1998,
Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245).
Insup Lee,
Hasan Ural,
Oleg Sokolsky,
2003,
25th International Conference on Software Engineering, 2003. Proceedings..
Insup Lee,
Oleg Sokolsky,
Lian Duan,
2016,
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).
Insup Lee,
Oleg Sokolsky,
Shan Lin,
2011,
Wireless Health.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2011,
2011 Annual International Conference of the IEEE Engineering in Medicine and Biology Society.
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2002
.
Vijay Kumar,
Insup Lee,
George J. Pappas,
2003,
Proc. IEEE.
Insup Lee,
Oleg Sokolsky,
Jin-Young Choi,
2017,
J. Log. Algebraic Methods Program..
Oleg Sokolsky,
2011
.
Yi Mu,
Lu Yan,
Dae-Young Kim,
2006
.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2004
.
Ann Q. Gates,
Oleg Sokolsky,
Steve Roach,
2005,
10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2019,
RV.
Insup Lee,
Oleg Sokolsky,
Hee-Hwan Kwak,
2002,
Sci. Comput. Program..
Insup Lee,
Hasan Ural,
Oleg Sokolsky,
2002,
TACAS.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2019,
From Reactive Systems to Cyber-Physical Systems.
Insup Lee,
Insik Shin,
Oleg Sokolsky,
2007,
10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).
Christopher D. Gill,
Oleg Sokolsky,
2007,
J. Comput. Syst. Sci..
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2003,
TACAS.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2016,
PrePost@IFM.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2014,
IEEE Transactions on Industrial Informatics.
Oleg Sokolsky,
Anna Philippou,
O. Sokolsky,
2007,
Handbook of Real-Time and Embedded Systems.
Insup Lee,
Nathan Michael,
George J. Pappas,
2013,
ICCPS 2013.
Oleg Sokolsky,
Brian C. Williams,
Klaus Havelund,
2010,
Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems.
Insup Lee,
Fanxin Kong,
Meng Xu,
2018,
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS).
Scott A. Smolka,
Oleg Sokolsky,
O. Sokolsky,
1995,
CAV.
Insup Lee,
Aravind K. Joshi,
Oleg Sokolsky,
2007,
Monterey Workshop.
Duncan Clarke,
Insup Lee,
Oleg Sokolsky,
2006,
Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Scott A. Smolka,
Oleg Sokolsky,
O. Sokolsky,
1994,
CAV.
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies
Oleg Sokolsky,
Gregor Gossler,
2016
.
Oleg Sokolsky,
Mahesh Viswanathan,
Mahesh Viswanathan,
2003
.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2012,
IEEE Security & Privacy.
Grigore Rosu,
Oleg Sokolsky,
2012,
Formal Methods Syst. Des..
Insup Lee,
Oleg Sokolsky,
Linh T. X. Phan,
2011,
2011 17th IEEE Real-Time and Embedded Technology and Applications Symposium.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2016,
J. Comput. Sci. Eng..
Insup Lee,
Oleg Sokolsky,
Jin-Young Choi,
1998,
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
Insup Lee,
Meng Xu,
Oleg Sokolsky,
2013,
2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS).
Insup Lee,
Chenyang Lu,
Christopher Gill,
2014
.
Insup Lee,
Oleg Sokolsky,
Boon Thau Loo,
2009,
RV.
Oleg Sokolsky,
Sanjai Rayadurgam,
Mats Per Erik Heimdahl,
2015,
2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE).
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2014,
2014 American Control Conference.
Scott A. Smolka,
Oleg Sokolsky,
Shipei Zhang,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Insup Lee,
Oleg Sokolsky,
Nima Roohi,
2018,
ArXiv.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2002,
Electron. Notes Theor. Comput. Sci..
Insup Lee,
Oleg Sokolsky,
Anna Philippou,
2000,
CONCUR.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2015,
ADHS.
Insup Lee,
Oleg Sokolsky,
Hyoung Seok Hong,
2005,
Fifth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM'05).
Insup Lee,
Oleg Sokolsky,
Arvind Easwaran,
2008
.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2017,
TACAS.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2014,
2014 IEEE 15th International Symposium on High-Assurance Systems Engineering.
Insup Lee,
Oleg Sokolsky,
Teng Zhang,
2017,
RV.
Insup Lee,
John Regehr,
Oleg Sokolsky,
2007,
RV.
Insup Lee,
Deepak Gangadharan,
Oleg Sokolsky,
2016,
2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).
Jérôme Hugues,
Oleg Sokolsky,
2015,
Sci. Comput. Program..
Insup Lee,
Rajeev Alur,
Radu Grosu,
2001,
HSCC.
Oleg Sokolsky,
Gregor Gössler,
2016
.
Kim Guldstrand Larsen,
Oleg Sokolsky,
Ji Wang,
2015,
Lecture Notes in Computer Science.
Insup Lee,
Theophilos Giannakopoulos,
Oleg Sokolsky,
2018,
Lecture Notes in Computer Science.
Insup Lee,
Oleg Sokolsky,
Linh T. X. Phan,
2010,
2010 22nd Euromicro Conference on Real-Time Systems.
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
1998,
CONCUR.
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2003,
LCTES '03.
Insup Lee,
Harold W. Thimbleby,
Paul Curzon,
2013,
SAFECOMP.
Insup Lee,
Oleg Sokolsky,
Miroslav Pajic,
2010,
ICCPS '10.
Insup Lee,
Chenyang Lu,
Christopher D. Gill,
2013,
2013 IEEE 34th Real-Time Systems Symposium.
Insup Lee,
Yi Zhang,
Oleg Sokolsky,
2009
.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2012,
NASA Formal Methods.
Jérôme Hugues,
Oleg Sokolsky,
Peter H. Feiler,
2012,
Dagstuhl Reports.
Insup Lee,
Rajeev Alur,
Oleg Sokolsky,
2003
.
Insup Lee,
Axel Legay,
Deepak Gangadharan,
2017,
2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC).
Bernd Finkbeiner,
Insup Lee,
Gordon J. Pace,
2010
.
Insup Lee,
Oleg Sokolsky,
Sanjai Rayadurgam,
2015,
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Rolf Ernst,
Oleg Sokolsky,
2013,
EMSOFT.
Insup Lee,
Oleg Sokolsky,
Hung Nguyen,
2018,
2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC).
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2006,
HSCC.
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2011,
SIGBED.
Tarek F. Abdelzaher,
Oleg Sokolsky,
2005,
SIGBED.
Oleg Sokolsky,
2004,
Second IEEE Workshop on Software Technologies for Future Embedded and Ubiquitous Systems, 2004. Proceedings..
Scott A. Smolka,
Oleg Sokolsky,
Y. S. Ramakrishna,
1997
.
Bernd Finkbeiner,
Grigore Rosu,
Oleg Sokolsky,
2007,
Runtime Verification.
Insup Lee,
Oleg Sokolsky,
Noah S. Prywes,
1997,
16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings.
Yi Mu,
Lu Yan,
Dae-Young Kim,
2006
.
Charles J. Colbourn,
D. Richard Kuhn,
James D. Arthur,
2011
.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2011,
RV.
Insup Lee,
Oleg Sokolsky,
BaekGyu Kim,
2013,
2013 International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES).
Jane W.-S. Liu,
Kudakwashe Dube,
Oleg Sokolsky,
2013,
FHIES.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2013,
RV.
Oleg Sokolsky,
Alexander Chernoguzov,
2008
.
Insup Lee,
Sang Hyuk Son,
Yanwei Du,
2016,
2016 American Control Conference (ACC).
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2017,
IEEE Control Systems.
Insup Lee,
Shaohui Wang,
Oleg Sokolsky,
2012
.
Lu Feng,
Insup Lee,
Sanjian Chen,
2015,
2015 International Conference on Healthcare Informatics.
Insup Lee,
Oleg Sokolsky,
Krishna K. Venkatasubramanian,
2012,
IEEE Security & Privacy.
Oleg Sokolsky,
Alexander Chernoguzov,
2008,
Monterey Workshop.
Mahesh Viswanathan,
Insup Lee,
Sampath Kannan,
2001,
RV@CAV.
Oleg Sokolsky,
2011,
ECBS.
Insup Lee,
Oleg Sokolsky,
Mats Per Erik Heimdahl,
2011,
2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
Insup Lee,
Sanjian Chen,
Oleg Sokolsky,
2012,
Proceedings of the IEEE.
Oleg Sokolsky,
Boon Thau Loo,
Anduo Wang,
2009
.
Insup Lee,
George J. Pappas,
Oleg Sokolsky,
2014,
2014 IEEE/RSJ International Conference on Intelligent Robots and Systems.
Xin Chen,
Fanxin Kong,
Oleg Sokolsky,
2021,
ACM Trans. Embed. Comput. Syst..
Oleg Sokolsky,
James Weimer,
Insup Lee,
2021
.
Oleg Sokolsky,
Ivan Ruchkin,
Matthew Cleaveland,
2021,
ArXiv.
Oleg Sokolsky,
James Weimer,
Insup Lee,
2021,
ArXiv.
Christopher D. Gill,
Oleg Sokolsky,
Linh T. X. Phan,
2021,
RTNS.
Susmit Jha,
Oleg Sokolsky,
Edgar Dobriban,
2022,
AAAI.
Oleg Sokolsky,
Ivan Ruchkin,
Matthew Cleaveland,
2021,
Formal Methods in Outer Space.
Susmit Jha,
Oleg Sokolsky,
Ramneet Kaur,
2021,
ArXiv.
Susmit Jha,
Oleg Sokolsky,
Ramneet Kaur,
2021,
ArXiv.
Deepak Gangadharan,
Oleg Sokolsky,
BaekGyu Kim,
2021,
2021 IEEE 93rd Vehicular Technology Conference (VTC2021-Spring).
Oleg Sokolsky,
Radoslav Ivanov,
Ivan Ruchkin,
2021,
ArXiv.
Kim G. Larsen,
Oleg Sokolsky,
Ji Wang,
2021,
Science of Computer Programming.
Flemming Nielson,
Oleg Sokolsky,
Jane Hillston,
2006
.
Insup Lee,
Oleg Sokolsky,
Usa Sammapun,
2005
.
Insup Lee,
Oleg Sokolsky,
.
Duncan Clarke,
Hanêne Ben-Abdallah,
Insup Lee,
1997
.
George J. Pappas,
Oleg Sokolsky,
2004
.
Insup Lee,
Oleg Sokolsky,
2007
.
Insup Lee,
Oleg Sokolsky,
Anaheed Ayoub,
2013
.
Insup Lee,
Sampath Kannan,
Oleg Sokolsky,
2010
.