Nancy A. Day

IEEE Trans. Software Eng., June, 2023

Dash: declarative behavioural modelling in Alloy with control state hierarchy.

[BibT_eX]

[DOI]

José Serna

Softw. Syst. Model., April, 2023

Which Classes of Structures Are Both Pseudo-Elementary and Definable by an Infinitary Sentence?

[BibT_eX]

[DOI]

Will Boney

Barbara F. Csima

Matthew Harrison-Trainor

Bull. Symb. Log., March, 2023

Static Profiling of Alloy Models.

[BibT_eX]

[DOI]

Elias Eid

IEEE Trans. Software Eng., February, 2023

Diversity in Software Engineering Conferences and Journals.

[BibT_eX]

[DOI]

Aditya Shankar Narayanan

Dheeraj Vagavolu

Meiyappan Nagappan

CoRR, 2023

2021

Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems.

[BibT_eX]

[DOI]

Tamjid Hossain

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

2020

Transitive-closure-based model checking (TCMC) in Alloy.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2020

2019

Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB.

[BibT_eX]

[DOI]

Ali Abbassi

Derek Rayside

CoRR, 2019

Extracting counterexamples from transitive-closure-based model checking.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019

2018

Morse: Reducing the Feature Interaction Explosion Problem using Subject Matter Knowledge as Abstract Requirements.

[BibT_eX]

[DOI]

Laure Millet

Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018

A Comparison of the Declarative Modelling Languages B, Dash, and TLA<sup>+</sup>.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Model-Driven Requirements Engineering Workshop, 2018

2017

DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy.

[BibT_eX]

[DOI]

José Serna

Sabria Farheen

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

2016

Representing hierarchical state machine models in SMT-LIB.

[BibT_eX]

[DOI]

Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

Finite Model Finding Using the Logic of Equality with Uninterpreted Functions.

[BibT_eX]

[DOI]

Proceedings of the FM 2016: Formal Methods, 2016

2014

Verifying CTL-live properties of infinite state models using an SMT solver.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014

Reducing CTL-live model checking to first-order logic validity checking.

[BibT_eX]

[DOI]

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

2013

Recommendations for improving the usability of formal methods for product lines.

[BibT_eX]

[DOI]

Proceedings of the 1st FME Workshop on Formal Methods in Software Engineering, 2013

2012

Code generation for a family of executable modelling notations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Avestan: a declarative modeling language based on SMT-LIB.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Modeling in Software Engineering, 2012

Temporal Logic Model Checking in Alloy.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, Alloy, B, VDM, and Z, 2012

2011

Using model checking to analyze static properties of declarative models.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

Semantic Quality Attributes for Big-Step Modelling Languages.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Deconstructing the semantics of big-step modelling languages.

[BibT_eX]

[DOI]

Requir. Eng., 2010

A Common Framework for Synchronization in Requirements Modelling Languages.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Prescriptive Semantics for Big-Step Modelling Languages.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2010

2009

Semantic Criteria for Choosing a Language for Big-Step Models.

[BibT_eX]

[DOI]

Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

2008

Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata.

[BibT_eX]

[DOI]

Farhad Mavaddat

Fundam. Informaticae, 2008

Semantically Configurable Code Generation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Modelling feature interactions in the automotive domain.

[BibT_eX]

[DOI]

Alma L. Juarez Dominguez

Proceedings of the International Workshop on Modeling in Software Engineering, 2008

2007

Unified use case statecharts: case studies.

[BibT_eX]

[DOI]

Requir. Eng., 2007

2005

Interface Automata with Complex Actions.

[BibT_eX]

[DOI]

Farhad Mavaddat

Proceedings of the First IPM International Workshop on Foundations of Software Engineering, 2005

Compositional reasoning for port-based distributed systems.

[BibT_eX]

[DOI]

Alma L. Juarez Dominguez

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Mapping Template Semantics to SMV.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE International Conference on Automated Software Engineering (ASE 2004), 2004

Synchronization-at-Retirement for Pipeline Verification.

[BibT_eX]

[DOI]

Mark D. Aagaard

Robert B. Jones

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

2003

Template Semantics for Model-Based Notations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

A framework for superscalar microprocessor correctness statements.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2003

Understanding and Comparing Model-Based Specification Notations.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003), 2003

High-level optimization of pipeline design.

[BibT_eX]

[DOI]

Jennifer Campbell

Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003

2002

Composable semantics for model-based notations.

[BibT_eX]

[DOI]

Proceedings of the Tenth ACM SIGSOFT Symposium on Foundations of Software Engineering 2002, 2002

Relating Multi-step and Single-Step Microprocessor Correctness Statements.

[BibT_eX]

[DOI]

Mark D. Aagaard

Meng Lou

Proceedings of the Formal Methods in Computer-Aided Design, 4th International Conference, 2002

2001

A Framework for Microprocessor Correctness Statements.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 2001

2000

A Framework for Multi-Notation Requirements Specification and Analysis.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Requirements Engineering, 2000

Combining Stream-Based and State-Based Verification Techniques.

[BibT_eX]

[DOI]

Mark D. Aagaard

Byron Cook

Proceedings of the Formal Methods in Computer-Aided Design, Third International Conference, 2000

1999

Symbolic Functional Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Symbolic Simulation of Microprocessor Models using Type Classes in Haskell.

[BibT_eX]

[DOI]

Jeffrey R. Lewis

Byron Cook

Proceedings of the Correct Hardware Design and Verification Methods, 1999

1997

Using a Formal Description Technique to Model Aspects of a Global Air Traffic Telecommunications Network.

[BibT_eX]

James H. Andrews

Proceedings of the Formal Description Techniques and Protocol Specification, 1997

1994

S: A Machine Readable Specification Notation based on Higher Order Logic.

[BibT_eX]

[DOI]

Michael R. Donat

Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994

1993

The Semantics of Statecharts in HOL.

[BibT_eX]

[DOI]

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993

An example of linking formal methods with case tools: a model checker for statecharts.

[BibT_eX]

[DOI]

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992

A Comparison between Statecharts and State Transition Assertions.

[BibT_eX]