Hossein Hojjat

Hünkar Can Tunç

Proceedings of the Foundations of Software Science and Computation Structures, 2022

2021

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019).

[BibT_eX]

[DOI]

Mieke Massink

Sci. Comput. Program., 2021

Partial Order Reduction for Timed Actors.

[BibT_eX]

[DOI]

Proceedings of the Software Verification - 13th International Conference, 2021

Towards String Support in JayHorn (Competition Contribution).

[BibT_eX]

[DOI]

Ali Shamakhi

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

Avenir: Managing Data Plane Diversity with Control Plane Synthesis.

[BibT_eX]

[DOI]

Proceedings of the 18th USENIX Symposium on Networked Systems Design and Implementation, 2021

2019

On Strings in Software Model Checking.

[BibT_eX]

[DOI]

Ali Shamakhi

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

2018

Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2015).

[BibT_eX]

[DOI]

Mehdi Dastani

Sci. Comput. Program., 2018

Deciding and Interpolating Algebraic Data Types by Reduction (Technical Report).

[BibT_eX]

[DOI]

CoRR, 2018

The ELDARICA Horn Solver.

[BibT_eX]

[DOI]

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017

Deciding and Interpolating Algebraic Data Types by Reduction.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2017

Synchronization Synthesis for Network Programs.

[BibT_eX]

[DOI]

Jedidiah McClurg

Pavol Cerný

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

Life on the Edge: Unraveling Policies into Configurations.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE Symposium on Architectures for Networking and Communications Systems, 2017

2016

Event-driven network programming.

[BibT_eX]

[DOI]

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Optimizing horn solvers for network repair.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

The FMCAD 2016 graduate student forum.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Fundamentals of Software Engineering (selected papers of FSEN 2013).

[BibT_eX]

[DOI]

Farhad Arbab

Sci. Comput. Program., 2015

On recursion-free Horn clauses and Craig interpolation.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2015

Specification and Compilation of Event-driven SDN Programs.

[BibT_eX]

[DOI]

CoRR, 2015

The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM SIGMOD International Conference on Management of Data, Melbourne, Victoria, Australia, May 31, 2015

Efficient synthesis of network updates.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Horn Clauses for Communicating Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Horn Clauses for Verification and Synthesis, 2014

Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.

[BibT_eX]

[DOI]

CoRR, 2014

2013

Automatic Verification with Abstraction and Theorem Proving.

[BibT_eX]

[DOI]

PhD thesis, 2013

The Relationship between Craig Interpolation and Recursion-Free Horn Clauses

[BibT_eX]

[DOI]

CoRR, 2013

Disjunctive Interpolants for Horn-Clause Verification (Extended Technical Report)

[BibT_eX]

[DOI]

CoRR, 2013

Classifying and Solving Horn Clauses for Verification.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Disjunctive Interpolants for Horn-Clause Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2012

Symbolic execution of Reo circuits using constraint automata.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

A Verification Toolkit for Numerical Transition Systems - Tool Paper.

[BibT_eX]

[DOI]

Proceedings of the FM 2012: Formal Methods, 2012

Accelerating Interpolants.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2012

2011

Formal Analysis of SystemC Designs in Process Algebra.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2011

2009

Automated Analysis of Reo Circuits using Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

2008

A framework for performance evaluation and functional verification in stochastic process algebras.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Process algebraic verification of SystemC codes.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Application of Concurrency to System Design (ACSD 2008), 2008

2007

Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP).

[BibT_eX]

[DOI]

Hootan Nakhost

J. Univers. Comput. Sci., 2007

Sarir: A Rebeca to mCRL2 Translator.

[BibT_eX]

[DOI]

Jan Friso Groote

Proceedings of the Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 2007

2005

Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended <i>R</i>ebeca.

[BibT_eX]

[DOI]

Hootan Nakhost