Stefan Hallerstede

Formal Aspects Comput., 2018

From Software Specifications to Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Three Is a Crowd: SAT, SMT and CLP on a Chessboard.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2018

A Non-unified View of Modelling, Specification and Programming.

[BibT_eX]

[DOI]

Peter Gorm Larsen

John S. Fitzgerald

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2016

The correctness of event-B inductive convergence.

[BibT_eX]

[DOI]

Femina Hassan Aysha Beevi

Sci. Comput. Program., 2016

Data quality oriented efficacy evaluation method for ambient assisted living technologies.

[BibT_eX]

[DOI]

Stefan Rahr Wagner

Christian Fischer Pedersen

Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare, 2016

Generating Event-B Specifications from Algorithm Descriptions.

[BibT_eX]

[DOI]

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

2015

A Model-Based Approach for Requirements Engineering for Systems of Systems.

[BibT_eX]

[DOI]

Finn Overgaard Hansen

IEEE Syst. J., 2015

2014

A method and tool for tracing requirements into specifications.

[BibT_eX]

[DOI]

Michael Jastram

Lukas Ladenberger

Sci. Comput. Program., 2014

Refinement of decomposed models by interface instantiation.

[BibT_eX]

[DOI]

Femina Hassan Aysha Beevi

Thai Son Hoang

Sci. Comput. Program., 2014

Lateral Fall Detection via Events in Linear Prediction Residual of Acceleration.

[BibT_eX]

[DOI]

Christian Fischer Pedersen

Stefan Wagner

José Antonio Esparza Isasa

Proceedings of the Ambient Intelligence - Software and Applications, 2014

Modelling Energy Consumption in Embedded Systems with VDM-RT.

[BibT_eX]

[DOI]

Peter Würtz Vinther Jørgensen

Claus Ballegård Nielsen

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

Quasi-Lexicographic Convergence.

[BibT_eX]

[DOI]

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

2013

Validation of formal models by refinement animation.

[BibT_eX]

[DOI]

Daniel Plagge

Sci. Comput. Program., 2013

Integration of Tools for Rigorous Software Construction and Analysis (Dagstuhl Seminar 13372).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2013

2012

Experiments in program verification using Event-B.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2012

Model-based requirements engineering for system of systems.

[BibT_eX]

[DOI]

Finn Overgaard Hansen

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Technical challenges of SoS requirements engineering.

[BibT_eX]

[DOI]

Finn Overgaard Hansen

Proceedings of the 7th International Conference on System of Systems Engineering, 2012

Community-basierte Open Innovation von der Suchebis zur Implementierung- der Fall des Innovationsintermediärs innosabi.

[BibT_eX]

Proceedings of the Multikonferenz Wirtschaftsinformatik 2012: Tagungsband der MKWI 2012, Braunschweig, Germany, February 29, 2012

Refinement by Interface Instantiation.

[BibT_eX]

[DOI]

Thai Son Hoang

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

Design and Management of Web-Based Innovation Communities: A Lifecycle Approach.

[BibT_eX]

[DOI]

Proceedings of the 18th Americas Conference on Information Systems, 2012

2011

Constraint-based deadlock checking of high-level specifications.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2011

Akzeptanzorientiertes Application Lifecycle Management.

[BibT_eX]

[DOI]

Frank Danzinger

HMD Prax. Wirtsch., 2011

On the purpose of Event-B proof obligations.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2011

Mixing Formal and Informal Model Elements for Tracing Requirements.

[BibT_eX]

[DOI]

Michael Jastram

Lukas Ladenberger

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Refining Nodes and Edges of State Machines.

[BibT_eX]

[DOI]

Colin F. Snook

Proceedings of the Formal Methods and Software Engineering, 2011

On Fitting a Formal Method into Practice.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2011

2010

Rodin: an open toolset for modelling and reasoning in Event-B.

[BibT_eX]

[DOI]

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

An Approach of Requirements Tracing in Formal Refinement.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2010

Normalo? Tüftler? Profi?.

[BibT_eX]

[DOI]

Anne-Katrin Neyer

Proceedings of the Multikonferenz Wirtschaftsinformatik, 2010

Refinement-Animation for Event-B - Towards a Method of Validation.

[BibT_eX]

[DOI]

Daniel Plagge

Proceedings of the Abstract State Machines, 2010

Structured Event-B Models and Proofs.

[BibT_eX]

[DOI]

Angelika Cosima Bullinger

Proceedings of the Abstract State Machines, 2010

Towards Research Collaboration - a Taxonomy of Social Research Network Sites.

[BibT_eX]

[DOI]

Uta Renken

Jens-Hendrik Soeldner

Proceedings of the Sustainable IT Collaboration Around the Globe. 16th Americas Conference on Information Systems, 2010

2009

Proving Quicksort Correct in Event-B.

[BibT_eX]

[DOI]

Proceedings of the 14th BCS-FACS Refinement Workshop, 2009

How to Explain Mistakes.

[BibT_eX]

[DOI]

Proceedings of the Teaching Formal Methods, Second International Conference, 2009

2008

Incremental System Modelling in Event-B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

A Roadmap for the Rodin Toolset.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B.

[BibT_eX]

[DOI]

Jean-Raymond Abrial

Fundam. Informaticae, 2007

Qualitative Probabilistic Modelling in Event-B.

[BibT_eX]

[DOI]

Thai Son Hoang

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Justifications for the Event-B Modelling Notation.

[BibT_eX]

[DOI]

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

An Open Extensible Tool Environment for Event-B.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2006

2004

Performance analysis of probabilistic action systems.

[BibT_eX]

[DOI]

Michael J. Butler

Formal Aspects Comput., 2004

Embedded System Design Using Formal Model Refinement: An Approach Based on the Combined Use of UML and the B Language.

[BibT_eX]

[DOI]

Nikolaos S. Voros

Colin F. Snook

Konstantinos Masselos

Des. Autom. Embed. Syst., 2004

A hardware/software codesign framework for developing complex embedded systems using formal model refinement.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2004

Circuit Design by Refinement in EventB1.

[BibT_eX]

[DOI]

Yann Zimmermann

Proceedings of the Forum on specification and Design Languages, 2004

2003

Parallel Hardware Design in B.

[BibT_eX]

[DOI]