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

312 entries « 1 of 7 »

2017

Diskin, Zinovy

Multiple Model Synchronization with Multiary Delta Lenses Technical Report

2017.

Links | BibTeX | Tags: multiary delta lenses, multiple model synchronization

Kokaly, Sahar; Salay, Rick; Chechik, Marsha; Lawford, Mark; Maibaum, Tom

Safety case impact assessment in automotive software systems: an improved model-based approach Inproceedings

International Conference on Computer Safety, Reliability, and Security, pp. 69–85, Springer 2017.

BibTeX | Tags:

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

Use of Tabular Expressions for Refinement Automation Inproceedings

International Conference on Model and Data Engineering, pp. 167–182, Springer 2017.

BibTeX | Tags:

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

Translation of IEC 61131-3 Function Block Diagrams to PVS for Formal Verification with Real-Time Nuclear Application Journal Article

Journal of Automated Reasoning, pp. 1–22, 2017.

BibTeX | Tags:

Pantelic, Vera; Postma, Steven; Lawford, Mark; Jaskolka, Monika; Mackenzie, Bennett; Korobkine, Alexandre; Bender, Marc; Ong, Jeff; Marks, Gordon; Wassyng, Alan

Software engineering practices and Simulink: bridging the gap Journal Article

International Journal on Software Tools for Technology Transfer, pp. 1–23, 2017.

BibTeX | Tags:

2016

Bicarregui, JC; Lano, KC; Maibaum, TSE

Towards a Compositional Interpretation of Object Diagrams Journal Article

Algorithimic Languages and Calculi, pp. 187, 2016.

BibTeX | Tags:

Safilian, Aliakbar; Maibaum, Tom

Multiset theories of cardinality-based feature diagrams Journal Article

arXiv preprint arXiv:1601.06242, 2016.

BibTeX | Tags:

Kokaly, Sahar; Salay, Rick; Sabetzadeh, Mehrdad; Chechik, Marsha; Maibaum, Tom

Model management for regulatory compliance: a position paper Inproceedings

Proceedings of the 8th International Workshop on Modeling in Software Engineering, pp. 74–80, ACM 2016.

BibTeX | Tags:

Mallya, Archana; Pantelic, Vera; Adedjouma, Morayo; Lawford, Mark; Wassyng, Alan

Using STPA in an ISO 26262 Compliant Process Inproceedings

International Conference on Computer Safety, Reliability, and Security, pp. 117–129, Springer 2016.

BibTeX | Tags:

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

Verifying Trustworthy Cyber-Physical Systems using Closed-loop Modeling 3 Journal Article

Trustworthy Cyber-Physical Systems Engineering, pp. 199, 2016.

BibTeX | Tags:

Wassyng, Alan; Joannou, Paul; Lawford, Mark; Maibaum, Tom; Singh, Neeraj Kumar

New Standards for Trustworthy Cyber-Physical Systems Journal Article

Trustworthy Cyber-Physical Systems Engineering, pp. 337, 2016.

BibTeX | Tags:

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

Formal translation of IEC 61131-3 function block diagrams to PVS with nuclear application Inproceedings

NASA Formal Methods Symposium, pp. 206–220, Springer International Publishing 2016.

BibTeX | Tags:

Vakili, Sasan; Singh, Neeraj Kumar; Lawford, Mark; Wassyng, Alan; Breimer, Ben

Stop-and-Go Adaptive Cruise Control Journal Article

Trustworthy Cyber-Physical Systems Engineering, pp. 237, 2016.

BibTeX | Tags:

Cassano, Valentin; Maibaum, Thomas SE; Grigorova, Silviya

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case Inproceedings

International Conference on Formal Engineering Methods, pp. 1–17, Springer 2016.

BibTeX | Tags:

Ogata, Kazuhiro; Lawford, Mark; Liu, Shaoying

Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings Miscellaneous

2016.

BibTeX | Tags:

Lawford, Mark

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

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

BibTeX | Tags:

Lawford, Mark

Stupid Tool Tricks for Smart Model Based Design Inproceedings

Verified Software. Theories, Tools, and Experiments: 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016, Revised Selected Papers 8, pp. 1–7, Springer International Publishing 2016.

BibTeX | Tags:

Kokaly, Sahar; Salay, Rick; Cassano, Valentin; Maibaum, Tom; Chechik, Marsha

A model management approach for assurance case reuse due to system evolution Inproceedings

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, pp. 196–206, ACM 2016.

BibTeX | Tags:

Diskin, Zinovy; Safilian, Aliakbar; Maibaum, Tom; Ben-David, Shoham

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic Journal Article

Scientific Annals of Computer Science, 26 (1), pp. 69, 2016.

