Search results for "formalisation"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Nuno Amálio, Fiona Polack	Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z.	ZB	2003	DBLP DOI BibTeX RDF	formalisation, UML, specification, Z, Object-Z
65	Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens	Two Approaches towards the Formalisation of VDM.	VDM Europe	1990	DBLP DOI BibTeX RDF	formalisation of VDM, automated support of formal methods, theorem provers
49	Carlos Gonzalía	Towards a Formalisation of Relational Database Theory in Constructive Type Theory.	RelMiCS	2003	DBLP DOI BibTeX RDF
49	Milad Niqui, Yves Bertot	QArith: Coq Formalisation of Lazy Rational Arithmetic.	TYPES	2003	DBLP DOI BibTeX RDF
49	Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen, Christoph Duelli	Experiences in the Formalisation and Verification of Medical Protocols.	AIME	2003	DBLP DOI BibTeX RDF
49	Yamina Sami, Guy Vidal-Naquet	Formalisation of the Behavior of Actors by Colored Petri Nets and Some Applications.	PARLE (2)	1991	DBLP DOI BibTeX RDF	static systems, dynamic systems, parallel languages, actors, colored Petri nets
43	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the Meta-logic of Arguments.	ArgMAS	2005	DBLP DOI BibTeX RDF
43	Michael J. Wooldridge, Peter McBurney, Simon Parsons	On the meta-logic of arguments.	AAMAS	2005	DBLP DOI BibTeX RDF	meta-level reasoning, multi-agent systems, knowledge representation, argumentation
39	Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter	A Diagrammatic Formalisation of MOF-Based Modelling Languages.	TOOLS (47)	2009	DBLP DOI BibTeX RDF	Meta-Object Facility, Eclipse Modeling Framework, Diagram Predicate Framework, diagrammatic specification, Unified Modeling Language, Model-Driven Engineering, Object Constraint Language
39	Miroslav Manik, Elena Gramatová	Boolean Formalisation of the PMC Model for Faulty Units Diagnosis in Regular Multi-Processor Systems.	DDECS	2008	DBLP DOI BibTeX RDF
39	Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda	A Petri-Net Based Formalisation of Interaction Protocols Applied to Business Process Integration.	CIAO! / EOMAS	2008	DBLP DOI BibTeX RDF	Multi-agent Systems, Coloured Petri Nets, Interaction Protocols, Business Processes Integration
39	Eduard Muntaner-Perich, Josep Lluís de la Rosa	Towards a Formalisation of Dynamic Electronic Institutions.	COIN	2007	DBLP DOI BibTeX RDF	Open Agent Systems, Coalition Formation, Electronic Institutions
39	Nils Anders Danielsson	A Formalisation of a Dependently Typed Language as an Inductive-Recursive Family.	TYPES	2006	DBLP DOI BibTeX RDF
39	Santiago Zanella Béguelin	Formalisation and Verification of the GlobalPlatform Card Specification Using the B Method.	CASSIS	2005	DBLP DOI BibTeX RDF
39	José Luis Garrido, Miguel Gea	A Coloured Petri Net Formalisation for a UML-Based Notation Applied to Cooperative System Modelling.	DSV-IS	2002	DBLP DOI BibTeX RDF
39	Simon J. Gay	A Framework for the Formalisation of Pi Calculus Type Systems in Isabelle/HOL.	TPHOLs	2001	DBLP DOI BibTeX RDF	semantics, Types, pi calculus, automatic theorem proving
37	Paolo Bottoni, Maria Francesca Costabile, Stefano Levialdi, Piero Mussio	Formalising Visual Languages.	VL	1995	DBLP DOI BibTeX RDF	visual language formalisation, visual human-computer communication, full screen image management, icon interpretation handling, diverse tasks, computational meaning, visual sentence, interpreted image, user-computer dialogue, ambiguity control, pattern recognition, pattern recognition, graphical user interfaces, computer graphics, visual languages, visual language, users, multiple representations, image generation, computer displays, computer display, visual reasoning
34	Zeinab Nehaï	Formalisation et vérification des systèmes blockchain. (Formalisation and verification of blockchain systems).		2022	RDF
34	Mario Lezoche	Formalisation models and knowledge extraction: Application to heterogeneous data sources in the context of the Industry of the Future. (Modèles de formalisation et extraction de connaissance : Application aux sources de données hétérogènes dans le contexte de l'Industrie du futur).		2021	RDF
34	Concetta Semeraro	Contribution to the formalisation of data-driven invariant modelling constructs of Cyber-Physical Systems. (Contribution à la formalisation d'invariants de modélisation de systèmes cyber-physiques, dirigés par les données).		2020	RDF
34	Damien Rouhling	Formalisation Tools for Classical Analysis - A Case Study in Control Theory. (Outils pour la Formalisation en Analyse Classique - Une Étude de Cas en Théorie du Contrôle).		2019	RDF
34	Slimane Oulad-Naoui	Fouille de motifs : formalisation et unification. (Pattern Mining: Formalisation and Unification).		2018	RDF
34	Eloi de Chérisey	Towards a better formalisation of the side-channel threat. (Vers une meilleure formalisation des attaques par canaux cachés).		2018	RDF
34	Florent Chevrou	Formalisation of asynchronous interactions. (Formalisation des interactions asynchrones).		2017	RDF
34	Victor Allombert	Functional abstraction for programming multi-level architectures : formalisation and implementation. (Abstraction fonctionnelle pour la programmation d'architecture multi-niveaux : formalisation et implantation).		2017	RDF
34	Oleksandra Kulankhina	A framework for rigorous development of distributed components: formalisation and tools. (Un environnement pour le développement rigoureux de composants répartis: formalisation et outils logiciels).		2016	RDF
34	Nicolas Ferry 0002	Formalisation des modèles de la méthode MACAO et réalisation d'un outil de génie logiciel pour la création d'interfaces homme-machine. (MACAO HCI Models formalisation and Software platform for the conception of human computer interfaces).		2008	RDF
34	Julien Narboux	Formalisation et automatisation du raisonnement géométrique en Coq. (Formalisation and automation of geometric reasoning within Coq).		2006	RDF
34	Gautier Meyer	Formalisation logique de préférences qualitatives pour la sélection de la réaction d'un agent rationnel dialoguant. (Logical formalisation of qualitative preferences for the reaction selection of a dialogic rational agent).		2006	RDF
34	Alexandre Muller	Contribution à la maintenance prévisionnelle des systèmes de production par la formalisation d'un processus de pronostic. (Contribution to the proactive maintenance of manufacturing system: formalisation of the prognosis process).		2005	RDF
34	Soraya Arias	Formalisation et intégration en vision par ordinateur temps réel. (Formalisation and Integration for Real Time Computer Vision).		1999	RDF
34	Mohand Lyazid Benkhellat	Formalisation et vérification de l'interopérabilité dans les systèmes de communication. (Formalisation and verification of interoperability in communication systems).		1995	RDF
32	Evelyne Contejean, Andrey Paskevich, Xavier Urbain, Pierre Courtieu, Olivier Pons, Julien Forest	A3PAT, an approach for certified automated termination proofs.	PEPM	2010	DBLP DOI BibTeX RDF	termination, term rewriting, automated reasoning, formal proof
32	Bo Hu, Bin Hu	On Capturing Semantics in Ontology Mapping.	World Wide Web	2008	DBLP DOI BibTeX RDF	semantics web, interoperability, ontology mapping
32	Uta Priss	An FCA Interpretation of Relation Algebra.	ICFCA	2006	DBLP DOI BibTeX RDF
32	Ana Bove, Thierry Coquand	Formalising Bitonic Sort in Type Theory.	TYPES	2004	DBLP DOI BibTeX RDF
32	Mar Marcos, Michael Balser, Annette ten Teije, Frank van Harmelen	From Informal Knowledge to Formal Logic: A Realistic Case Study in Medical Protocols.	EKAW	2002	DBLP DOI BibTeX RDF
32	Ralf Reetz, Thomas Kropf	Simplifying Deep Embedding: A Formalised Code Generator.	TPHOLs	1994	DBLP DOI BibTeX RDF
28	Umberto Grandi, Ulle Endriss	First-Order Logic Formalisation of Arrow's Theorem.	LORI	2009	DBLP DOI BibTeX RDF
28	Thomas Tuerk	A Formalisation of Smallfoot in HOL.	TPHOLs	2009	DBLP DOI BibTeX RDF
28	Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter	A Category-Theoretical Approach to the Formalisation of Version Control in MDE.	FASE	2009	DBLP DOI BibTeX RDF
28	Eric Filiol	Formalisation and implementation aspects of K -ary (malicious) codes.	J. Comput. Virol.	2007	DBLP DOI BibTeX RDF	Cohen model, k-ary malware, Detection problem, Metamorphism, Code interaction, Polymorphism
28	Georges Gonthier, Assia Mahboubi, Laurence Rideau, Enrico Tassi, Laurent Théry	A Modular Formalisation of Finite Group Theory.	TPHOLs	2007	DBLP DOI BibTeX RDF
28	Helge Janicke, Antonio Cau, Hussein Zedan	A note on the formalisation of UCON.	SACMAT	2007	DBLP DOI BibTeX RDF	access control, formal specification, security policy, usage control
28	Kung-Kiu Lau, Mario Ornaghi, Zheng Wang 0015	A Software Component Model and Its Preliminary Formalisation.	FMCO	2005	DBLP DOI BibTeX RDF
28	Mathieu Jaume, Charles Morisset	Formalisation and implementation of Access control models.	ITCC (1)	2005	DBLP DOI BibTeX RDF
28	Bart Jacobs 0001	A Formalisation of Java's Exception Mechanism.	ESOP	2001	DBLP DOI BibTeX RDF
28	Margarita V. Korovina, Oleg V. Kudinov	Formalisation of Computability of Operators and Real-Valued Functionals via Domain Theory.	CCA	2000	DBLP DOI BibTeX RDF
28	Juan Jesús Torres Carbonell, José Parets-Llorca	A Formalisation of the Evolution of Software Systems.	EUROCAST	1999	DBLP DOI BibTeX RDF
28	Pierre Chartier	Formalisation of B in Isabelle/HOL.	B	1998	DBLP DOI BibTeX RDF
28	Daniel Hirschkoff	A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions.	TPHOLs	1997	DBLP DOI BibTeX RDF
26	Jantien E. Stoter, Javier M. Morales, Rob L. G. Lemmens, B. M. Meijers, Peter J. M. van Oosterom, Wilko Quak, Harry Uitermark, Linda van den Brink	A Data Model for Multi-scale Topographical Data.	SDH	2008	DBLP DOI BibTeX RDF	knowledge formalisation, generalisation, multi-scale, spatial data modelling
26	Robin Adams 0001, Zhaohui Luo	Weyl's Predicative Classical Mathematics as a Logic-Enriched Type Theory.	TYPES	2006	DBLP DOI BibTeX RDF	logic-enriched type theory, predicativism, formalisation
26	Philip Derrin, Kevin Elphinstone, Gerwin Klein, David A. Cock, Manuel M. T. Chakravarty	Running the manual: an approach to high-assurance microkernel development.	Haskell	2006	DBLP DOI BibTeX RDF	formalisation, verification, operating systems, rapid prototyping, Haskell, monads, executable specification, Isabelle/HOL
26	Pierre Flener, Kung-Kiu Lau, Mario Ornaghi	Correct-Schema-Guided Synthesis of Steadfast Programs.	ASE	1997	DBLP DOI BibTeX RDF	steadfast programs, semi-automated software development, schema correctness, structured program design principles, hierarchical program synthesis, syntactic representation, higher-order expressions, informal knowledge capture, program schema formalisation, open first-order logical theory, open logic program, logic programming, program synthesis, domain knowledge
26	Panagiotis K. Linos	PolyCARE: a tool for re-engineering multi-language program integrations.	ICECCS	1995	DBLP DOI BibTeX RDF	multi-language program integration reengineering tool, PolyCARE tool, multiple programming languages, program component formalisation, program component classification, program component relationships, poly-paradigmatic computer-aided re-engineering, dependency detection, dependency visualisation, transformation mechanisms, partitioning techniques, software maintenance, software tools, systems analysis, program comprehension, maintenance, data visualisation, computer aided software engineering, multiprogramming, systems re-engineering, presentation model
22	Linas Laibinis, Elena Troubitsyna, Sari Leppänen	Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems.	Methods, Models and Tools for Fault Tolerance	2009	DBLP DOI BibTeX RDF	fault tolerance, UML, B Method, communicating systems, parallel execution, service-oriented development
22	Jeremy E. Dawson, Alwen Tiu	Formalising Observer Theory for Environment-Sensitive Bisimulation.	TPHOLs	2009	DBLP DOI BibTeX RDF
22	Lynda Hardman, Zeljko Obrenovic, Frank Nack, Brigitte Kerhervé, Kurt W. Piersol	Canonical processes of semantically annotated media production.	Multim. Syst.	2008	DBLP DOI BibTeX RDF
22	Christian Urban	Nominal Techniques in Isabelle/HOL.	J. Autom. Reason.	2008	DBLP DOI BibTeX RDF	Nominal logic work, Lambda-calculus, Theorem provers
22	Henry Prakken	Formalising ordinary legal disputes: a case study.	Artif. Intell. Law	2008	DBLP DOI BibTeX RDF	Legal argument, Legal procedure, Case files, Dialogue games
22	Paul Edward McKechnie, Nathan A. Lindop, Wim Vanderbauwhede	A type system for static typing of a domain-specific language.	FPGA	2008	DBLP DOI BibTeX RDF	static type checking, FPGA, type system
22	Murdoch Gabbay, Aad Mathijssen	A Formal Calculus for Informal Equality with Binding.	WoLLIC	2007	DBLP DOI BibTeX RDF
22	David Aspinall 0001, Jaroslav Sevcík	Formalising Java's Data Race Free Guarantee.	TPHOLs	2007	DBLP DOI BibTeX RDF
22	Max Silberztein	An Alternative Approach to Tagging.	NLDB	2007	DBLP DOI BibTeX RDF	NooJ, Linguistic Development Environment, Robust NLP applications
22	Holger Kampffmeyer, Steffen Zschaler	Finding the Pattern You Need: The Design Pattern Intent Ontology.	MoDELS	2007	DBLP DOI BibTeX RDF
22	Brijesh Dongol	Derivation of Java Monitors.	ASWEC	2006	DBLP DOI BibTeX RDF
22	Omar Batarfi, Lindsay F. Marshall	Defining Criteria for Rating an Entity's Trustworthiness Based on Its Certificate Policy.	ARES	2006	DBLP DOI BibTeX RDF
22	Ruud Stegers, Annette ten Teije, Frank van Harmelen	From Natural Language to Formal Proof Goal.	EKAW	2006	DBLP DOI BibTeX RDF
22	Pedro Cabalar, Paulo E. Santos	Strings and Holes: An Exercise on Spatial Reasoning.	IBERAMIA-SBIA	2006	DBLP DOI BibTeX RDF
22	Andrew M. Pitts	Alpha-Structural Recursion and Induction.	TPHOLs	2005	DBLP DOI BibTeX RDF
22	Renate A. Schmidt, Dmitry Tishkovsky	Multi-Agent Dynamic Logics with Informational Test.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF
22	Peep Küngas, Mihhail Matskin	Partial Deduction for Linear Logic-The Symbolic Negotiation Perspective.	DALT	2004	DBLP DOI BibTeX RDF
22	Giampaolo Bella, Cristiano Longo, Lawrence C. Paulson	Verifying Second-Level Security Protocols.	TPHOLs	2003	DBLP DOI BibTeX RDF
22	Luc Schneider	How to Build a Foundational Ontology: The Object-Centered High-level Reference Ontology OCHRE.	KI	2003	DBLP DOI BibTeX RDF
22	Marije Geldof, Annette ten Teije, Frank van Harmelen, Mar Marcos, Peter Votruba	Informal and Formal Medical Guidelines: Bridging the Gap.	AIME	2003	DBLP DOI BibTeX RDF
22	Sandra Steinbrecher, Stefan Köpsell	Modelling Unlinkability.	Privacy Enhancing Technologies	2003	DBLP DOI BibTeX RDF
22	Laura A. Campbell, Betty H. C. Cheng, William E. McUmber, Kurt Stirewalt	Automatically Detecting and Visualising Errors in UML Diagrams.	Requir. Eng.	2002	DBLP DOI BibTeX RDF	Simulation, Model checking, UML, Formal specifications
22	Sigrid Gürgens, Peter Ochsenschläger, Carsten Rudolph	Authenticity and Provability - A Formal Framework.	InfraSec	2002	DBLP DOI BibTeX RDF
22	Graeme Smith 0001, Florian Kammüller, Thomas Santen	Encoding Object-Z in Isabelle/HOL.	ZB	2002	DBLP DOI BibTeX RDF	reference semantics, Object-Z, higher-order logic, Isabelle
22	Michael Jackson 0001	Formalism and Informality in Software Development.	Soft-Ware	2002	DBLP DOI BibTeX RDF
22	Joachim Biskup, Ralf Menzel	An Abstract Database Machine for Cost Driven Design of Object-Oriented Database Schemas.	ADBIS	2001	DBLP DOI BibTeX RDF
22	Bernd Wondergem, Patrick van Bommel, Theo P. van der Weide	Nesting and Defoliation of Index Expressions for Information Retrieval.	Knowl. Inf. Syst.	2000	DBLP DOI BibTeX RDF	Defoliation, Index Expressions, Information Retrieval, Nesting
22	Qiao Haiyan	Formalising Formulas-as-Types-as-Objects.	TYPES	1999	DBLP DOI BibTeX RDF
22	Tyrone O'Neill, Norman Y. Foo	Reasoning about Continuous Change.	PRICAI	1998	DBLP DOI BibTeX RDF
22	Björn Olsson	A Host-Parasite Genetic Algorithm for Asymmetric Tasks.	ECML	1998	DBLP DOI BibTeX RDF	Genetic Algorithms, Evolutionary Computation, Coevolution
22	Joakim von Wright	Representing Higher-Order Logic Proofs in HOL.	TPHOLs	1994	DBLP DOI BibTeX RDF
22	Jan Kuper	Usability: Formalising (Un)definedness in Typed Lambda Calculus.	CSL	1994	DBLP DOI BibTeX RDF
22	Kesav V. Nori, Sanjeev Kumar, M. Pavan Kumar	Retrospection on the Compiler Structure.	FSTTCS	1987	DBLP DOI BibTeX RDF
17	Adam Z. Wyner, Tomasz Zurek, Dorota Stachura-Zurek	Towards a Formalisation of Value-based Actions and Consequentialist Ethics.	CoRR	2024	DBLP DOI BibTeX RDF
17	Jesse Reimann, Nico Mansion, James Haydon, Benjamin Bray, Agnishom Chattopadhyay, Sota Sato 0001, Masaki Waga, Étienne André, Ichiro Hasuo, Naoki Ueda, Yosuke Yokoyama	Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance.	CoRR	2024	DBLP DOI BibTeX RDF
17	Reynald Affeldt, Alessandro Bruni, Ekaterina Komendantskaya, Natalia Slusarz, Kathrin Stark	Taming Differentiable Logics with Coq Formalisation.	CoRR	2024	DBLP DOI BibTeX RDF
17	Philippe Malbos, Tanguy Massacrier, Georg Struth	Single-set cubical categories and their formalisation with a proof assistant.	CoRR	2024	DBLP DOI BibTeX RDF
17	Shekoufeh Kolahdouz Rahimi, Kevin Lano, Sobhan Yassipour Tehrani, Chenghua Lin, Yiqi Liu, Muhammad Aminu Umar	Comparative Evaluation of NLP Approaches for Requirements Formalisation.	MODELSWARD	2024	DBLP BibTeX RDF
17	Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John Grundy 0001, Amani S. Ibrahim	A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements.	SN Comput. Sci.	2023	DBLP DOI BibTeX RDF
17	Ivan Prokic, Silvia Ghilezan, Simona Kasterovic, Miroslav Popovic, Marko Popovic, Ivan Kastelan	Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP.	CoRR	2023	DBLP DOI BibTeX RDF
17	Marco B. Caminati	Isabelle Formalisation of Original Representation Theorems.	CoRR	2023	DBLP DOI BibTeX RDF
17	Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin	Requirement Formalisation using Natural Language Processing and Machine Learning: A Systematic Review.	CoRR	2023	DBLP DOI BibTeX RDF
17	Oliver Nash	A formalisation of Gallagher's ergodic theorem.	CoRR	2023	DBLP DOI BibTeX RDF
17	Péter Bereczky, Dániel Horpácsi, Simon J. Thompson	A Formalisation of Core Erlang, a Concurrent Actor Language.	CoRR	2023	DBLP DOI BibTeX RDF