Scott A. Smolka

According to our database1, Scott A. Smolka
  • authored at least 189 papers between 1983 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles.
Formal Methods in System Design, 2017

Declarative vs Rule-based Control for Flocking Dynamics.
CoRR, 2017

Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
CoRR, 2017

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
CoRR, 2017

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
CoRR, 2017

Model Checking Cyber-Physical Systems using Particle Swarm Optimization.
CoRR, 2017

Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties.
CoRR, 2017

Lagrangian Reachabililty.
CoRR, 2017

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Simplex Architecture for Hybrid Systems Using Barrier Certificates.
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

Quantitative Regular Expressions for Arrhythmia Detection Algorithms.
Proceedings of the Computational Methods in Systems Biology, 2017

Lagrangian Reachabililty.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Attacking the V: On the Resiliency of Adaptive-Horizon MPC.
Proceedings of the Automated Technology for Verification and Analysis, 2017

A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems.
Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

2016
EATCS Fellows' Advice to the Young Theoretical Computer Scientist.
Bulletin of the EATCS, 2016

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans.
CoRR, 2016

Regular Expressions for Irregular Rhythms.
CoRR, 2016

Feedback Control for Statistical Model Checking of Cyber-Physical Systems.
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

Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control.
Proceedings of the 27th International Conference on Concurrency Theory, 2016

Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability.
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
Model-order reduction of ion channel dynamics using approximate bisimulation.
Theor. Comput. Sci., 2015

A survey on unmanned aerial vehicle collision avoidance systems.
CoRR, 2015

Model Checking Tap Withdrawal in C. Elegans.
CoRR, 2015

Abstract Model Repair.
Logical Methods in Computer Science, 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 δ-decidability over the reals.
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Model Checking Tap Withdrawal in C. Elegans.
Proceedings of the Hybrid Systems Biology - Fourth International Workshop, 2015

Neural Programming: Towards adaptive control in Cyber-Physical Systems.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

2014
Hybrid Systems and Biology.
Inf. Comput., 2014

Towards a GPGPU-parallel SPIN model checker.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Using Statistical Model Checking for Measuring Systems.
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

Medical Cyber-Physical Systems - (Track Introduction).
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014

Compositionality results for cardiac cell dynamics.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Compositional Branching-Time Measurements.
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
Curvature Analysis of Cardiac Excitation Wavefronts.
IEEE/ACM Trans. Comput. Biology Bioinform., 2013

Runtime Verification with Particle Filtering.
Proceedings of the Runtime Verification - 4th International Conference, 2013

2012
Model checking with probabilistic tabled logic programming.
TPLP, 2012

Software monitoring with controllable overhead.
STTT, 2012

InterAspect: aspect-oriented instrumentation with GCC.
Formal Methods in System Design, 2012

Model Checking with Probabilistic Tabled Logic Programming
CoRR, 2012

Adaptive Runtime Verification.
Proceedings of the Runtime Verification, Third International Conference, 2012

Abstract Model Repair.
Proceedings of the NASA Formal Methods, 2012

Approximate Bisimulations for Sodium Channel Dynamics.
Proceedings of the Computational Methods in Systems Biology, 2012

On Temporal Logic and Signal Processing.
Proceedings of the Automated Technology for Verification and Analysis, 2012

2011
Using integer clocks to verify clock-synchronization protocols.
ISSE, 2011

Model Repair for Probabilistic Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

On the energy consumption and performance of systems software.
Proceedings of of SYSTOR 2011: The 4th Annual Haifa Experimental Systems Conference, Haifa, Israel, May 30, 2011

A Change of Perspective Yields Formal Analysis.
Proceedings of the 34th Annual IEEE Software Engineering Workshop, 2011

Runtime Verification with State Estimation.
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

Model discovery for energy-aware computing systems: An experimental evaluation.
Proceedings of the 2011 International Green Computing Conference and Workshops, 2011

Curvature analysis of cardiac excitation wavefronts.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

Toward real-time simulation of cardiac dynamics.
Proceedings of the Computational Methods in Systems Biology, 9th International Conference, 2011

From Cardiac Cells to Genetic Regulatory Networks.
Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010
A process calculus for Mobile Ad Hoc Networks.
Sci. Comput. Program., 2010

Aspect-Oriented Instrumentation with GCC.
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
Modeling and simulation of cardiac tissue using hybrid I/O automata.
Theor. Comput. Sci., 2009

Learning and detecting emergent behavior in networks of cardiac myocytes.
Commun. ACM, 2009

Dynamic Path Reduction for Software Model Checking.
Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

