Search results for "VDM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Peter Gorm Larsen, Paul Mukherjee, Kim Sunesen	Using VDMTools to Model and Validate the Cash Dispenser Example.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	VDM++, VDM-SL, Java, UML, Validation, Code generation
39	José Antonio Esparza Isasa, Peter Würtz Vinther Jørgensen, Claus Ballegård Nielsen, Stefan Hallerstede	Modelling Energy Consumption in Embedded Systems with VDM-RT.	ABZ	2014	DBLP DOI BibTeX RDF
39	Claus Ballegaard Nielsen, Kenneth Lausdahl, Peter Gorm Larsen	Combining VDM with Executable Code.	ABZ	2012	DBLP DOI BibTeX RDF
39	Pascal Hitzler, Anthony Karel Seda	VDM meets LCF: Domain-Theoretic and Topological Aspects of VDM.	IWFM	2001	DBLP BibTeX RDF
39	Uwe Schmidt 0002, Reinhard Völler	Erfahrungen mit VDM bei der Übersetzungskonstruktion / Experiences with VDM in Compiler Construction.	it Inf. Technol.	1987	DBLP DOI BibTeX RDF
38	Bin Wang, Bruce Spencer, Charles X. Ling, Harry Zhang	Semi-supervised Self-training for Sentence Subjectivity Classification.	Canadian AI	2008	DBLP DOI BibTeX RDF
38	Matthias Kreuseler, Thomas Nocke, Heidrun Schumann	A History Mechanism for Visual Data Mining.	INFOVIS	2004	DBLP DOI BibTeX RDF	Undo/Redo, Visualization, History, Visual data mining
38	Lifeng Wang 0001, Xi Wang, Xin Tong 0001, Stephen Lin 0001, Shi-Min Hu 0001, Baining Guo, Heung-Yeung Shum	View-dependent displacement mapping.	ACM Trans. Graph.	2003	DBLP DOI BibTeX RDF	refiectance and shading models, displacement maps, hardware rendering, mesostructure
38	Barrett R. Bryant, Beum-Seuk Lee	Two-Level Grammar as an Object-Oriented Requirements Specification Language.	HICSS	2002	DBLP DOI BibTeX RDF	Object-Oriented Software Construction, Formal Specification, Vienna Development Method, Two-Level Grammar
38	Brian Matthews, Brian Ritchie, Juan Bicarregui	Synthesising Structure from Flat Specifications.	B	1998	DBLP DOI BibTeX RDF
38	Peter Gorm Larsen	Evaluation of Underdetermined Explicit Definitions.	FME	1994	DBLP DOI BibTeX RDF
33	T. Maruthi Padmaja, Narendra Dhulipalla, P. Radha Krishna 0001, Raju S. Bapi, Arijit Laha	An Unbalanced Data Classification Model Using Hybrid Sampling Technique for Fraud Detection.	PReMI	2007	DBLP DOI BibTeX RDF	Hybrid Sampling and Data Mining, Fraud detection, VDM, SMOTE
33	Juan Bicarregui, Brian Matthews, Brian Ritchie, Sten Agerholm	Investigating the Integration of two Formal Methods.	Formal Aspects Comput.	1998	DBLP DOI BibTeX RDF	Heterogeneous development, Formal specification, Translation, Tool support, B, VDM
33	Hans Toetenel, Ronald F. Lutje Spelberg, Sylvia Stuurman, Jan van Katwijk	Modeling and analysis of complex computer systems-the MTCCS approach.	ICECCS	1996	DBLP DOI BibTeX RDF	complex computer systems modeling, complex computer systems analysis, MTCCS approach, work in progress, real time concurrent systems, non trivial data component, Timed CCS, Model Oriented Timed Calculus of Communicating Systems, model oriented data language, operational style, temporal logic properties, combination notation, verification, formal specification, formal specification, specification language, symbolic model checking, VDM
33	Kasilingam Periyasamy, Vangalur S. Alagar, Tien D. Bui	A formal framework for design and verification of robotic agents.	J. Intell. Robotic Syst.	1993	DBLP DOI BibTeX RDF	verification, Formal specification, intelligent systems, VDM, robot kinematics
32	Kristian Bisgaard Lassen, Simon Tjell	Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets.	Innov. Syst. Softw. Eng.	2008	DBLP DOI BibTeX RDF	VDM++, Real-time, Requirements engineering, Coloured petri nets, UML 2.0
32	Marcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink	Co-simulation of Distributed Embedded Real-Time Control Systems.	IFM	2007	DBLP DOI BibTeX RDF	VDM++, simulation, continuous time, bond graphs, discrete event
32	Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto	A GUI and testing tool for SOFL.	APSEC	2000	DBLP DOI BibTeX RDF	VDM-SL, SOFL specification construction, SOFL specification testing tool, formal specification, Petri nets, Petri nets, graphical user interfaces, graphical user interface, software tools, system design, specification languages, formal language, object-oriented languages, modules, object-oriented methods, object-oriented method, classes, system specification, flowcharting, data flow diagrams, structured method
32	Kenneth Lausdahl, Hans Kristian Agerlund Lintrup, Peter Gorm Larsen	Connecting UML and VDM++ with Open Tool Support.	FM	2009	DBLP DOI BibTeX RDF
32	Hugo Daniel Macedo, Peter Gorm Larsen, John S. Fitzgerald	Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM.	FM	2008	DBLP DOI BibTeX RDF
32	Jim Woodcock 0001, Leo Freitas	Linking VDM and Z.	ICECCS	2008	DBLP DOI BibTeX RDF
32	Brigitte Fröhlich, Peter Gorm Larsen	Combining VDM-SL Specifications with C++ Code.	FME	1996	DBLP DOI BibTeX RDF
32	Juan Bicarregui, Brian Ritchie	Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations.	FME	1993	DBLP DOI BibTeX RDF
32	Graeme I. P. Parkin, Brian A. Wichmann	Conformity Clause for VDM-SL.	FME	1993	DBLP DOI BibTeX RDF
32	Christopher P. Lewington	Towards Constructive Program Derivation in VDM.	FSTTCS	1990	DBLP DOI BibTeX RDF
25	Jesús Maudes, Juan José Rodríguez, César Ignacio García-Osorio	Cascading for Nominal Data.	MCS	2007	DBLP DOI BibTeX RDF	Nominal Data, Cascade Generalization, Support Vector Machines, Decision Trees, Ensembles
25	Chi-Chun Huang, Hahn-Ming Lee	An instance-based learning approach based on grey relational structure.	Appl. Intell.	2006	DBLP DOI BibTeX RDF	Grey relational structure, Pattern classification, Instance-based learning, Grey relational analysis
25	Pascal Fenkam, Harald C. Gall, Mehdi Jazayeri	Constructing Corba-Supported Oracles for Testing: A Case Study in Automated Software Testing.	ASE	2002	DBLP DOI BibTeX RDF
25	Kevin Lano, Arturo Sanchez	Design of Reactive Control Systems for Event-Drivem Operations.	FME	1997	DBLP DOI BibTeX RDF
25	Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss	PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System.	FME	1997	DBLP DOI BibTeX RDF
25	Kirsten Mark Hansen	Validation of a Railway Interlocking Model.	FME	1994	DBLP DOI BibTeX RDF	Application of formal methods, simulation, model validation, railway interlocking
25	Babak Dehbonei, Fernando Mejia	Verification of Proofs for the B Formal Development Process.	ACM SIGPLAN Notices	1993	DBLP DOI BibTeX RDF
25	Jeremy Dick, Alain Faivre	Automating the Generation and Sequencing of Test Cases from Model-Based Specifications.	FME	1993	DBLP DOI BibTeX RDF
25	Arlet Ottens, Hans Toetenel	Simulation of Mosca Specifications in Ada.	Ada-Europe	1992	DBLP DOI BibTeX RDF
20	Jean-Pierre Jacquot, D. Quesnot	Early Specification of User-Interfaces: Toward a Formal Approach.	ICSE	1997	DBLP DOI BibTeX RDF	user-interfaces, formal specification, requirement engineering, VDM
20	Sandrine Blazy, Philippe Facon	Formal Specification and Prototyping of a Program Specializer.	TAPSOFT	1995	DBLP DOI BibTeX RDF	software maintenance, rule induction, VDM, program specialization, structured operational semantics, proof of correctness, Centaur
20	Lloyd G. Williams	Assessment of Safety-Critical Specifications.	IEEE Softw.	1994	DBLP DOI BibTeX RDF	safety-critical system specifications, specification ambiguity, software cost reduction method, Vienna Definition Method, semantic capabilities, assessment criteria, formal specification, formal methods, formal verification, formal verification, software reliability, safety, software cost estimation, understandability, VDM, Vienna development method
19	Cornelis Pronk, Martin Schönhacker	Formal definition of programming language standards.	ACM SIGPLAN Notices	2003	DBLP DOI BibTeX RDF	Formal Definition Languages, VDM-SL, Prolog, Modula-2
19	David Maley, Ivor T. A. Spence	But Who Will Guard the Guardians?	TOOLS (34)	2000	DBLP DOI BibTeX RDF	VDM++, C++, Genericity, Design by Contract
19	Jonas Lund, Lucas Bjarke Jensen, Nick Battle, Peter Gorm Larsen, Hugo Daniel Macedo	Bidirectional UML Visualisation of VDM Models.	CoRR	2023	DBLP DOI BibTeX RDF
19	Ariel Lapid, Idan Achituve, Lior Bracha, Ethan Fetaya	GD-VDM: Generated Depth for better Diffusion-based Video Generation.	CoRR	2023	DBLP DOI BibTeX RDF
19	Tomohiro Oda, Gaël Dur, Stéphane Ducasse, Hugo Daniel Macedo	Implementation-First Approach of Developing Formal Semantics of a Simulation Language in VDM-SL.	CoRR	2023	DBLP DOI BibTeX RDF
19	Leo Freitas	Topologically sorting VDM-SL definitions for Isabelle/HOL translation.	CoRR	2023	DBLP DOI BibTeX RDF
19	Alexander Sulaiman, Ken Pierce	Modelling Maritime SAR Effective Sweep Widths for Helicopters in VDM.	CoRR	2023	DBLP DOI BibTeX RDF
19	Leo Freitas, Peter Gorm Larsen	VDM recursive functions in Isabelle/HOL.	CoRR	2023	DBLP DOI BibTeX RDF
19	Leo Freitas, Aaron John Buhagiar	Specification-based CSV Support in VDM.	CoRR	2023	DBLP DOI BibTeX RDF
19	Morten Haahr Kristensen, Peter Gorm Larsen	Modelling Chess in VDM++.	CoRR	2023	DBLP DOI BibTeX RDF
19	Leo Freitas	International System of Quantities library in VDM.	CoRR	2023	DBLP DOI BibTeX RDF
19	Ryota Kaji, Keiji Yanai	VQ-VDM: Video Diffusion Models with 3D VQGAN.	MMAsia	2023	DBLP DOI BibTeX RDF
19	Xu Lyu, Baiqing Hu, Zheng Wang 0058, Duanyang Gao, Kailong Li, Lubin Chang	A SINS/GNSS/VDM Integrated Navigation Fault-Tolerant Mechanism Based on Adaptive Information Sharing Factor.	IEEE Trans. Instrum. Meas.	2022	DBLP DOI BibTeX RDF
19	Jiayi Tian, Jing Zhang 0017, Wen Li 0001, Dong Xu 0001	VDM-DA: Virtual Domain Modeling for Source Data-Free Domain Adaptation.	IEEE Trans. Circuits Syst. Video Technol.	2022	DBLP DOI BibTeX RDF
19	Sidra Iqbal, Tariq Ali, Nazir Ahmad Zafar, Tahira Batool	Verification and Validation of a VANET-based Formal Model for Online Taxi Service using VDM-SL Toolbox.	FIT	2022	DBLP DOI BibTeX RDF
19	Jiayi Tian, Jing Zhang 0017, Wen Li 0001, Dong Xu 0001	VDM-DA: Virtual Domain Modeling for Source Data-free Domain Adaptation.	CoRR	2021	DBLP BibTeX RDF
19	Ke Zhou, Jieren Cheng, Hui Li, Yuming Yuan, Le Liu, Xiulai Li	SC-VDM: A Lightweight Smart Contract Vulnerability Detection Model.	DMBD (1)	2021	DBLP DOI BibTeX RDF
19	Michael J. Butler, Alexander Raschke	Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018).	Sci. Comput. Program.	2020	DBLP DOI BibTeX RDF
19	Tetsuro Katayama, Yasuhiro Shigyo, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki	Proposal of an Algorithm to Generate VDM++ Specification Based on its Grammar by Using Word Lists Extracted from the Natural Language Specification.	J. Robotics Netw. Artif. Life	2020	DBLP DOI BibTeX RDF
19	Yasuhiro Shigyo, Tetsuro Katayama	Proposal of an Approach to Generate VDM++ Specifications from Natural Language Specification by Machine Learning.	GCCE	2020	DBLP DOI BibTeX RDF
19	Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy	Code generation for distributed embedded systems with VDM-RT.	Des. Autom. Embed. Syst.	2019	DBLP DOI BibTeX RDF
19	Shady Zahran, Adel Moussa, Naser El-Sheimy	Enhanced Drone Navigation in GNSS Denied Environment Using VDM and Hall Effect Sensor.	ISPRS Int. J. Geo Inf.	2019	DBLP DOI BibTeX RDF
19	Tetsuro Katayama, Futa Hirakoba, Yoshihiro Kita, Hisaaki Yamaba, Kentaro Aburada, Naonobu Okazaki	Application of Pairwise Testing into BWDM which is a Test Case Generation Tool for the VDM++ Specification.	J. Robotics Netw. Artif. Life	2019	DBLP DOI BibTeX RDF
19	Nick Battle, Casper Thule, Cláudio Gomes 0001, Hugo Daniel Macedo, Peter Gorm Larsen	Towards a Static Check of FMUs in VDM-SL.	FM Workshops (2)	2019	DBLP DOI BibTeX RDF
19	Peter W. V. Tran-Jørgensen, Peter Gorm Larsen, Gary T. Leavens	Automated translation of VDM to JML-annotated Java.	Int. J. Softw. Tools Technol. Transf.	2018	DBLP DOI BibTeX RDF
19	Mehran Khaghani, Jan Skaloud	Assessment of VDM-based autonomous navigation of a UAV under operational conditions.	Robotics Auton. Syst.	2018	DBLP DOI BibTeX RDF
19	Michael J. Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.)	Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings	ABZ	2018	DBLP DOI BibTeX RDF
19	Leo Freitas	VDM at Large: Modelling the EMV® 2^nd 2 nd Generation Kernel.	SBMF	2018	DBLP DOI BibTeX RDF
19	HyunChul Joh	Quantitative security analysis of network OSes by fitting VDM and examining CVSS.	ICOIN	2018	DBLP DOI BibTeX RDF
19	Jean-Raymond Abrial	The ABZ-2018 Case Study with Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
19	Jure Kukovec, Thanh-Hai Tran 0002, Igor Konnov 0001	Extracting Symbolic Transitions from TLA+ Specifications.	ABZ	2018	DBLP DOI BibTeX RDF
19	Wen Su, Jinxin Chen, Shehroz Khan 0002	Insulin Pump: Modular Modeling of Hybrid Systems Using Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
19	Dana Dghaym, Michael Poppleton, Colin F. Snook	Diagram-Led Formal Modelling Using iUML-B for Hybrid ERTMS Level 3.	ABZ	2018	DBLP DOI BibTeX RDF
19	Julien Brunel, David Chemouil, Alcino Cunha, Thomas Hujsa, Nuno Macedo, Jeanne Tawa	Proposition of an Action Layer for Electrum.	ABZ	2018	DBLP DOI BibTeX RDF
19	Yamine Aït Ameur, Idir Aït-Sadoune, P. Casteran, J. Paul Gibson, Kahina Hacid, Souad Kherroubi, Dominique Méry, Linda Mohand-Oussaïd, Neeraj Kumar Singh 0001, Laurent Voisin	On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
19	Klaus-Dieter Schewe, Loredana Tec, Qing Wang 0002	Capturing Membrane Computing by ASMs.	ABZ	2018	DBLP DOI BibTeX RDF
19	Christoph Beierle, Klaus-Dieter Schewe	Abstract State Machines with Exact Real Arithmetic.	ABZ	2018	DBLP DOI BibTeX RDF
19	Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres	Systematic Refinement of Abstract State Machines with Higher-Order Logic.	ABZ	2018	DBLP DOI BibTeX RDF
19	Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier	Event-B Expression and Verification of Translation Rules Between SysML/KAOS Domain Models and B System Specifications.	ABZ	2018	DBLP DOI BibTeX RDF
19	Kaiyuan Wang, Allison Sullivan, Manos Koukoutos, Darko Marinov, Sarfraz Khurshid	Systematic Generation of Non-equivalent Expressions for Relational Algebra.	ABZ	2018	DBLP DOI BibTeX RDF
19	John W. Baugh Jr., Tristan Dyer	State-Based Formal Methods in Scientific Computation.	ABZ	2018	DBLP DOI BibTeX RDF
19	Philipp Paulweber, Emmanuel Pescosta, Uwe Zdun	CASM-IR: Uniform ASM-Based Intermediate Representation for Model Specification, Execution, and Transformation.	ABZ	2018	DBLP DOI BibTeX RDF
19	Markus Leitz, Alexander Raschke	Formal Specification of the Semantics of Control State Diagrams.	ABZ	2018	DBLP DOI BibTeX RDF
19	Mohammadsadegh Dalvandi, Michael J. Butler, Abdolbaghi Rezazadeh, Asieh Salehi Fathabadi	Verifiable Code Generation from Scheduled Event-B Models.	ABZ	2018	DBLP DOI BibTeX RDF
19	Janet Barnes, Jonathan Hammond, Angela Wallenburg, Thomas Wilson	ABZ Languages and Tools in Industrial-Scale Application.	ABZ	2018	DBLP DOI BibTeX RDF
19	Farah Al-Shareefi, Alexei Lisitsa 0001, Clare Dixon	Clarification of Ambiguity for the Simple Authentication and Security Layer.	ABZ	2018	DBLP DOI BibTeX RDF
19	Paolo Arcaini, Pavel Jezek, Jan Kofron	Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin.	ABZ	2018	DBLP DOI BibTeX RDF
19	Dominik Hansen, Michael Leuschel, David Schneider 0001, Sebastian Krings, Philipp Körner, Thomas Naulin, Nader Nayeri, Frank Skowron	Using a Formal B Model at Runtime in a Demonstration of the ETCS Hybrid Level 3 Concept with Real Trains.	ABZ	2018	DBLP DOI BibTeX RDF
19	Inna Vistbakka, Mikhail Barash, Elena Troubitsyna	Towards Creating a DSL Facilitating Modelling of Dynamic Access Control in Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
19	Frédéric Badeau, Vincent Lacroix, Vincent Monfort, Laurent Voisin, Christophe Métayer	Modelling Dynamic Data Structures with the B Method.	ABZ	2018	DBLP DOI BibTeX RDF
19	Alcino Cunha, Nuno Macedo	Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum.	ABZ	2018	DBLP DOI BibTeX RDF
19	Thai Son Hoang, Michael J. Butler, Klaus Reichl	The Hybrid ERTMS/ETCS Level 3 Case Study.	ABZ	2018	DBLP DOI BibTeX RDF
19	Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor	AsmetaA: Animator for Abstract State Machines.	ABZ	2018	DBLP DOI BibTeX RDF
19	Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang 0002	Distributed Adaptive Systems - Theory, Specification, Reasoning.	ABZ	2018	DBLP DOI BibTeX RDF
19	Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh 0001	Proof-Based Approach to Hybrid Systems Development: Dynamic Logic and Event-B.	ABZ	2018	DBLP DOI BibTeX RDF
19	Richard Banach	Issues in Automated Urban Train Control: 'Tackling' the Rugby Club Problem.	ABZ	2018	DBLP DOI BibTeX RDF
19	Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea	Refinement of Timing Constraints for Concurrent Tasks with Scheduling.	ABZ	2018	DBLP DOI BibTeX RDF
19	Kaiyuan Wang, Allison Sullivan, Darko Marinov, Sarfraz Khurshid	Solver-Based Sketching of Alloy Models Using Test Valuations.	ABZ	2018	DBLP DOI BibTeX RDF
19	Amel Mammar, Marc Frappier, Steve Jeffrey Tueno Fotso, Régine Laleau	An Event-B Model of the Hybrid ERTMS/ETCS Level 3 Standard.	ABZ	2018	DBLP DOI BibTeX RDF
19	Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel	A Translation from Alloy to B.	ABZ	2018	DBLP DOI BibTeX RDF
19	Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard	An Automation-Friendly Set Theory for the B Method.	ABZ	2018	DBLP DOI BibTeX RDF
19	Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar	Modeling the Hybrid ERTMS/ETCS Level 3 Standard Using a Formal Requirements Engineering Approach.	ABZ	2018	DBLP DOI BibTeX RDF
19	Lilian Burdy, David Déharbe	Teaching an Old Dog New Tricks - The Drudges of the Interactive Prover in Atelier B.	ABZ	2018	DBLP DOI BibTeX RDF