Search results for "VDM"

Hits ?▲	Authors	Title	Venue	Year	Link
19	Jean-Raymond Abrial	On B and Event-B: Principles, Success and Challenges.	ABZ	2018	DBLP DOI BibTeX RDF
19	Tetsuro Katayama, Hiroki Tachiyama, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki	BWDM: Test Cases Automatic Generation Tool Based on Boundary Value Analysis with VDM++.	J. Robotics Netw. Artif. Life	2017	DBLP DOI BibTeX RDF
19	Hsin-Hung Lin, Bow-Yaw Wang	Releasing VDM proof obligations with SMT solvers.	MEMOCODE	2017	DBLP DOI BibTeX RDF
19	Claus Ballegaard Nielsen	Applying the VDM formalism across systems engineering lifecycles.	SysCon	2017	DBLP DOI BibTeX RDF
19	Peter Gorm Larsen, John S. Fitzgerald	The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA.	J. Log. Algebraic Methods Program.	2016	DBLP DOI BibTeX RDF
19	Nazir Ahmad Zafar	Formal specification and analysis of take-off procedure using VDM-SL.	Complex Adapt. Syst. Model.	2016	DBLP DOI BibTeX RDF
19	Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró (eds.)	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings	ABZ	2016	DBLP DOI BibTeX RDF
19	Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.	A Super Industrial Application of PSGraph.	ABZ	2016	DBLP DOI BibTeX RDF
19	Flavio Ferrarotti, Loredana Tec, José Maria Turull Torres	Towards an ASM Thesis for Reflective Sequential Algorithms.	ABZ	2016	DBLP DOI BibTeX RDF
19	Atif Mashkoor	The Hemodialysis Machine Case Study.	ABZ	2016	DBLP DOI BibTeX RDF
19	Guillaume Babin, Yamine Aït Ameur, Neeraj Kumar Singh 0001, Marc Pantel	Handling Continuous Functions in Hybrid Systems Reconfigurations: A Formal Event-B Development.	ABZ	2016	DBLP DOI BibTeX RDF
19	John W. Baugh Jr., Alper Altuntas	Modeling a Discrete Wet-Dry Algorithm for Hurricane Storm Surge in Alloy.	ABZ	2016	DBLP DOI BibTeX RDF
19	Gudmund Grov, Andrew Ireland, Maria Teresa Llano, Peter Kovacs, Simon Colton, Jeremy Gow	Semi-Automated Design Space Exploration for Formal Modelling.	ABZ	2016	DBLP DOI BibTeX RDF
19	Dominik Hansen, David Schneider 0001, Michael Leuschel	Using B and ProB for Data Validation Projects.	ABZ	2016	DBLP DOI BibTeX RDF
19	Yibo Liang, Yuhui Lin, Gudmund Grov	'The Tinker' for Rodin.	ABZ	2016	DBLP DOI BibTeX RDF
19	Egon Börger	Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets.	ABZ	2016	DBLP DOI BibTeX RDF
19	Felix Kossak, Atif Mashkoor	How to Select the Suitable Formal Method for an Industrial Application: A Survey.	ABZ	2016	DBLP DOI BibTeX RDF
19	Rajiv Murali, Andrew Ireland, Gudmund Grov	UC-B: Use Case Modelling with Event-B.	ABZ	2016	DBLP DOI BibTeX RDF
19	Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier	Unified Syntax for Abstract State Machines.	ABZ	2016	DBLP DOI BibTeX RDF
19	Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene	How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study.	ABZ	2016	DBLP DOI BibTeX RDF
19	Michael Leuschel, Egon Börger	A Compact Encoding of Sequential ASMs in Event-B.	ABZ	2016	DBLP DOI BibTeX RDF
19	Dana Dghaym, Matheus Garay Trindade, Michael J. Butler, Asieh Salehi Fathabadi	A Graphical Tool for Event Refinement Structures in Event-B.	ABZ	2016	DBLP DOI BibTeX RDF
19	Andrew Edmunds, Colin F. Snook, Marina Waldén	On Component-Based Reuse for Event-B.	ABZ	2016	DBLP DOI BibTeX RDF
19	Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz	Proving Determinacy of the PharOS Real-Time Operating System.	ABZ	2016	DBLP DOI BibTeX RDF
19	Alexei Iliasov, Paulius Stankaitis, David Adjepon-Yamoah, Alexander B. Romanovsky	Rodin Platform Why3 Plug-In.	ABZ	2016	DBLP DOI BibTeX RDF
19	Florent Chevrou, Aurélie Hurault, Philippe Mauran, Philippe Quéinnec	Mechanized Refinement of Communication Models with TLA ^+ +.	ABZ	2016	DBLP DOI BibTeX RDF
19	Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel	Generating Event-B Specifications from Algorithm Descriptions.	ABZ	2016	DBLP DOI BibTeX RDF
19	Artur Oliveira Gomes, Andrew Butterfield	Modelling the Haemodialysis Machine with Circus.	ABZ	2016	DBLP DOI BibTeX RDF
19	Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif	A Relational Encoding for a Clash-Free Subset of ASMs.	ABZ	2016	DBLP DOI BibTeX RDF
19	Michael Stegmaier, Marcel Dausend, Alexander Raschke, Matthias Tichy	A Universal Control Construct for Abstract State Machines.	ABZ	2016	DBLP DOI BibTeX RDF
19	Philipp Paulweber, Uwe Zdun	A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications.	ABZ	2016	DBLP DOI BibTeX RDF
19	David Mentré	SysML2B: Automatic Tool for B Project Graphical Architecture Design Using SysML.	ABZ	2016	DBLP DOI BibTeX RDF
19	Noran Azmy, Stephan Merz, Christoph Weidenbach	A Rigorous Correctness Proof for Pastry.	ABZ	2016	DBLP DOI BibTeX RDF
19	Richard Banach	Hemodialysis Machine in Hybrid Event-B.	ABZ	2016	DBLP DOI BibTeX RDF
19	Sebastian Krings, Michael Leuschel	Proof Assisted Symbolic Model Checking for B and Event-B.	ABZ	2016	DBLP DOI BibTeX RDF
19	Ivaylo Dobrikov, Michael Leuschel	Enabling Analysis for Event-B.	ABZ	2016	DBLP DOI BibTeX RDF
19	Thomas Fayolle, Marc Frappier, Frédéric Gervais, Régine Laleau	Modelling a Hemodialysis Machine Using Algebraic State-Transition Diagrams and B-like Methods.	ABZ	2016	DBLP DOI BibTeX RDF
19	Stephan Merz, Hernán Vanzetto	Encoding TLA ^+ + into Many-Sorted First-Order Logic.	ABZ	2016	DBLP DOI BibTeX RDF
19	Thai Son Hoang, Colin F. Snook, Lukas Ladenberger, Michael J. Butler	Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation.	ABZ	2016	DBLP DOI BibTeX RDF
19	Joshua Schmidt, Sebastian Krings, Michael Leuschel	Interactive Model Repair by Synthesis.	ABZ	2016	DBLP DOI BibTeX RDF
19	Maha Boussabbeh, Mohamed Tounsi 0001, Mohamed Mosbah 0001, Ahmed Hadj Kacem	Formal Proofs of Termination Detection for Local Computations by Refinement-Based Compositions.	ABZ	2016	DBLP DOI BibTeX RDF
19	Hsin-Hung Lin, Yoichi Omori, Shigeru Kusakabe, Keijiro Araki	Towards Verifying VDM Using SPIN.	FTSCS	2015	DBLP DOI BibTeX RDF
19	Taro Kurita, Fuyuki Ishikawa, Keijiro Araki	Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware.	FM	2015	DBLP DOI BibTeX RDF
19	Shehla Riaz, Hamra Afzaal, Muhammad Imran 0001, Nazir Ahmad Zafar, Mehmet Sabih Aksoy	Formalizing Mobile Ad Hoc and Sensor Networks Using VDM-SL.	EUSPN/ICTH	2015	DBLP DOI BibTeX RDF
19	Hamra Afzaal, Muhammad Imran 0001, Nazir Ahmad Zafar	Implementing Partitioning Detection and Connectivity Restoration in WSAN Using VDM-SL.	FIT	2015	DBLP DOI BibTeX RDF
19	Tomohiro Oda, Keijiro Araki, Peter Gorm Larsen	VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.	FormaliSE@ICSE	2015	DBLP DOI BibTeX RDF
19	Elvinia Riccobene, Steve Reeves	Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012.	Sci. Comput. Program.	2014	DBLP DOI BibTeX RDF
19	Peter Gorm Larsen, John S. Fitzgerald, Marcel Verhoef, Kenneth Pierce	Discrete-Event Modelling in VDM.	Collaborative Design for Embedded Systems	2014	DBLP DOI BibTeX RDF
19	José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Peter Gorm Larsen	Hardware In the Loop for VDM-Real Time Modeling of Embedded Systems.	MODELSWARD	2014	DBLP DOI BibTeX RDF
19	Klaus Havelund	Closing the Gap Between Specification and Programming: VDM++ and Scala.	HOWARD-60	2014	DBLP DOI BibTeX RDF
19	Frédéric Boniol, Virginie Wiels, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.)	ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. Proceedings	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Yamine Aït Ameur, Klaus-Dieter Schewe (eds.)	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings	ABZ	2014	DBLP DOI BibTeX RDF
19	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel	Validation of the ABZ Landing Gear System Using ProB.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Richard Banach	The Landing Gear Case Study in Hybrid Event-B.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Wen Su, Jean-Raymond Abrial	Aircraft Landing Gear System: Approaches with Event-B to the Modeling of an Industrial System.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Amel Mammar, Régine Laleau	Modeling a Landing Gear System in Event-B.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Philippe Dhaussy, Ciprian Teodorov	Context-Aware Verification of a Landing Gear System.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Vitaly Savicks, Michael J. Butler, John Colley	Co-simulation Environment for Rodin: Landing Gear Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene	Modeling and Analyzing Using ASMs: The Landing Gear System Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Bernard Berthomieu, Silvano Dal-Zilio, Lukasz Fronc	Model-Checking Real-Time Properties of an Aircraft Landing Gear System Using Fiacre.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Frédéric Boniol, Virginie Wiels	The Landing Gear System Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Felix Kossak	Landing Gear System: An ASM-Based Solution for the ABZ Case Study.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Dominique Méry, Neeraj Kumar Singh 0001	Modeling an Aircraft Landing System in Event-B.	ABZ (Case Study)	2014	DBLP DOI BibTeX RDF
19	Richard Banach	Invariant Guided System Decomposition.	ABZ	2014	DBLP DOI BibTeX RDF
19	Narek Nalbandyan, Uwe Glässer, Hamed Yaghoubi Shahir, Hans Wehn	Distributed Situation Analysis - A Formal Semantic Framework.	ABZ	2014	DBLP DOI BibTeX RDF
19	Simone Zenzaro, Vincenzo Gervasi, Jacopo Soldani	WebASM: An Abstract State Machine Execution Environment for the Web.	ABZ	2014	DBLP DOI BibTeX RDF
19	Andreas Prinz 0001, Edel Sherratt	Distributed ASM - Pitfalls and Solutions.	ABZ	2014	DBLP DOI BibTeX RDF
19	Laurent Voisin, Jean-Raymond Abrial	The Rodin Platform Has Turned Ten.	ABZ	2014	DBLP DOI BibTeX RDF
19	Egon Börger, Klaus-Dieter Schewe	Specifying Transaction Control to Serialize Concurrent Program Executions.	ABZ	2014	DBLP DOI BibTeX RDF
19	Jérôme Guéry, Olivier Rolland, Joris Rehm	Fixed-Point Arithmetic Modeled in B Software Using Reals.	ABZ	2014	DBLP DOI BibTeX RDF
19	Elvinia Riccobene, Patrizia Scandurra	Towards ASM-Based Formal Specification of Self-Adaptive Systems.	ABZ	2014	DBLP DOI BibTeX RDF
19	Loïc Gammaitoni, Pierre Kelsen	Domain-Specific Visualization of Alloy Instances.	ABZ	2014	DBLP DOI BibTeX RDF
19	Andreas Fürst, Thai Son Hoang, David A. Basin, Naoto Sato, Kunihiko Miyazaki	Formal System Modelling Using Abstract Data Types in Event-B.	ABZ	2014	DBLP DOI BibTeX RDF
19	Marcel Dausend, Alexander Raschke	Introducing Aspect-Oriented Specification for Abstract State Machines.	ABZ	2014	DBLP DOI BibTeX RDF
19	Petr N. Devyanin, Alexey V. Khoroshilov, Victor V. Kuliamin, Alexander K. Petrenko, Ilya V. Shchepetkov	Formal Verification of OS Security Model with Alloy and Event-B.	ABZ	2014	DBLP DOI BibTeX RDF
19	Michael Leuschel, David Schneider 0001	Towards B as a High-Level Constraint Modelling Language - Solving the Jobs Puzzle Challenge.	ABZ	2014	DBLP DOI BibTeX RDF
19	Andrew Edmunds	Templates for Event-B Code Generation.	ABZ	2014	DBLP DOI BibTeX RDF
19	Aleksandar Milicevic, Ido Efrati, Daniel Jackson 0001	αRby - An Embedding of Alloy in Ruby.	ABZ	2014	DBLP DOI BibTeX RDF
19	Chris Newcombe	Why Amazon Chose TLA +.	ABZ	2014	DBLP DOI BibTeX RDF
19	Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh 0001	Analysis of Self-⋆ and P2P Systems Using Refinement.	ABZ	2014	DBLP DOI BibTeX RDF
19	Eerke A. Boiten, Jeremy Jacob	Sealed Containers in Z.	ABZ	2014	DBLP DOI BibTeX RDF
19	Graeme Smith 0001, Qin Li 0002	MAZE: An Extension of Object-Z for Multi-Agent Systems.	ABZ	2014	DBLP DOI BibTeX RDF
19	Stefan Hallerstede	Quasi-Lexicographic Convergence.	ABZ	2014	DBLP DOI BibTeX RDF
19	Inna Pereverzeva, Michael J. Butler, Asieh Salehi Fathabadi, Linas Laibinis, Elena Troubitsyna	Formal Derivation of Distributed MapReduce.	ABZ	2014	DBLP DOI BibTeX RDF
19	Vajih Montaghami, Derek Rayside	Staged Evaluation of Partial Instances in a Relational Model Finder.	ABZ	2014	DBLP DOI BibTeX RDF
19	Tsutomu Kobayashi, Fuyuki Ishikawa, Shinichi Honiden	Understanding and Planning Event-B Refinement through Primitive Rationales.	ABZ	2014	DBLP DOI BibTeX RDF
19	Dominik Hansen, Michael Leuschel	Translating B to TLA + for Validation with TLC.	ABZ	2014	DBLP DOI BibTeX RDF
19	David Delahaye, Catherine Dubois, Claude Marché, David Mentré	The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
19	Ed Zulkoski, Chris Kleynhans, Ming-Ho Yee, Derek Rayside, Krzysztof Czarnecki 0001	Optimizing Alloy for Multi-objective Software Product Line Configuration.	ABZ	2014	DBLP DOI BibTeX RDF
19	Ferney A. Maldonado-Lopez, Jaime Chavarriaga, Yezid Donoso	Detecting Network Policy Conflicts Using Alloy.	ABZ	2014	DBLP DOI BibTeX RDF
19	Nghi Huynh, Marc Frappier, Amel Mammar, Régine Laleau, Jules Desharnais	Validating the RBAC ANSI 2012 Standard Using B.	ABZ	2014	DBLP DOI BibTeX RDF
19	Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif	Development of a Verified Flash File System.	ABZ	2014	DBLP DOI BibTeX RDF
19	Alcino Cunha	Bounded Model Checking of Temporal Formulas with Alloy.	ABZ	2014	DBLP DOI BibTeX RDF
19	Sylvain Conchon, Mohamed Iguernelala	Tuning the Alt-Ergo SMT Solver for B Proof Obligations.	ABZ	2014	DBLP DOI BibTeX RDF
19	Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Wolfgang Reif	Modular Refinement for Submachines of ASMs.	ABZ	2014	DBLP DOI BibTeX RDF
19	Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru	B Formal Validation of ERTMS/ETCS Railway Operating Rules.	ABZ	2014	DBLP DOI BibTeX RDF
19	Kenneth Lausdahl	Translating VDM to Alloy.	IFM	2013	DBLP DOI BibTeX RDF
19	Blake LeBaron	Alma Lilia Garcia Almanza, and Edward Tsang: Evolutionary applications for financial prediction: classification methods to gather patterns using genetic programming - VDM Verlag Dr. Müller, 2011, ISBN: 978-3639307672.	Genet. Program. Evolvable Mach.	2012	DBLP DOI BibTeX RDF
19	Nguyen Van Tang, Daisuke Souma, Goro Hatayama, Hitoshi Ohsaki	Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++.	VSTTE	2012	DBLP DOI BibTeX RDF