Query-Based Model Checking of Ad Hoc Network Protocols.
Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2008
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue.
Electr. Notes Theor. Comput. Sci., 2008

CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinformatics, 2008

Power Optimization in Fault-Tolerant MANETs.
Proceedings of the 16th International Symposium on Modeling, 2008

Software monitoring with bounded overhead.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes.
Proceedings of the Hybrid Systems: Computation and Control, 11th International Workshop, 2008

Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks.
Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

A Process Calculus for Mobile Ad Hoc Networks.
Proceedings of the Coordination Models and Languages, 10th International Conference, 2008

Formal Analysis of Abnormal Excitation in Cardiac Tissue.
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
Introduction to Operating System Design and Implementation - The OSP 2 Approach.
Undergraduate Topics in Computer Science, Springer, ISBN: 978-1-84628-843-2, 2007

Model checking the Java metalocking algorithm.
ACM Trans. Softw. Eng. Methodol., 2007

Model Predictive Control for Memory Profiling.
Proceedings of the 21th International Parallel and Distributed Processing Symposium (IPDPS 2007), 2007

Learning Cycle-Linear Hybrid Automata for Excitable Cells.
Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

2006
Preface.
Electr. Notes Theor. Comput. Sci., 2006

Monte Carlo Methods for Process Algebra.
Electr. Notes Theor. Comput. Sci., 2006

Open-Source Model Checking.
Electr. Notes Theor. Comput. Sci., 2006

Runtime Verification for High-Confidence Systems: A Monte Carlo Approach.
Electr. Notes Theor. Comput. Sci., 2006

Deep Random Search for Efficient Model Checking of Timed Automata.
Proceedings of the Composition of Embedded Systems. Scientific and Industrial Issues, 2006

Compiler-assisted software verification using plug-ins.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Probabilistic I/O Automata: Theories of Two Equivalences.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

An Instrumentation-Based Approach to Controller Model Validation.
Proceedings of the Model-Driven Development of Reliable Automotive Services, 2006

2005
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Monte Carlo Model Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

Safety-Liveness Semantics for UML 2.0 Sequence Diagrams.
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.
STTT, 2004

Distributed prototyping from validated specifications.
Journal of Systems and Software, 2004

On the computational complexity of bisimulation, redux.
Inf. Comput., 2004

Turing machines, transition systems, and interaction.
Inf. Comput., 2004

Quantitative Model checking.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Localizing Program Errors for Cimple Debugging.
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.
STTT, 2003

A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution.
Proceedings of the Verification, 2003

Generation of All Counter-Examples for Push-Down Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

Model Checking and Evidence Exploration.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

A Process-Algebraic Language for Probabilistic I/O Automata.
Proceedings of the CONCUR 2003, 2003

Evidence Explorer: A Tool for Exploring Model-Checking Proofs.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

On the Computational Complexity of Bisimulation, Redux.
Proceedings of the PCK50, 2003

2002
High-confidence operating systems.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

Vacuity Checking in the Modal Mu-Calculus.
Proceedings of the Algebraic Methodology and Software Technology, 2002

2001
Hiding resources that can fail: An axiomatic perspective.
Inf. Process. Lett., 2001

Turing Machines, Transition Systems, and Interaction.
Electr. Notes Theor. Comput. Sci., 2001

Distributed Prototyping from Validated Specifications.
Proceedings of the 12th IEEE International Workshop on Rapid System Prototyping (RSP 2001), 2001

Model-Carrying Code (MCC): a new paradigm for mobile-code security.
Proceedings of the New Security Paradigms Workshop 2001, 2001

Automated Software Engineering Using Concurrent Class Machines.
Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 2001

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.
Proceedings of the Logic Programming, 17th International Conference, 2001

Finite-State Analysis of the CAN Bus Protocol.
Proceedings of the 6th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2001), 2001

2000
Specification and evaluation of logic-based model checking.
ACM SIGSOFT Software Engineering Notes, 2000

Practical techniques for the design, specification, verification, and implementation of concurrent systems.
ACM SIGSOFT Software Engineering Notes, 2000

Real-Time Verification Techniques for Untimed Systems.
Electr. Notes Theor. Comput. Sci., 2000

Verification of Parameterized Systems Using Logic Program Transformations.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems.
Proceedings of the 21st IEEE Real-Time Systems Symposium (RTSS 2000), 2000

Model Checking the Java Meta-Locking Algorithm.
Proceedings of the 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 2000

GCCS: A Graphical Coordination Language for System Specification.
Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

XMC: A Logic-Programming-Based Verification Toolset.
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
Local Model Checking and Protocol Analysis.
STTT, 1999

