Click on a search word OR use the drop-down choices to search for a paper.

Show all


Newell, Joshua; Pang, Linna; Tremaine, David; Wassyng, Alan; Lawford, Mark

Formal Translation of IEC 61131-3 Function Block Diagrams to PVS with Nuclear Application Inproceedings

In: NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, pp. 206–220, Springer 2016.

BibTeX | Tags: formal specification, function block diagrams, IEC 61131-3, PVS, safety critical systems, tabular expressions


Bialy, Monika; Lawford, Mark; Pantelic, Vera; Wassyng, Alan

A methodology for the simplification of tabular designs in model-based development Inproceedings

In: Proceedings of the Third FME Workshop on Formal Methods in Software Engineering, pp. 47–53, IEEE Press 2015.

BibTeX | Tags: model-based development, tabular design, tabular expressions

Singh, Neeraj Kumar; Lawford, Mark; Maibaum, Thomas SE; Wassyng, Alan

Stateflow to Tabular Expressions Inproceedings

In: Proceedings of the Sixth International Symposium on Information and Communication Technology, pp. 312–319, ACM 2015.

BibTeX | Tags: completeness, disjointness, Stateflow, tabular expressions


Bialy, Monika

A Methodology for the Simplification of Tabular Designs in Model-Based Development Masters Thesis

McMaster University, 2014.

Abstract | Links | BibTeX | Tags: automotive, model-based development, Simulink, tabular expressions


Jin, Xiao-Hui

SQRL Report No. 25 “Use of Tabular Expressions in the Inspection of Concurrent Programs” Technical Report


Abstract | BibTeX | Tags: concurrent programs, tabular expressions


Yang, Yuwen

SQRL Report No. 11 “Modelling Concurrency by Tabular Expressions” Technical Report


Abstract | Links | BibTeX | Tags: tabular expressions


Kowalik, J. G.

SQRL Report No. 4 “Table Input Method: A Tool for the Construction of Tabular Expression is the Table Tool System” Technical Report


Abstract | Links | BibTeX | Tags: tabular expressions


Liu, Shilei

SQRL Report No. 23 “Generating Test Cases From Software Documentation” Technical Report


Abstract | Links | BibTeX | Tags: software documentation, tabular expressions