Scott A. Smolka

发表

Scott A. Smolka, Tommaso Bolognesi, S. Smolka, 1987, PSTV.
Rance Cleaveland, A. W. Roscoe, Scott A. Smolka, 2018, Handbook of Model Checking.
Yanhong A. Liu, Radu Grosu, Scott A. Smolka, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Bernhard Steffen, Scott A. Smolka, Rob J. van Glabbeek, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Scott A. Smolka, Scott D. Stoller, Hung Pham, 2015, ArXiv.
Scott A. Smolka, Nir Piterman, N. Piterman, 2013, Lecture Notes in Computer Science.
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2017, ArXiv.
Scott A. Smolka, Y. S. Ramakrishna, S. Smolka, 1997, CONCUR.
Radu Grosu, Scott A. Smolka, Mathias Lechner, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).
Radu Grosu, Scott A. Smolka, Lukas Esterle, 2017, ATVA.
Ashish Tiwari, Radu Grosu, Scott A. Smolka, 2016, CONCUR.
Scott A. Smolka, Andrew C. Uselton, A. Uselton, 1994, CONCUR.
Rance Cleaveland, Insup Lee, Scott A. Smolka, 2001, Inf. Process. Lett..
Samik Basu, Scott A. Smolka, Diptikalyan Saha, 2004, FORTE.
Ezio Bartocci, Radu Grosu, Erez Zadok, 2012, RV.
C. R. Ramakrishnan, Scott A. Smolka, Andrey Gorlin, 2012, Theory and Practice of Logic Programming.
Hongkai Chen, Nicola Paoletti, Scott A. Smolka, 2019, 2019 American Control Conference (ACC).
Radu Grosu, Erez Zadok, Scott A. Smolka, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
Scott A. Smolka, Paris C. Kanellakis, P. Kanellakis, 1983, PODC '83.
Scott A. Smolka, Robert E. Strom, R. Strom, 1987 .
Rance Cleaveland, Scott A. Smolka, Xiaoqun Du, 1999, International Journal on Software Tools for Technology Transfer.
Ezio Bartocci, Radu Grosu, Oliviero Riganelli, 2008, Concurrency, Graphs and Models.
Faron Moller, Scott A. Smolka, Jiří Srba, 2003, Inf. Comput..
Scott A. Smolka, M. J. P. van Osch, S. Smolka, 2001, Proceedings Sixth IEEE International Symposium on High Assurance Systems Engineering. Special Topic: Impact of Networking.
Rance Cleaveland, Yanhong A. Liu, Radu Grosu, 2002, EW 10.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1997, CAV.
Scott A. Smolka, Eugene W. Stark, E. W. Stark, 2000, Proof, Language, and Interaction.
I. V. Ramakrishnan, Scott A. Smolka, Gurdip Singh, 1987, WDAG.
Yuh-Jzer Joung, Scott A. Smolka, 1998, IEEE Trans. Parallel Distributed Syst..
Madhavan Mukund, Scott A. Smolka, K. Narayan Kumar, 1999, ASIAN.
Samik Basu, Scott A. Smolka, Diptikalyan Saha, 2005, TACAS.
Scott A. Smolka, Eugene W. Stark, E. W. Stark, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Faron Moller, Scott A. Smolka, 1995, CSUR.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2011, CAV.
Radu Grosu, Scott A. Smolka, S. Smolka, 2005, TACAS.
C. R. Ramakrishnan, I. V. Ramakrishnan, V. N. Venkatakrishnan, 2000, CAV.
Ezio Bartocci, Radu Grosu, Houssam Abbas, 2016, ArXiv.
C. R. Ramakrishnan, Radu Grosu, Doron A. Peled, 2014, FPS@ETAPS.
Radu Grosu, Nicola Paoletti, Scott A. Smolka, 2018, ATVA.
Michael Kifer, Scott A. Smolka, 2007, Undergraduate Topics in Computer Science.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2012, CMSB.
I. V. Ramakrishnan, Radu Grosu, Scott A. Smolka, 2007, HSCC.
Scott A. Smolka, Paris C. Kanellakis, P. Kanellakis, 1983, PODC '83.
Scott A. Smolka, Y. S. Ramakrishna, Kevin T. McDonnell, 1997, AMAST.
John D. Schierman, Neha Gandhi, Nathan D. Richards, 2015 .
Radu Grosu, Oliviero Riganelli, Scott A. Smolka, 2008, MASCOTS.
Yuh-Jzer Joung, Scott A. Smolka, S. Smolka, 1992, POPL '92.
Rance Cleaveland, Scott A. Smolka, David Hansel, 2004, J. Syst. Softw..
Radu Grosu, Scott A. Smolka, S. Smolka, 2004, ISoLA.
Saumya K. Debray, Scott A. Smolka, Ariel J. Frank, 1984, Protocol Specification, Testing and Verification.
Radu Grosu, Erez Zadok, Scott A. Smolka, 2012, Formal Methods Syst. Des..
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2009, Theor. Comput. Sci..
Cesare Tinelli, Scott A. Smolka, Junxing Yang, 2015 .
Paul G. Spirakis, Luca Aceto, Giuseppe F. Italiano, 2016, Bull. EATCS.
C. R. Ramakrishnan, Ezio Bartocci, Radu Grosu, 2011, TACAS.
Radu Grosu, Ashish Tiwari, Scott A. Smolka, 2020, 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS).
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2008, BMC Bioinformatics.
Rance Cleaveland, Scott A. Smolka, Oleg Sokolsky, 1994, Specification of Parallel Algorithms.
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Ezio Bartocci, Nicola Paoletti, Scott A. Smolka, 2017, ArXiv.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1998, PLILP/ALP.
Jan A. Bergstra, Jos C. M. Baeten, Scott A. Smolka, 1992, CONCUR.
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Radu Grosu, Sumit Jain, Scott A. Smolka, 2006, SoftMC@CAV.
Axel Legay, Radu Grosu, Scott A. Smolka, 2019, Computing and Software Science.
Rance Cleaveland, Scott A. Smolka, Oleg Sokolsky, 1996, TACAS.
Bernhard Steffen, Scott A. Smolka, Bernhard Steffen, 1990, Formal Aspects of Computing.
C. R. Ramakrishnan, Scott A. Smolka, Yifei Dong, 2003, CAV.
Scott A. Smolka, Michael Ferdman, Shenghsun Cho, 2019, SPIN.
C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2010, Sci. Comput. Program..
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
Rance Cleaveland, Shoji Yuen, Scott A. Smolka, 1994, CONCUR.
Rance Cleaveland, Scott A. Smolka, K. Narayan Kumar, 1998, FSTTCS.
Scott A. Smolka, Borzoo Bonakdarpour, 2014, Lecture Notes in Computer Science.
Scott A. Smolka, Panagiotis Katsaros, Borzoo Bonakdarpour, 2012, NASA Formal Methods.
Cyrille Jégourel, Axel Legay, Ezio Bartocci, 2016, ISoLA.
Zhichao Li, Radu Grosu, Erez Zadok, 2011, SYSTOR '11.
Rance Cleaveland, Radu Grosu, Scott A. Smolka, 2018, Theor. Comput. Sci..
Radu Grosu, Scott A. Smolka, Jacek Cyranka, 2019, ARCH@CPSIoTWeek.
Ashish Tiwari, Radu Grosu, Nicola Paoletti, 2017, SAC.
Scott A. Smolka, Alessandro Giacalone, S. Smolka, 1988, IEEE Trans. Software Eng..
Samik Basu, Scott A. Smolka, 2007, TSEM.
Rance Cleaveland, Scott A. Smolka, Eugene W. Stark, 2005 .
Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2020, OVERLAY.
Rance Cleaveland, Shoji Yuen, Scott A. Smolka, 1992, Inf. Comput..
Scott A. Smolka, Xinxin Liu, S. Smolka, 1998, ICALP.
Rance Cleaveland, Scott A. Smolka, R. Cleaveland, 1996, CSUR.
Radu Grosu, Scott A. Smolka, Pei Ye, 2008, CMSB.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2011, CMSB.
Radu Grosu, Scott A. Smolka, Karem A. Sakallah, 2009, IFM.
Radu Grosu, Scott A. Smolka, Sicun Gao, 2018, 2018 IEEE Conference on Decision and Control (CDC).
C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar, 2001, NSPW '01.
Erez Zadok, Scott A. Smolka, S. Callanan, 2009 .
Jirí Srba, Scott A. Smolka, 2005, INFINITY.
Rajiv Gupta, Scott A. Smolka, Shaji Bhaskar, 1994, CSUR.
Scott A. Smolka, Peter Wegner, Dina Q. Goldin, 2006 .
Scott A. Smolka, Radu Grosu, Emilia Entcheva, 2005 .
Scott A. Smolka, Michael Ferdman, Shenghsun Cho, 2020, International Journal on Software Tools for Technology Transfer.
Rance Cleaveland, Scott A. Smolka, Oleg Sokolsky, 1996, CAV.
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
C. R. Ramakrishnan, Scott A. Smolka, Xinxin Liu, 1998, TACAS.
Ezio Bartocci, Nicola Paoletti, Scott A. Smolka, 2019, IEEE Access.
Rance Cleaveland, Scott A. Smolka, David Hansel, 2001, Proceedings 12th International Workshop on Rapid System Prototyping. RSP 2001.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 2000, SOEN.
Ezio Bartocci, Radu Grosu, Erez Zadok, 2011, RV.
Scott A. Smolka, Dina Q. Goldin, Paul C. Attie, 2004, Inf. Comput..
Scott A. Smolka, Peter Wegner, Dina Q. Goldin, 2002, EXPRESS.
Radu Grosu, Erez Zadok, Scott A. Smolka, 2010, RV.
Rance Cleaveland, Insup Lee, Scott A. Smolka, 2001 .
Bernhard Steffen, Scott A. Smolka, Rob J. van Glabbeek, 1995, Inf. Comput..
Yuh-Jzer Joung, Scott A. Smolka, S. Smolka, 1991, POPL '91.
Scott A. Smolka, Alessandro Giacalone, Chi-Chang Jou, 1990, Programming Concepts and Methods.
C. R. Ramakrishnan, Scott A. Smolka, Beata Sarna-Starosta, 2002, AMAST.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1999, TACAS.
Ezio Bartocci, Scott A. Smolka, Sicun Gao, 2014, ISoLA.
Scott A. Smolka, Panagiotis Katsaros, Stylianos Basagiannis, 2011, 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 2000, TACAS.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2007, FBTC@CONCUR.
C. R. Ramakrishnan, Radu Grosu, Oliviero Riganelli, 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.
Samik Basu, Scott A. Smolka, Orson R. Ward, 2000, Proceedings Seventh IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS 2000).
Scott A. Smolka, Stephanie M. White, Eugene W. Stark, 1999, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434).
Rance Cleaveland, Scott A. Smolka, Eugene W. Stark, 2006, CONCUR.
Ezio Bartocci, Nicola Paoletti, Scott A. Smolka, 2017, Haifa Verification Conference.
Radu Grosu, Ashish Tiwari, Scott A. Smolka, 2019, FoSSaCS.
Michael Kifer, Scott A. Smolka, 2007 .
C. R. Ramakrishnan, Radu Grosu, Doron A. Peled, 2014, ISoLA.
Samik Basu, Scott A. Smolka, Yow-Jian Lin, 2003, FORTE.
Rance Cleaveland, Radu Grosu, Edmund M. Clarke, 2016, CMSB.
Scott A. Smolka, Chi-Chang Jou, S. Smolka, 1990, CONCUR.
Yuh-Jzer Joung, Scott A. Smolka, 1996, Proceedings of 16th International Conference on Distributed Computing Systems.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1998, TAPD.
Richard A. Gray, Ezio Bartocci, Radu Grosu, 2011, CMSB.
Saumya K. Debray, Scott A. Smolka, Ariel J. Frank, 1984, FSTTCS.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2008, CACM.
Radu Grosu, Nicola Paoletti, Scott A. Smolka, 2019, NFM.
Antoine Girard, Radu Grosu, Scott A. Smolka, 2014, HSCC.
Rance Cleaveland, Scott A. Smolka, Eugene W. Stark, 2005 .
Scott A. Smolka, Eugene W. Stark, Sue-Hwey Wu, 1994, Theor. Comput. Sci..
Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico, 1992, ICALP.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2015, Theor. Comput. Sci..
Radu Grosu, Scott A. Smolka, S. Smolka, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Scott A. Smolka, Peter Wegner, P. Wegner, 1983, IEEE Transactions on Software Engineering.
C. R. Ramakrishnan, Scott A. Smolka, Ping Yang, 2002, International Journal on Software Tools for Technology Transfer.
Radu Grosu, Erez Zadok, Scott A. Smolka, 2010, International Journal on Software Tools for Technology Transfer.
Scott A. Smolka, Andrew C. Uselton, 1994, PROCOMET.
Radu Grosu, Erez Zadok, Scott A. Smolka, 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.
Zhichao Li, Radu Grosu, Erez Zadok, 2011, 2011 International Green Computing Conference and Workshops.
Scott A. Smolka, Oleg Sokolsky, O. Sokolsky, 1995, CAV.
Rance Cleaveland, Insup Lee, Scott A. Smolka, 1996, SEKE.
Scott A. Smolka, Oleg Sokolsky, O. Sokolsky, 1994, CAV.
C. R. Ramakrishnan, Scott A. Smolka, K. Narayan Kumar, 2001, ICLP.
C. R. Ramakrishnan, Scott A. Smolka, Yifei Dong, 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2009 .
Radu Grosu, Scott A. Smolka, Mathias Lechner, 2020, AAAI.
Scott A. Smolka, Panagiotis Katsaros, Scott D. Stoller, 2014, 2014 Tenth European Dependable Computing Conference.
Radu Grosu, Scott A. Smolka, P Ye, 2008 .
Richard A. Gray, Ezio Bartocci, Radu Grosu, 2011, CMSB.
Ezio Bartocci, Radu Grosu, Houssam Abbas, 2016, CMSB.
Scott A. Smolka, Panagiotis Katsaros, Borzoo Bonakdarpour, 2012, NASA Formal Methods.
Scott A. Smolka, Arie E. Kaufman, David Scott Warren, 1989 .
Scott A. Smolka, Eugene W. Stark, Sue-Hwey Wu, 1994, CONCUR.
Scott A. Smolka, Oleg Sokolsky, Shipei Zhang, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Radu Grosu, Nicola Paoletti, Scott A. Smolka, 2017, ArXiv.
Insup Lee, Scott A. Smolka, I. Lee, 1995, Lecture Notes in Computer Science.
Radu Grosu, Nicola Paoletti, Scott A. Smolka, 2018, ATVA.
Rance Cleaveland, Scott A. Smolka, Eugene W. Stark, 2003, CONCUR.
Scott A. Smolka, Jawahar Malhotra, Robert M. Shapiro, 1988, Specification and Verification of Concurrent Systems.
Scott A. Smolka, Xiaowan Huang, Anu Singh, 2011, Innovations in Systems and Software Engineering.
Scott A. Smolka, Robert E. Strom, R. Strom, 1987, Formal Description of Programming Concepts.
Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2020, SETTA.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2008, HSCC.
Rance Cleaveland, Insup Lee, Scott A. Smolka, 1998, CONCUR.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2011, 2011 IEEE 34th Software Engineering Workshop.
Rance Cleaveland, Steve Sims, Scott A. Smolka, 2006, ASWSD.
Radu Grosu, Scott A. Smolka, Stavros Tripakis, 2006, Monterey Workshop.
Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2019, RV.
C. R. Ramakrishnan, Scott A. Smolka, Ping Yang, 2005, PADL.
Scott A. Smolka, Scott D. Stoller, Junxing Yang, 2017, SAFECOMP.
I. V. Ramakrishnan, Michael Kifer, Scott A. Smolka, 1989, Photonics West - Lasers and Applications in Science and Engineering.
Scott A. Smolka, John H. Reif, J. Reif, 1988, Acta Informatica.
Radu Grosu, Erez Zadok, Scott A. Smolka, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.
Scott A. Smolka, Panagiotis Katsaros, Stylianos Basagiannis, 2010, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering.
C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000, Proceedings 21st IEEE Real-Time Systems Symposium.
Radu Grosu, Scott A. Smolka, S. Smolka, 2006, APC 25.
Ashish Tiwari, Radu Grosu, Scott A. Smolka, 2018, 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS).
Shiyong Lu, Scott A. Smolka, S. Smolka, 1999, MASCOTS '99. Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.
Radu Grosu, Edmund M. Clarke, Scott A. Smolka, 2016, 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Michael Kifer, Scott A. Smolka, 1992, OPSR.
Radu Grosu, Ashish Tiwari, Scott A. Smolka, 2020, 2002.08955.
Radu Grosu, Scott A. Smolka, Paul L. Jones, 2017, CAV.
Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2017, Formal Methods Syst. Des..
Rocco De Nicola, Scott A. Smolka, 1996, CSUR.
Houssam Abbas, Nicola Paoletti, Scott A. Smolka, 2018, ICCPS.
Scott A. Smolka, Michael Ferdman, Shenghsun Cho, 2019 .
Bernhard Steffen, Scott A. Smolka, B. Steffen, 1990, Formal Aspects of Computing.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2012, ATVA.
C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000, Electron. Notes Theor. Comput. Sci..
Ashish Tiwari, Ezio Bartocci, Radu Grosu, 2016, TACAS.
Rance Cleaveland, Scott A. Smolka, Xiaoqun Du, 2000, COORDINATION.
Radu Grosu, Scott A. Smolka, Chuchu Fan, 2015, HSB.
Ezio Bartocci, Scott A. Smolka, Richard DeFrancisco, 2014, SPIN.
Scott A. Smolka, Xiaowan Huang, Anu Singh, 2010, NASA Formal Methods.
C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2008, Sci. Comput. Program..
C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2009 .
Jan A. Bergstra, Jos C. M. Baeten, Scott A. Smolka, 1995, Inf. Comput..
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
John D. Schierman, Radu Grosu, Scott A. Smolka, 2017, 2017 17th International Conference on Application of Concurrency to System Design (ACSD).
Scott A. Smolka, John H. Reif, J. Reif, 1990, International Journal of Parallel Programming.
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2009, CONCUR.
Rance Cleaveland, Richard A. Gray, Radu Grosu, 2016, 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2021, Formal Methods in Outer Space.
Erez Zadok, Gerard J. Holzmann, Scott A. Smolka, 2021, HotStorage.
Ashish Tiwari, Radu Grosu, Scott A. Smolka, 2021, 2021 American Control Conference (ACC).
Scott A. Smolka, 2021, SIGACT News.
Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2021, International Journal on Software Tools for Technology Transfer.
Scott A. Smolka, Stanley Bak, Scott D. Stoller, 2021, CAADCPS@CPSIoTWeek.
Rance Cleaveland, Radu Grosu, Edmund M. Clarke, 2016 .
Radu Grosu, Scott A. Smolka, Pei Ye, 2006, 2006 International Conference of the IEEE Engineering in Medicine and Biology Society.