Testing Preorders for Probabilistic Processes.
Inf. Comput., 1999

Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Model Checking the Secure Electronic Transaction (SET) Protocol.
Proceedings of the MASCOTS 1999, 1999

Practical Considerations in Protocol Verification: The E-2C Case Study.
Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Faster Model Checking for Open Systems.
Proceedings of the Advances in Computing Science, 1999

1998
Strong Interaction Fairness Via Randomization.
IEEE Trans. Parallel Distrib. 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

Logic Programming and Model Checking.
Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata.
Proceedings of the Thirteenth Annual IEEE Symposium on Logic in Computer Science, 1998

Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998

Infinite Probabilistic and Nonprobabilistic Testing.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

Praobabilistic Resource Failure in Real-Time Process Algebra.
Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997
Composition and Behaviors of Probabilistic I/O Automata.
Theor. Comput. Sci., 1997

Partial-Order Reduction in the Weak Modal Mu-Calculus.
Proceedings of the CONCUR '97: Concurrency Theory, 1997

Efficient Model Checking Using Tabled Resolution.
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
A Comprehensive Study of the Complexity of Multiparty Interaction.
J. ACM, 1996

Priority as Extremal Probability.
Formal Asp. Comput., 1996

Strategic Directions in Computing Research-Concurrency Working Group Report.
Bulletin of the EATCS, 1996

Concurrency: Theory and Practice.
ACM Comput. Surv., 1996

Strategic Directions in Concurrency Research.
ACM Comput. Surv., 1996

The Concurrency Factory Software Development Environment.
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

Strong Interaction Fairness via Randomization.
Proceedings of the 16th International Conference on Distributed Computing Systems, 1996

The Concurrency Factory: A Development Environment for Concurrent Systems.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

1995
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
Inf. Comput., September, 1995

Reactive, Generative and Stratified Models of Probabilistic Processes
Inf. Comput., August, 1995

On the Computational Complexity of Bisimulation.
ACM Comput. Surv., 1995

Local Model Checking for Real-Time Systems (Extended Abstract).
Proceedings of the Computer Aided Verification, 1995

1994
Coordinating First-Order Multiparty Interactions.
ACM Trans. Program. Lang. Syst., 1994

On Randomization in Sequential and Distributed Algorithms.
ACM Comput. Surv., 1994

A Process Algebraic Semantics for Statecharts via State Refinement.
Proceedings of the Programming Concepts, 1994

On the Parallel Complexity of Model Checking in the Modal Mu-Calculus
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 for Concurrent Systems.
Proceedings of the Specification of Parallel Algorithms, 1994

Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.
Proceedings of the CONCUR '94, 1994

Composition and Behaviors of Probabilistic I/O Automata.
Proceedings of the CONCUR '94, 1994

A Compositional Semantics for Statecharts using Labeled Transition Systems.
Proceedings of the CONCUR '94, 1994

Incremental Model Checking in the Modal Mu-Calculus.
Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1992
OSP: An Environment for Operating System Projects.
Operating Systems Review, 1992

A Comprehensive Study of the Complexity of Multiparty Interaction.
Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Testing Preorders for Probabilistic Processes.
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

1991
Coordinating First-Order Multiparty Interactions.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

1990
CCS Expressions, Finite State Processes, and Three Problems of Equivalence
Inf. Comput., May, 1990

Data flow analysis of distributed communicating processes.
International Journal of Parallel Programming, 1990

Reactive, Generative, and Stratified Models of Probabilistic Processes
Proceedings of the Fifth Annual Symposium on Logic in Computer Science (LICS '90), 1990

A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication.
Proceedings of the 1990 International Conference on Parallel Processing, 1990

Priority as Extremal Probability.
Proceedings of the CONCUR '90, 1990

Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes.
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

The Complexity of Reachability in Distributed Communicating Processes.
Acta Inf., 1988

Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems.
Proceedings of the Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 1988

1987
Distributed Algorithms for Tree Pattern Matching.
Proceedings of the Distributed Algorithms, 1987

Fundamental Results for the Verification of Observational Equivalence: A Survey.
Proceedings of the Protocol Specification, 1987

1985
On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes.
Proceedings of the Fourth Annual ACM Symposium on Principles of Distributed Computing, 1985

1984
Report on the 6th international symposium on programming.
SIGPLAN Notices, 1984

Testing Protocol Robustness the CCS Way.
Proceedings of the Protocol Specification, 1984

Polynomial-Time Analysis for a Class of Communicating processes.
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

CCS Expressions, Finite State Processes, and THree Problems of Equivalence.
Proceedings of the Second Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 1983


  Loading...