BibTeX | Tags:

Salay, Rick; Kokaly, Sahar; Chechik, Marsha; Maibaum, Tom

Heterogeneous Megamodel Slicing for Model Evolution. Inproceedings

ME@ MODELS, pp. 50–59, 2016.

BibTeX | Tags:

Sanati, Morteza Yousef; MacCaull, Wendy; Maibaum, Tom; Majzoobi, Mohammad Mahdi

Consistency checking of clinical practice guidelines with MITDL Inproceedings

Information and Knowledge Technology (IKT), 2016 Eighth International Conference on, pp. 281–287, IEEE 2016.

BibTeX | Tags:

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

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

Kokaly, Sahar ; Salay, Rick ; Sabetzadeh, Mehrdad ; Chechik, Marsha ; Maibaum, Tom

Model management for regulatory compliance: a position paper Inproceedings

Proceedings of the 8th International Workshop on Modeling in Software Engineering, pp. 74–80, ACM 2016.

BibTeX | Tags: assurance cases, model management, regulatory compliance, software certification, standards

Safilian, Aliakbar ; Maibaum, Tom

Multiset Theories of Cardinality-based Feature Diagrams Journal Article

arXiv preprint arXiv:1601.06242, 2016.

BibTeX | Tags: cardinality-based feature diagrams, multiset theory

2015

Mossakowski, Till ; Krumnack, Ulf ; Maibaum, Tom

What is a derived signature morphism? Inproceedings

International Workshop on Algebraic Development Techniques, pp. 90–109, Springer 2015.

BibTeX | Tags: signature morphism

Gholizadeh, Hamid ; Diskin, Zinovy ; Kokaly, Sahar ; Maibaum, Tom

Analysis of Source-to-Target Model Transformations in QueST Inproceedings

2015.

BibTeX | Tags:

Cassano, V; Grigorova, S; Singh, NK; Adedjouma, M; Lawford, M; Maibaum, TSE; Wassyng, A

Is Incremental Safety Assurance Sound? Conference

4th International Workshop on Next Generation of System Assurance Approaches for Safety-critical Systems (SASSUR) 2015.

Links | BibTeX | Tags: incremental safety, safety assurance

Azim, A; Pellizzoni, R; Fischmeister, S

Generation of Communication Schedules Using Component Interfaces Proceeding

Proc. of the International Conference on Emerging Technologies and Factory Automation (ETFA) Luxembourg, 2015.

Links | BibTeX | Tags: communication schedules, software

Cassano, Valentin; Maibaum, Thomas S E

A Reassessment of Toulmin’s Argument Scheme in the Context of Assurance Cases Conference

Verification and Assurance (VeriSure’15). Workshop held together with Computer-Aided Verification (CAV’15). San Francisco, USA, 2015.

BibTeX | Tags: assurance case, Toulmin's argument scheme

Bilgin, B; Magne, P; Malysz, P; Yinye, Yang; Pantelic, V; Preindl, M; Korobkine, A; Weisheng, J; Lawford, M; Emadi, A

Making the Case for Electrified Transportation Journal Article

IEEE Transactions on Transportation Electrification, 1 (1), pp. 4 - 17, 2015.

Links | BibTeX | Tags: electrified transportation

Bilgin, Berker ; Magne, Pierre ; Malysz, Pawel ; Yang, Yinye ; Pantelic, Vera ; Preindl, Matthias ; Korobkine, Alexandre ; Jiang, Weisheng ; Lawford, Mark ; Emadi, Ali

Making the case for electrified transportation Journal Article

IEEE Transactions on Transportation Electrification, 1 (1), pp. 4–17, 2015.

BibTeX | Tags: electric machines, electric vehicles, electrified power trains, energy storage, energy storage systems, hybrid electric vehicles, power electronics, transportation electrification, vehicle control software

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

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

3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE), Florence, Italy, 2015.

Links | BibTeX | Tags: software, tabular designs

Pantelic, Vera ; Postma, Steven ; Lawford, Mark ; Korobkine, Alexandre ; Mackenzie, Bennett ; Ong, Jeff ; Bender, Marc

A Toolset for Simulink: Improving Software Engineering Practices in Development with Simulink Inproceedings

3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2015), pp. 50–61, SCITEPRESS 2015.

BibTeX | Tags: data flow, Simulink, software engineering, tools, transformation

Patcas, Lucian M; Lawford, Mark ; Maibaum, Tom

Implementability of Requirements in the Four-Variable Model Journal Article

Science of Computer Programming, 111 (2), pp. 339–362, 2015.

BibTeX | Tags: demonic calculus of relations, four-variable model, implentability of requirements, safety-critical, tolerances on requirements

