Search results for "formalisation"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Anastasia Analyti	Complex quantified formulas in SPARQL 1.1: formalisation, translation, and partial verbalisation.	Int. J. Web Eng. Technol.	2023	DBLP DOI BibTeX RDF
17	Filippo Alberto Edoardo Nuccio Mortarino Majno di Capriglio	Corps de classes, formes modulaires, et formalisation.		2023	RDF
17	Shekoufeh Kolahdouz Rahimi, Kevin Lano, Chenghua Lin	Requirement Formalisation Using Natural Language Processing and Machine Learning: A Systematic Review.	MODELSWARD	2023	DBLP DOI BibTeX RDF
17	Ana Petrovska, Thomas Hutzelmann, Stefan Kugele	A Theoretical Framework for Self-Adaptive Systems: Specifications, Formalisation, and Architectural Implications.	SAC	2023	DBLP DOI BibTeX RDF
17	Céline Fourtout, Patrick Prieur, Alain Berger, Jean-Pierre Cotton, Aline Belloni, Daniel Marx 0002	EPIONE : Retour d'expérience de formalisation de processus métier par l'ingénierie de la connaissance.	EGC	2023	DBLP 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.	ECBS	2023	DBLP DOI BibTeX RDF
17	Thierry Lecomte	Teaching and Training in Formalisation with B.	FMTea	2023	DBLP DOI BibTeX RDF
17	Andrzej Indrzejczak, Yaroslav I. Petrukhin	A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus.	CADE	2023	DBLP DOI BibTeX RDF
17	Angeliki Koutsoukou-Argyraki	Formalisation of Additive Combinatorics in Isabelle/HOL (Invited Talk).	ITP	2023	DBLP DOI BibTeX RDF
17	Oliver Nash	A Formalisation of Gallagher's Ergodic Theorem.	ITP	2023	DBLP DOI BibTeX RDF
17	Angeliki Koutsoukou-Argyraki, Mantas Baksys, Chelsea Edmonds	A Formalisation of the Balog-Szemerédi-Gowers Theorem in Isabelle/HOL.	CPP	2023	DBLP DOI BibTeX RDF
17	Richard Banach, John W. Baugh Jr.	Formalisation, Abstraction and Refinement of Bond Graphs.	ICGT	2023	DBLP DOI BibTeX RDF
17	Marco B. Caminati	Isabelle Formalisation of Original Representation Theorems.	CICM	2023	DBLP DOI BibTeX RDF
17	Vincent Langenfeld	Formalisation and analysis of system requirements.		2023	RDF
17	Agustín Borgna	Towards a formal compilation stack-frame in quantum computing. (Vers une formalisation d'une chaîne de compilation pour un ordinateur quantique).		2023	RDF
17	Vitalina Babenko, Olena Dmitrieva, Vyachslav Bratkevich, Yevhen Hrabovskyi, Oleksandr Al'boschiy	Development of methods formalisation subject technology design of multimedia edition.	Int. J. Embed. Syst.	2022	DBLP DOI BibTeX RDF
17	Henry Prakken, Rosa Ratsma	A top-level model of case-based argumentation for explanation: Formalisation and experiments.	Argument Comput.	2022	DBLP DOI BibTeX RDF
17	Laurent Théry	A Formalisation of a Fast Fourier Transform.	CoRR	2022	DBLP DOI BibTeX RDF
17	Ayush Agrawal, Siddhartha Gadgil, Navin Goyal, Ashvni Narayanan, Anand Tadipatri	Towards a Mathematics Formalisation Assistant using Large Language Models.	CoRR	2022	DBLP DOI BibTeX RDF
17	Laurent Théry	A Formalisation of Algorithms for Sorting Network.	CoRR	2022	DBLP DOI BibTeX RDF
17	Lawrence C. Paulson	Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis.	CoRR	2022	DBLP DOI BibTeX RDF
17	Hans Nikolaus Beck, Nayel Fabian Salem, Veronica Haber, Matthias Rauschenbach, Jan Reich	Phenomenon-Signal Model: Formalisation, Graph and Application.	CoRR	2022	DBLP DOI BibTeX RDF
17	Zilin Chen	A Hoare logic style refinement types formalisation.	TyDe@ICFP	2022	DBLP DOI BibTeX RDF
17	Lawrence C. Paulson	Wetzel: Formalisation of an Undecidable Problem Linked to the Continuum Hypothesis.	CICM	2022	DBLP DOI BibTeX RDF
17	Dara Ly	Formalisation d'un vérificateur dynamique de propriétés mémoire pour programmes C. (Formalization of a Runtime Assertion Checker for Memory Properties of C Programs).		2022	RDF
17	Bereket Abera Yilma, Hervé Panetto, Yannick Naudet	Systemic formalisation of Cyber-Physical-Social System (CPSS): A systematic literature review.	Comput. Ind.	2021	DBLP DOI BibTeX RDF
17	Willem Hagemann	Towards a Formalisation of Justification and Justifiability.	FMAS	2021	DBLP DOI BibTeX RDF
17	Catholijn M. Jonker, Jan Treur	From Organisational Structure to Organisational Behaviour Formalisation.	CoRR	2021	DBLP BibTeX RDF
17	Darius Afchar, Romain Hennequin, Vincent Guigue	Towards Rigorous Interpretations: a Formalisation of Feature Attribution.	CoRR	2021	DBLP BibTeX RDF
17	Chiara Ghidini, Marco Rospocher, Luciano Serafini	A formalisation of BPMN in Description Logics.	CoRR	2021	DBLP BibTeX RDF
17	Etienne Tignon	Formalisation of Action with Durations in Answer Set Programming.	ICLP Technical Communications	2021	DBLP DOI BibTeX RDF
17	Alexander Steen, David Fuenmayor	A Formalisation of Abstract Argumentation in Higher-Order Logic.	CoRR	2021	DBLP BibTeX RDF
17	Chelsea Edmonds, Lawrence C. Paulson	A Modular First Formalisation of Combinatorial Design Theory.	CoRR	2021	DBLP BibTeX RDF
17	Bereket Abera Yilma, Hervé Panetto, Yannick Naudet	Systemic formalisation of Cyber-Physical-Social System (CPSS): A systematic literature review.	CoRR	2021	DBLP BibTeX RDF
17	Zhé Hóu, David Sanán, Alwen Tiu, Yang Liu 0003, Koh Chuen Hoa, Jin Song Dong	An Isabelle/HOL Formalisation of the SPARC Instruction Set Architecture and the TSO Memory Model.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
17	Mohammed Walid Krakallah, Safia Nait Bahloul	Formalisation of access control based on observers automata.	Int. J. Syst. Syst. Eng.	2021	DBLP DOI BibTeX RDF
17	Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek 0001, John Grundy 0001, Amani S. Ibrahim	RCM: Requirement Capturing Model for Automated Requirements Formalisation.	MODELSWARD	2021	DBLP DOI BibTeX RDF
17	Witold Klaudel, Artur Rataj	Towards a Formalisation of Expert's Knowledge for an Automatic Construction of a Vulnerability Model of a Cyberphysical System.	ICISSP	2021	DBLP DOI BibTeX RDF
17	Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek 0001, John C. Grundy, Amani S. Ibrahim	ARF: Automatic Requirements Formalisation Tool.	RE	2021	DBLP DOI BibTeX RDF
17	Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek 0001, John C. Grundy, Amani S. Ibrahim	Enhancing NL Requirements Formalisation Using a Quality Checking Model.	RE	2021	DBLP DOI BibTeX RDF
17	Felipe Vargas-Rojas	Ontological Formalisation of Mathematical Equations for Phenomic Data Exploitation.	ESWC (Satellite Events)	2021	DBLP DOI BibTeX RDF
17	Thibaut Benjamin	Formalisation of Dependent Type Theory: The Example of CaTT.	TYPES	2021	DBLP DOI BibTeX RDF
17	Victor Charpenay	Formalisation du concept d'affordance dans l'ontologie Thing Description.	IC	2021	DBLP BibTeX RDF
17	Olena Saint-Joanis, Max Silberztein	Formalisation de la relation entre les verbes imperfectifs et perfectifs en ukrainien (In the Slavic linguistic tradition, perfective and imperfective forms of verbs are traditionally entered independently in dictionaries).	TALN (1)	2021	DBLP BibTeX RDF
17	Kevin Lano, Sobhan Yassipour Tehrani, Muhammad Aminu Umar	Automated Requirements Formalisation for Agile MDE.	MoDELS (Companion)	2021	DBLP DOI BibTeX RDF
17	Elliot Catt, Michael Norrish	On the formalisation of Kolmogorov complexity.	CPP	2021	DBLP DOI BibTeX RDF
17	Mark Bouwman, Bas Luttik, Djurre van der Wal	A Formalisation of SysML State Machines in mCRL2.	FORTE	2021	DBLP DOI BibTeX RDF
17	Bjarke Hilmer Møller, Jacob Gosch Søndergaard, Kristoffer Skagbæk Jensen, Magnus Winkel Pedersen, Tobias Worm Bøgedal, Anton Christensen, Danny Bøgsted Poulsen, Kim Guldstrand Larsen, René Rydhof Hansen, Thomas Rosted Jensen, Heino Juvoll Madsen, Henrik Uhrenfeldt	Preliminary Security Analysis, Formalisation, and Verification of OpenTitan Secure Boot Code.	NordSec	2021	DBLP DOI BibTeX RDF
17	Matt Selway, Markus Stumptner, Wolfgang Mayer	Towards Formalisation of Concept Descriptions and Constraints.	FOIS	2021	DBLP DOI BibTeX RDF
17	Dillon Ze Chen, Pascal Bercher	Fully Observable Nondeterministic HTN Planning - Formalisation and Complexity Results.	ICAPS	2021	DBLP BibTeX RDF
17	Darius Afchar, Vincent Guigue, Romain Hennequin	Towards Rigorous Interpretations: a Formalisation of Feature Attribution.	ICML	2021	DBLP BibTeX RDF
17	Chelsea Edmonds, Lawrence C. Paulson	A Modular First Formalisation of Combinatorial Design Theory.	CICM	2021	DBLP DOI BibTeX RDF
17	Diane Gallois-Wong	Formalisation en Coq des algorithmes de filtre numérique calculés en précision finie. (Coq formalization of digital filter algorithms computed using finite precision arithmetic).		2021	RDF
17	Konstantinos Mokos, Panagiotis Katsaros	A survey on the formalisation of system requirements and their validation.	Array	2020	DBLP DOI BibTeX RDF
17	Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek 0001, John Grundy 0001, Amani S. Ibrahim	RCM: Requirement Capturing Model for Automated Requirements Formalisation.	CoRR	2020	DBLP BibTeX RDF
17	Péter Bereczky, Dániel Horpácsi, Simon J. Thompson	A Proof Assistant Based Formalisation of Core Erlang.	CoRR	2020	DBLP BibTeX RDF
17	Salomon Sickert	An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation.	Arch. Formal Proofs	2020	DBLP BibTeX RDF
17	Zola Mahlaza, C. Maria Keet	Formalisation and classification of grammar and template-mediated techniques to model and ontology verbalisation.	Int. J. Metadata Semant. Ontologies	2020	DBLP DOI BibTeX RDF
17	Chun Tian 0001, Davide Sangiorgi	Unique solutions of contractions, CCS, and their HOL formalisation.	Inf. Comput.	2020	DBLP DOI BibTeX RDF
17	Mehdi Saqalli	Redonner son poids au social : Formalisation d'une démarche intégrant facteurs socio-anthropologiques et environnementaux dans les approches d'observation et de modélisation des Systèmes Socio-écologiques Ruraux. (Giving back its weight to the society: Formalization of an approach integrating socio-anthropological and environmental factors in the observation and modeling approaches of Rural Socio-Ecological Systems).		2020	RDF
17	Robert Sachtleben	An Executable Mechanised Formalisation of an Adaptive State Counting Algorithm.	ICTSS	2020	DBLP DOI BibTeX RDF
17	Santiago Arranz Olmos, Martín Fernández, Matías Steinberg, Alejandro Gadea, Emmanuel Gunther, Miguel Pagano	A formalisation of LEGv8 in Agda.	SBLP	2020	DBLP DOI BibTeX RDF
17	Paolo Bevilacqua, Marco Frego, Daniele Fontanelli, Luigi Palopoli 0002	A novel formalisation of the Markov-Dubins problem.	ECC	2020	DBLP BibTeX RDF
17	Péter Bereczky, Dániel Horpácsi, Simon J. Thompson	A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang.	TFP	2020	DBLP DOI BibTeX RDF
17	Stefan Heßbrüggen-Walter	What Is Formalisation? And Why Do We Need to Talk About It In DH?.	DH	2020	DBLP BibTeX RDF
17	Manon Froger	Une approche d'accompagnement de la maturation BPM d'une entreprise et de la formalisation de ses processus métiers. (An approach to support the BPM maturation of a company and the formalization of its business processes).		2020	RDF
17	Diarra Djibril	Ingénierie des Connaissances et Formalisation Sémantique des Relations Symboliques. Des Réseaux Sociaux Médiévaux au Web 3.0. (Knowledge engineering and semantic formalism of symbolic relations. From medieval network to web 3.0).		2020	RDF
17	Louise Sarrabezolles	Formalization and Simulation of Bio-Inspired On-chip Dynamic Attractors for Low Power Computer Vision. (Formalisation et simulation des Attracteurs Dynamiques sur composant bio-inspiré pour une vision artificielle à faible consommation énergétique).		2020	RDF
17	Vincent Jaillot	3D, temporal and documented cities : formalization, visualization and navigation. (Villes numériques 3D temporelles et documentées : formalisation, visualisation et navigation).		2020	RDF
17	Isabel Sassoon, Sebastian Zillessen, Jeroen Keppens, Peter McBurney	A formalisation and prototype implementation of argumentation for statistical model selection.	Argument Comput.	2019	DBLP DOI BibTeX RDF
17	Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho, Ana Cristina Rocha Oliveira	A formalisation of nominal α-equivalence with A, C, and AC function symbols.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
17	Zhe Hou, David Sanán, Alwen Tiu, Yang Liu 0003, Jin Song Dong	A formalisation of the SPARC TSO memory model for multi-core machine code.	CoRR	2019	DBLP BibTeX RDF
17	Riccardo De Masellis, Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris	Verification of data-aware workflows via reachability: formalisation and experiments.	CoRR	2019	DBLP BibTeX RDF
17	Robert Sachtleben	Formalisation of an Adaptive State Counting Algorithm.	Arch. Formal Proofs	2019	DBLP BibTeX RDF
17	Mohammad Abdulaziz, Lawrence C. Paulson	An Isabelle/HOL Formalisation of Green's Theorem.	J. Autom. Reason.	2019	DBLP DOI BibTeX RDF
17	Nelson S. Rosa, Glaucia Melissa Medeiros Campos, David Junio Mota Cavalcanti	Lightweight formalisation of adaptive middleware.	J. Syst. Archit.	2019	DBLP DOI BibTeX RDF
17	Anthia Solaki, Fernando R. Velázquez-Quesada	Towards a Logical Formalisation of Theory of Mind: A Study on False Belief Tasks.	LORI	2019	DBLP DOI BibTeX RDF
17	Jan Erik Stellet, Tino Brade, Alexander Poddey, Stefan Jesenski, Wolfgang Branz	Formalisation and algorithmic approach to the automated driving validation problem.	IV	2019	DBLP DOI BibTeX RDF
17	David Butler 0002, David Aspinall 0001, Adrià Gascón	On the Formalisation of Σ-Protocols and Commitment Schemes.	POST	2019	DBLP DOI BibTeX RDF
17	Gleifer Vaz Alves, Louise A. Dennis, Michael Fisher 0001	Formalisation and Implementation of Road Junction Rules on an Autonomous Vehicle Modelled as an Agent.	FM Workshops (1)	2019	DBLP DOI BibTeX RDF
17	Yuxin Deng, Jean-François Monin	Formalisation of Probabilistic Testing Semantics in Coq.	The Art of Modelling Computational Systems	2019	DBLP DOI BibTeX RDF
17	Francesco Sportelli, Enrico Franconi	A Formalisation and a Computational Characterisation of ORM Derivation Rules.	OTM Conferences	2019	DBLP DOI BibTeX RDF
17	Steven Varoumas, Tristan Crolard	WCET of OCaml Bytecode on Microcontrollers: An Automated Method and Its Formalisation.	WCET	2019	DBLP DOI BibTeX RDF
17	Alba Gragera, Alba María García, Fernando Fernández 0001	A Modelling and Formalisation Tool for Use Case Design in Social Autonomous Robotics.	ROBOT (2)	2019	DBLP DOI BibTeX RDF
17	Priscilla Keip, Alain Gutierrez, Marianne Huchard, Florence Le Ber, Samira Sarter, Pierre Silvie, Pierre Martin 0001	Effects of Input Data Formalisation in Relational Concept Analysis for a Data Model with a Ternary Relation.	ICFCA	2019	DBLP DOI BibTeX RDF
17	Olivier Hotel, Frédéric Pourraz, Hervé Verjus	Conception et formalisation d'un système de recommandation adaptatif basé sur l'utilisation d'avatars.	INFORSID	2019	DBLP BibTeX RDF
17	Khaled Khebbeb	Formalisation et Évaluation de Stratégies d'Élasticité Multi-couches dans le Cloud. (Formalizing and Evaluating Cross-Layer Elasticity Strategies in the Cloud).		2019	RDF
17	Behrang Moradi	Contribution à la formalisation et à l'évaluation de propriétés non-fonctionnelles pour l'ingénierie de système complexe : application à la résilience. (Contribution to the formalization and evaluation of non-functional requirements for complex system engineering : application to resilience).		2019	RDF
17	Vincent Bonnemains	Formal ethical reasoning and dilemma identification in a human-artificial agent system. (Formalisation du raisonnement éthique et de l'identification de dilemmes dans un système humain - agent artificiel).		2019	RDF
17	Bruno Albert	Maîtrise de la qualité haptique des produits: Formalisation du contrôle haptique et proposition d'une méthodologie de mise en oeuvre. (Mastering the haptic quality of products / Mastering the haptic quality of products: Formalizing haptic quality control and proposing an implementation methodology).		2019	RDF
17	Ophélie Guinaudeau	Neurone abstrait : une formalisation de l'intégration dendritique et ses propriétés algébriques. (Abstract neuron : formalizing dendritic integration and algebraic properties).		2019	RDF
17	Mauricio Ayala-Rincón, Washington de Carvalho Segundo, Maribel Fernández, Daniele Nantes-Sobrinho	A Formalisation of Nominal C-Matching through Unification with Protected Variables.	LSFA	2018	DBLP DOI BibTeX RDF
17	Wim Laurier, Jesper Kiehn, Simon Polovina	REA2: A unified formalisation of the Resource-Event-Agent ontology.	Appl. Ontology	2018	DBLP DOI BibTeX RDF
17	Thomas Winant, Dominique Devriese	Coherent Explicit Dictionary Application for Haskell: Formalisation and Coherence Proof.	CoRR	2018	DBLP BibTeX RDF
17	François Bry	In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming.	CoRR	2018	DBLP BibTeX RDF
17	Ernesto Copello, Nora Szasz, Álvaro Tasistro	Formalisation in Constructive Type Theory of Barendregt's Variable Convention for Generic Structures with Binders.	LFMTP@FSCD	2018	DBLP DOI BibTeX RDF
17	Vivian Dos Santos Silva, Manuela Hürlimann, Brian Davis 0001, Siegfried Handschuh, André Freitas	Semantic Relation Classification: Task Formalisation and Refinement.	CoRR	2018	DBLP BibTeX RDF
17	Danil Annenkov	Adventures in Formalisation: Financial Contracts, Modules, and Two-Level Type Theory.	CoRR	2018	DBLP BibTeX RDF
17	Aleksy Schubert, Jacek Chrzaszcz	Formalisation of a frame stack semantics for a Java-like language.	CoRR	2018	DBLP BibTeX RDF
17	Chun Tian 0001, Davide Sangiorgi	Unique Solutions of Contractions, CCS, and their HOL Formalisation.	EXPRESS/SOS	2018	DBLP DOI BibTeX RDF