Scott A. Smolka
Orcid: 0000-0002-7348-630XAffiliations:
- Stony Brook University, USA
According to our database1,
Scott A. Smolka
authored at least 223 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2021, "For contributions in process algebra, model checking, and runtime verification".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 22nd USENIX Conference on File and Storage Technologies, 2024
2023
Proceedings of the IEEE International Conference on Robotics and Automation, 2023
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
Proceedings of the 15th ACM/USENIX Workshop on Hot Topics in Storage and File Systems, 2023
2022
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version).
CoRR, 2022
Proceedings of the Runtime Verification - 22nd International Conference, 2022
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022
SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications.
Proceedings of the Thirteenth Language Resources and Evaluation Conference, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning, 2022
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches.
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the HotStorage '21: 13th ACM Workshop on Hot Topics in Storage and File Systems, 2021
Proceedings of the CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, 2021
Proceedings of the Computing in Cardiology, CinC 2021, Brno, 2021
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Proceedings of the Formal Methods in Outer Space, 2021
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding.
Proceedings of the 2021 American Control Conference, 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
IEEE ACM Trans. Comput. Biol. Bioinform., 2020
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas.
CoRR, 2020
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.
IEEE Access, 2020
Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2019
Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans.
Theor. Comput. Sci., 2019
IEEE ACM Trans. Comput. Biol. Bioinform., 2019
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the Runtime Verification - 19th International Conference, 2019
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019
Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019
Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes.
Proceedings of the 2019 American Control Conference, 2019
2018
Proceedings of the Handbook of Model Checking., 2018
CoRR, 2018
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.
Formal Methods Syst. Des., 2017
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
CoRR, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Computer Safety, Reliability, and Security, 2017
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2017
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties.
Proceedings of the Computational Methods in Systems Biology, 2017
Proceedings of the Computational Methods in Systems Biology, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
Proceedings of the Automated Technology for Verification and Analysis, 2017
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016
Proceedings of the 27th International Conference on Concurrency Theory, 2016
Proceedings of the Computational Methods in Systems Biology, 2016
CyberCardia project: Modeling, verification and validation of implantable cardiac devices.
Proceedings of the IEEE International Conference on Bioinformatics and Biomedicine, 2016
2015
Theor. Comput. Sci., 2015
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment.
Proceedings of the Runtime Verification - 6th International Conference, 2015
Computing bisimulation functions using SOS optimization and <i>δ</i>-decidability over the reals.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
2014
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Proceedings of the From Programs to Systems. The Systems perspective in Computing, 2014
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking.
Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014
2013
IEEE ACM Trans. Comput. Biol. Bioinform., 2013
Proceedings of the Runtime Verification - 4th International Conference, 2013
2012
Theory Pract. Log. Program., 2012
Int. J. Softw. Tools Technol. Transf., 2012
Formal Methods Syst. Des., 2012
Proceedings of the Runtime Verification, Third International Conference, 2012
Proceedings of the Computational Methods in Systems Biology, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Innov. Syst. Softw. Eng., 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of of SYSTOR 2011: The 4th Annual Haifa Experimental Systems Conference, Haifa, Israel, May 30, 2011
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011
Proceedings of the Runtime Verification - Second International Conference, 2011
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Proceedings of the 2011 International Green Computing Conference and Workshops, 2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011
2010
Proceedings of the Runtime Verification - First International Conference, 2010
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol.
Proceedings of the Second NASA Formal Methods Symposium, 2010
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking.
Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010
2009
Theor. Comput. Sci., 2009
Commun. ACM, 2009
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009
2008
BMC Bioinform., 2008
Power Optimization in Fault-Tolerant MANETs.
Proceedings of the 16th International Symposium on Modeling, 2008
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.
Proceedings of the Concurrency, 2008
2007
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-843-2, 2007
ACM Trans. Softw. Eng. Methodol., 2007
Proceedings of the First Workshop "From Biology To Concurrency and back", 2007
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007
2006
Proceedings of the Second Workshop on Model Based Testing, 2006
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006
Proceedings of the 28th International Conference of the IEEE Engineering in Medicine and Biology Society, 2006
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006
2005
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, 2005
Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005
Proceedings of the 3rd Workshop on Software Model Checking, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005
Proceedings of the Fifth International Conference on Application of Concurrency to System Design (ACSD 2005), 2005
2004
A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution.
Int. J. Softw. Tools Technol. Transf., 2004
Quantitative Model checking.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004
2003
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking.
Int. J. Softw. Tools Technol. Transf., 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003
Proceedings of the CONCUR 2003, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Proceedings of the PCK50, 2003
2002
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Proceedings of the 8th International Workshop on Expressiveness in Concurrency, 2001
Proceedings of the New Security Paradigms Workshop 2001, 2001
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001
Proceedings of the Logic Programming, 17th International Conference, 2001
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001
2000
ACM SIGSOFT Softw. Eng. Notes, 2000
Practical techniques for the design, specification, verification, and implementation of concurrent systems.
ACM SIGSOFT Softw. Eng. Notes, 2000
Proceedings of the International Workshop on Models for Time-Critical Systems, 2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000
Proceedings of the Computer Aided Verification, 12th International Conference, 2000
A complete axiom system for finite-state probabilistic processes.
Proceedings of the Proof, Language, and Interaction, Essays in Honour of Robin Milner, 2000
1999
Int. J. Softw. Tools Technol. Transf., 1999
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999
Proceedings of the MASCOTS 1999, 1999
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999
Proceedings of the Advances in Computing Science, 1999
1998
IEEE Trans. Parallel Distributed Syst., 1998
Tabulation-based Induction Proofs with Application to Automated Verification.
Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction, 1998
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1998
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998
Proceedings of the CONCUR '98: Concurrency Theory, 1998
1997
Proceedings of the CONCUR '97: Concurrency Theory, 1997
Proceedings of the Computer Aided Verification, 9th International Conference, 1997
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study.
Proceedings of the Algebraic Methodology and Software Technology, 1997
1996
Strategic Directions in Computing Research-Concurrency Working Group Report.
Bull. EATCS, 1996
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996
A Theory of Testing for Soft Real-Time Processes.
Proceedings of the 8th International Conference on Software Engineering and Knowledge Engineering, 1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996
1995
Inf. Comput., September, 1995
Inf. Comput., August, 1995
Proceedings of the Computer Aided Verification, 1995
1994
ACM Trans. Program. Lang. Syst., 1994
A Process Algebraic Semantics for Statecharts via State Refinement.
Proceedings of the Programming Concepts, 1994
Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems.
Proceedings of the Specification of Parallel Algorithms, 1994
Proceedings of the CONCUR '94, 1994
Proceedings of the CONCUR '94, 1994
Proceedings of the Computer Aided Verification, 6th International Conference, 1994
1992
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992
Towards efficient parallelization of equivalence checking algorithms.
Proceedings of the Formal Description Techniques, 1992
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract).
Proceedings of the CONCUR '92, 1992
1990
Inf. Comput., May, 1990
Int. J. Parallel Program., 1990
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990
Algebraic Reasoning for Probabilistic Concurrent Systems.
Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990
A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication.
Proceedings of the 1990 International Conference on Parallel Processing, 1990
Proceedings of the CONCUR '90, 1990
1988
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems.
IEEE Trans. Software Eng., 1988
On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes.
Algorithmica, 1988
Acta Informatica, 1988
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988
1987
Proceedings of the Distributed Algorithms, 1987
Fundamental Results for the Verification of Observational Equivalence: A Survey.
Proceedings of the Protocol Specification, 1987
A CCS semantics for NIL.
Proceedings of the Formal Description of Programming Concepts - III: Proceedings of the IFIP TC 2/WG 2.2 Working Conference on Formal Description of Programming Concepts, 1987
1984
Testing Protocol Robustness the CCS Way.
Proceedings of the Protocol Specification, 1984
Proceedings of the International Symposium on Programming, 1984
On the Existence and Construction of Robust Communication Protocals for Unreliable Channels.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984
1983
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives.
IEEE Trans. Software Eng., 1983