Pang, Linna ; Wang, Chen-Wei ; Lawford, Mark ; Wassyng, Alan ; Newell, Josh ; Chow, Vera ; Tremaine, David

Formal Verification of Real-Time Function Blocks Using PVS Inproceedings

4th International Workshop on Engineering Safety and Security Systems 2015 (ESSS’15), pp. 65–79, Electronic Proceedings in Theoretical Computer Science 2015.

BibTeX | Tags: formal verification, function blocks, IEC 61131-3, safety-critical systems, software certification

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

Formalizing the Cardiac Pacemaker Resynchronization Therapy Inproceedings

International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, pp. 374–386, Springer International Publishing 2015.

BibTeX | Tags: event-B, formal methods, pacemaker, pacemaker resynchronization therapy, refinement, validation, verification

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

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements Inproceedings

International Conference on Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management, pp. 387–398, Springer International Publishing 2015.

BibTeX | Tags: event-B, formal methods, insulin infusion pump, refinement, validation, verification

Wassyng, Alan ; Singh, Neeraj Kumar ; Geven, Mischa ; Proscia, Nicholas ; Wang, Hao ; Lawford, Mark ; Maibaum, Tom

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? Journal Article

IEEE Design & Test, 32 (5), pp. 45–55, 2015.

BibTeX | Tags: assurance case template, medical device standards

Cassano, V; Grigorova, S; Singh, NK ; Adedjouma, M; Lawford, M; Maibaum, TSE ; Wassyng, A

Is Current Incremental Safety Assurance Sound? Incollection

Computer Safety, Reliability, and Security, LNCS, 9338 , pp. 397–408, Springer International Publishing, 2015.

BibTeX | Tags: incremental design improvement, incremental safety assurance

Pang, Linna ; Wang, Chen-Wei ; Lawford, Mark ; Wassyng, Alan

Formal verification of function blocks applied to IEC 61131-3 Journal Article

Science of Computer Programming, 113 (Part 2), pp. 149–190, 2015.

BibTeX | Tags: critical systems, formal verification, function blocks, IEC 61131-3, tabular expression

Bender, Marc ; Laurin, Karen ; Lawford, Mark ; Pantelic, Vera ; Korobkine, Alexandre ; Ong, Jeff ; Mackenzie, Bennett ; Bialy, Monika ; Postma, Steven

Signature required: Making Simulink data flow and interfaces explicit Journal Article

Science of Computer Programming, 113 (Part 1), pp. 29–50, 2015.

BibTeX | Tags: data flow, interfaces, model transformation, Simulink, software engineering

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

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

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

Gruner, Stefan ; Kumar, Apurva ; Maibaum, Tom

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge Inproceedings

International Workshop on Formal Techniques for Safety-Critical Systems, pp. 87–102, Springer 2015.

BibTeX | Tags: body of knowledge, formal concept analysis, formal methods, railway domain, semantic lattices, settled knowledge

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

Stateflow to Tabular Expressions Inproceedings

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

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

Demasi, Ramiro ; Castro, Pablo F; Ricci, Nicolas ; Maibaum, Thomas SE ; Aguirre, Nazareno

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications Inproceedings

International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 188–193, Springer 2015.

BibTeX | Tags: deontic logics, fault-tolerance, program synthesis, syntMaskFT, temporal logics

Castro, Pablo F; Aguirre, Nazareno ; Pombo, Carlos L; Maibaum, TSE

Categorical foundations for structured specifications in Z Journal Article

Formal Aspects of Computing, 27 (5-6), pp. 831–865, 2015.

BibTeX | Tags: category theory, heterogeneous specifications, system specification, system verification, Z notation

Diskin, Zinovy ; Maibaum, Tom ; Czarnecki, Krzysztof

A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical Inproceedings

European Conference on Modelling Foundations and Applications, pp. 154–170, Springer 2015.

BibTeX | Tags:

Cassano, Valentin ; Pombo, Carlos Gustavo Lopez ; Maibaum, Thomas SE

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules Inproceedings

International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, pp. 6–21, Springer 2015.

BibTeX | Tags:

Safilian, Aliakbar ; Maibaum, Tom ; Diskin, Zinovy

The semantics of cardinality-based feature models via formal languages Inproceedings

International Symposium on Formal Methods, pp. 453–469, Springer 2015.

BibTeX | Tags:

Diskin, Zinovy ; Safilian, Aliakbar ; Maibaum, Tom ; Ben-David, Shoham

Modeling product lines with kripke structures and modal logic Inproceedings

International Colloquium on Theoretical Aspects of Computing, pp. 184–202, Springer 2015.

BibTeX | Tags:

312 entries « 1 of 7 »