S. Smolka

发表

Scott A. Smolka, Paris C. Kanellakis, P. Kanellakis, 1983, PODC '83.
S. Stoller, S. Smolka, E. Bartocci, 2013, RV.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2008, CACM.
S. Smolka, R. Grosu, E. Entcheva, 2008, IET systems biology.
J. Bergstra, S. Smolka, A. Ponse, 2001 .
I. V. Ramakrishnan, Radu Grosu, Scott A. Smolka, 2007, HSCC.
S. Smolka, R. Grosu, E. Entcheva, 2006, 2006 International Conference of the IEEE Engineering in Medicine and Biology Society.
Y. S. Ramakrishna, T. Swift, S. Smolka, 1997 .
Scott A. Smolka, Eugene W. Stark, E. W. Stark, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
F. Moller, S. Smolka, J. Srba, 2003, Inf. Comput..
Scott A. Smolka, Eugene W. Stark, Sue-Hwey Wu, 1994, Theor. Comput. Sci..
A. Uselton, S. Smolka, 2007 .
Rance Cleaveland, Radu Grosu, Edmund M. Clarke, 2016 .
I. Lee, O. Sokolsky, A. Philippou, 2007 .
Zhichao Li, Radu Grosu, Erez Zadok, 2011, SYSTOR '11.
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2020, SETTA.
R. Cleaveland, S. Smolka, 1999 .
Ramin M. Hasani, T. Henzinger, S. Smolka, 2022, AAAI.
C. R. Ramakrishnan, I. V. Ramakrishnan, K. Narayan Kumar, 1999 .
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 2000, SOEN.
S. Smolka, Hongkai Chen, Nicola Paoletti, 2021, 2021 60th IEEE Conference on Decision and Control (CDC).
Bernhard Steffen, Scott A. Smolka, Bernhard Steffen, 1990, Formal Aspects of Computing.
Insup Lee, Scott A. Smolka, I. Lee, 1995, Lecture Notes in Computer Science.
S. Stoller, S. Smolka, R. Grosu, 2009 .
Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2021, International Journal on Software Tools for Technology Transfer.
Radu Grosu, Nicola Paoletti, Scott A. Smolka, 2018, ATVA.
C. R. Ramakrishnan, Scott A. Smolka, Andrey Gorlin, 2012, Theory and Practice of Logic Programming.
Radu Grosu, Scott A. Smolka, Mathias Lechner, 2020, 2020 59th IEEE Conference on Decision and Control (CDC).
Cyrille Jégourel, Axel Legay, Ezio Bartocci, 2016, ISoLA.
S. Smolka, Yuh-Jzer Joung, 1994, TOPL.
Yuh-Jzer Joung, Scott A. Smolka, S. Smolka, 1992, POPL '92.
Yuh-Jzer Joung, Scott A. Smolka, S. Smolka, 1991, POPL '91.
Scott A. Smolka, Paris C. Kanellakis, P. Kanellakis, 1983, PODC '83.
Scott A. Smolka, Scott D. Stoller, Hung Pham, 2015, ArXiv.
Scott A. Smolka, Peter Wegner, Dina Q. Goldin, 2002, EXPRESS.
Rance Cleaveland, Scott A. Smolka, R. Cleaveland, 1996, CSUR.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2011, CMSB.
Scott A. Smolka, Radu Grosu, Emilia Entcheva, 2005 .
Rajiv Gupta, Scott A. Smolka, Shaji Bhaskar, 1994, CSUR.
Scott A. Smolka, Peter Wegner, Dina Q. Goldin, 2006 .
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2011, CAV.
Rance Cleaveland, Radu Grosu, Scott A. Smolka, 2018, Theor. Comput. Sci..
Rance Cleaveland, Scott A. Smolka, Xiaoqun Du, 2000, COORDINATION.
Scott A. Smolka, John H. Reif, J. Reif, 1988, Acta Informatica.
Radu Grosu, Ashish Tiwari, Scott A. Smolka, 2020, 2002.08955.
Ezio Bartocci, Nicola Paoletti, Scott A. Smolka, 2019, IEEE Access.
A. Tiwari, S. Smolka, R. Grosu, 2020 .
Ashish Tiwari, Radu Grosu, Nicola Paoletti, 2017, SAC.
Ashish Tiwari, Ezio Bartocci, Radu Grosu, 2016, TACAS.
Ashish Tiwari, Radu Grosu, Scott A. Smolka, 2016, CONCUR.
Radu Grosu, Oliviero Riganelli, Scott A. Smolka, 2008, MASCOTS.
Scott A. Smolka, Nir Piterman, N. Piterman, 2013, Lecture Notes in Computer Science.
Rance Cleaveland, Scott A. Smolka, Eugene W. Stark, 2006, CONCUR.
Bernhard Steffen, Scott A. Smolka, B. Steffen, 1990, Formal Aspects of Computing.
Rance Cleaveland, Scott A. Smolka, Eugene W. Stark, 2003, CONCUR.
Rance Cleaveland, Insup Lee, Scott A. Smolka, 2001, Inf. Process. Lett..
Scott A. Smolka, Eugene W. Stark, E. W. Stark, 2000, Proof, Language, and Interaction.
Rance Cleaveland, Insup Lee, Scott A. Smolka, 1996, SEKE.
Jan A. Bergstra, Jos C. M. Baeten, Scott A. Smolka, 1995, Inf. Comput..
Rance Cleaveland, Shoji Yuen, Scott A. Smolka, 1994, CONCUR.
Jan A. Bergstra, Jos C. M. Baeten, Scott A. Smolka, 1992, CONCUR.
Rance Cleaveland, Shoji Yuen, Scott A. Smolka, 1992, Inf. Comput..
Scott A. Smolka, Chi-Chang Jou, S. Smolka, 1990, CONCUR.
Bernhard Steffen, Scott A. Smolka, Rob J. van Glabbeek, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Scott A. Smolka, Alessandro Giacalone, Chi-Chang Jou, 1990, Programming Concepts and Methods.
Scott A. Smolka, Oleg Sokolsky, O. Sokolsky, 1995, CAV.
Radu Grosu, Ashish Tiwari, Scott A. Smolka, 2019, FoSSaCS.
Rance Cleaveland, Richard A. Gray, Radu Grosu, 2016, 2016 IEEE International Conference on Bioinformatics and Biomedicine (BIBM).
Radu Grosu, Edmund M. Clarke, Scott A. Smolka, 2016, 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).
Radu Grosu, Scott A. Smolka, Chuchu Fan, 2015, HSB.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2009, Theor. Comput. Sci..
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2008, BMC Bioinformatics.
Scott A. Smolka, Robert E. Strom, R. Strom, 1987 .
Ezio Bartocci, Radu Grosu, Oliviero Riganelli, 2008, Concurrency, Graphs and Models.
Radu Grosu, Scott A. Smolka, S. Smolka, 2005, TACAS.
Radu Grosu, Scott A. Smolka, Stavros Tripakis, 2006, Monterey Workshop.
Bernhard Steffen, Scott A. Smolka, Rob J. van Glabbeek, 1995, Inf. Comput..
Rance Cleaveland, Scott A. Smolka, Xiaoqun Du, 1999, International Journal on Software Tools for Technology Transfer.
Scott A. Smolka, Xinxin Liu, S. Smolka, 1998, ICALP.
Scott A. Smolka, Oleg Sokolsky, O. Sokolsky, 1994, CAV.
Scott A. Smolka, Alessandro Giacalone, S. Smolka, 1988, IEEE Trans. Software Eng..
Samik Basu, Scott A. Smolka, Yow-Jian Lin, 2003, FORTE.
Radu Grosu, Scott A. Smolka, Scott D. Stoller, 2017, ArXiv.
Radu Grosu, Scott A. Smolka, Karem A. Sakallah, 2009, IFM.
Radu Grosu, Scott A. Smolka, S. Smolka, 2004, ISoLA.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 2000, TACAS.
Madhavan Mukund, Scott A. Smolka, K. Narayan Kumar, 1999, ASIAN.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1999, TACAS.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1998, PLILP/ALP.
C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, 1997, CAV.
Ezio Bartocci, Radu Grosu, Erez Zadok, 2011, RV.
C. R. Ramakrishnan, Ezio Bartocci, Radu Grosu, 2011, TACAS.
Radu Grosu, Scott A. Smolka, Mathias Lechner, 2020, AAAI.
Thomas A. Henzinger, Radu Grosu, Daniela Rus, 2021, ArXiv.
Scott A. Smolka, Panagiotis Katsaros, Scott D. Stoller, 2014, 2014 Tenth European Dependable Computing Conference.
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).
John D. Schierman, Neha Gandhi, Nathan D. Richards, 2015 .
Radu Grosu, Scott A. Smolka, S. Smolka, 2006, APC 25.
Radu Grosu, Sumit Jain, Scott A. Smolka, 2006, SoftMC@CAV.
Erez Zadok, Scott A. Smolka, S. Callanan, 2009 .
Rance Cleaveland, Scott A. Smolka, K. Narayan Kumar, 1998, FSTTCS.
C. R. Ramakrishnan, Scott A. Smolka, Anu Singh, 2008, Sci. Comput. Program..
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.
Samik Basu, Scott A. Smolka, Diptikalyan Saha, 2004, FORTE.
Antoine Girard, Radu Grosu, Scott A. Smolka, 2014, HSCC.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2012, CMSB.
Scott A. Smolka, Y. S. Ramakrishna, S. Smolka, 1997, CONCUR.
Scott A. Smolka, Panagiotis Katsaros, Borzoo Bonakdarpour, 2012, NASA Formal Methods.
Hongkai Chen, Nicola Paoletti, Shan Lin, 2019, IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Ezio Bartocci, Nicola Paoletti, Scott A. Smolka, 2017, Haifa Verification Conference.
Ezio Bartocci, Nicola Paoletti, Scott A. Smolka, 2017, ArXiv.
Denis Roegel, Scott Smolka, S. Smolka, 2001 .
Houssam Abbas, Nicola Paoletti, Scott A. Smolka, 2018, ICCPS.
Radu Grosu, Scott A. Smolka, Lukas Esterle, 2017, ATVA.
C. R. Ramakrishnan, Radu Grosu, Doron A. Peled, 2014, ISoLA.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2015, Theor. Comput. Sci..
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2015, 2015 54th IEEE Conference on Decision and Control (CDC).
Radu Grosu, Nicola Paoletti, Scott A. Smolka, 2019, NFM.
Nicola Paoletti, Scott A. Smolka, Luca Bortolussi, 2019, RV.
S. Stoller, S. Smolka, R. Grosu, 2012, International Journal on Software Tools for Technology Transfer.
Rance Cleaveland, Scott A. Smolka, Oleg Sokolsky, 1996, CAV.
Scott A. Smolka, John H. Reif, J. Reif, 1990, International Journal of Parallel Programming.
Scott A. Smolka, S. Smolka, 1984, Symposium on Programming.
Scott A. Smolka, Peter Wegner, P. Wegner, 1983, IEEE Transactions on Software Engineering.
Rance Cleaveland, A. W. Roscoe, Scott A. Smolka, 2018, Handbook of Model Checking.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2011, 2011 IEEE 34th Software Engineering Workshop.
C. R. Ramakrishnan, Scott A. Smolka, Xinxin Liu, 1998, TACAS.
Radu Grosu, Ashish Tiwari, Scott A. Smolka, 2020, 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems (ACSOS).
Radu Grosu, Scott A. Smolka, Jacek Cyranka, 2019, ARCH@CPSIoTWeek.
Radu Grosu, Scott A. Smolka, Sicun Gao, 2018, 2018 IEEE Conference on Decision and Control (CDC).
Radu Grosu, Scott A. Smolka, Paul L. Jones, 2017, CAV.
C. R. Ramakrishnan, I. V. Ramakrishnan, R. Sekar, 2001, NSPW '01.
Saumya K. Debray, Scott A. Smolka, Ariel J. Frank, 1984, Protocol Specification, Testing and Verification.
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).
Saumya K. Debray, Scott A. Smolka, Ariel J. Frank, 1984, FSTTCS.
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Scott A. Smolka, Arie E. Kaufman, David Scott Warren, 1989 .
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
Amir Rahmati, S. Smolka, Nicola Paoletti, 2023, IEEE Access.
Rance Cleaveland, Scott A. Smolka, Oleg Sokolsky, 1994, Specification of Parallel Algorithms.
Scott A. Smolka, Robert E. Strom, R. Strom, 1987, Formal Description of Programming Concepts.
Michael Kifer, Scott A. Smolka, M. Kifer, 2007 .
C. R. Ramakrishnan, Scott A. Smolka, Yifei Dong, 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..
C. R. Ramakrishnan, Radu Grosu, Oliviero Riganelli, 2008, 2008 11th IEEE High Assurance Systems Engineering Symposium.
S. Smolka, E. Bartocci, R. Grosu, 2013, IEEE/ACM Transactions on Computational Biology and Bioinformatics.
Richard A. Gray, Ezio Bartocci, Radu Grosu, 2011, CMSB.
Scott A. Smolka, Scott D. Stoller, Junxing Yang, 2017, SAFECOMP.
Scott A. Smolka, Jawahar Malhotra, Robert M. Shapiro, 1988, Specification and Verification of Concurrent Systems.
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.
S. Smolka, R. Grosu, Ashish Tiwari, 2020, ArXiv.
Radu Grosu, Nicola Paoletti, Scott A. Smolka, 2017, ArXiv.
C. R. Ramakrishnan, Scott A. Smolka, Xiaoqun Du, 2000, Proceedings 21st IEEE Real-Time Systems Symposium.
Scott A. Smolka, Andrew C. Uselton, A. Uselton, 1994, CONCUR.
Scott A. Smolka, Tommaso Bolognesi, S. Smolka, 1987, PSTV.
C. R. Ramakrishnan, Scott A. Smolka, Beata Sarna-Starosta, 2002, AMAST.
C. R. Ramakrishnan, Scott A. Smolka, K. Narayan Kumar, 2001, ICLP.
S. Stoller, S. Smolka, Usama Mehmood, 2024, Innovations in Systems and Software Engineering.
Radu Grosu, Scott A. Smolka, S. Smolka, 2005, Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Radu Grosu, Scott A. Smolka, Pei Ye, 2008, CMSB.
Radu Grosu, Scott A. Smolka, P Ye, 2008 .
S. Smolka, R. Holloway, Usa, 2022, FORMATS.
Radu Grosu, Erez Zadok, Scott A. Smolka, 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.
Radu Grosu, Erez Zadok, Scott A. Smolka, 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.
C. R. Ramakrishnan, Scott A. Smolka, Ping Yang, 2005, PADL.
C. R. Ramakrishnan, Scott A. Smolka, Ping Yang, 2002, International Journal on Software Tools for Technology Transfer.
Ezio Bartocci, Radu Grosu, Houssam Abbas, 2016, CMSB.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2012, ATVA.
Ezio Bartocci, Radu Grosu, Erez Zadok, 2012, RV.
S. Stoller, S. Smolka, Shouvik Roy, 2022, ArXiv.
S. Stoller, S. Smolka, R. Grosu, 2022, Leveraging Applications of Formal Methods.
A. Tiwari, S. Stoller, S. Smolka, 2022, 2023 IEEE International Conference on Robotics and Automation (ICRA).
Axel Legay, Radu Grosu, Scott A. Smolka, 2019, Computing and Software Science.
Ezio Bartocci, Radu Grosu, Scott A. Smolka, 2007, FBTC@CONCUR.
Rance Cleaveland, Radu Grosu, Edmund M. Clarke, 2016, CMSB.