Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Valentin Champciaux, Juan Carlos Garcia Hernandez, Mathieu Agelou	A breakdown of the pseudo-deterministic transport variance reduction method: Formalization and usage considerations.	Comput. Phys. Commun.	2021	DBLP DOI BibTeX RDF
13	David Rozas, Steven Huckle	Loosen control without losing control: Formalization and decentralization within commons-based peer production.	J. Assoc. Inf. Sci. Technol.	2021	DBLP DOI BibTeX RDF
13	Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, André Rauber Du Bois	Towards an Extrinsic Formalization of Featherweight Java in Agda.	CLEI Electron. J.	2021	DBLP DOI BibTeX RDF
13	Toufik Messaoud Maarouk, Mohammed El Habib Souidi, Nadia Hoggas	Formalization and Model Checking of BPMN Collaboration Diagrams with DD-LOTOS.	Comput. Informatics	2021	DBLP DOI BibTeX RDF
13	Bastian Tenbergen, Thorsten Weyer	Generation of hazard relation diagrams: formalization and tool support.	Softw. Syst. Model.	2021	DBLP DOI BibTeX RDF
13	Pavel Chuprikov, Alex Davydow, Kirill Kogan, Sergey I. Nikolenko, Alexander Sirotkin 0001	Formalization and taxonomy of compute-aggregate problems for cloud computing applications.	Comput. Networks	2021	DBLP DOI BibTeX RDF
13	Ernesto Copello, Nora Szasz, Álvaro Tasistro	Formalization of metatheory of the Lambda Calculus in constructive type theory using the Barendregt variable convention.	Math. Struct. Comput. Sci.	2021	DBLP DOI BibTeX RDF
13	Alexandr Yu. Yurin, Nikita O. Dorodnykh, Alexey O. Shigarov	Semi-Automated Formalization and Representation of the Engineering Knowledge Extracted From Spreadsheet Data.	IEEE Access	2021	DBLP DOI BibTeX RDF
13	Esin Ergen, Behlul Kula, Gursans Guven, Deniz Artan	Formalization of Occupant Feedback and Integration with BIM in Office Buildings.	J. Comput. Civ. Eng.	2021	DBLP DOI BibTeX RDF
13	Daniel Andreas Deenen, Bardia Sharif, Sebastiaan van den Eijnden, Hendrik Nijmeijer, Maurice Heemels, Marcel Heertjes	Projection-based integrators for improved motion control: Formalization, well-posedness and stability of hybrid integrator-gain systems.	Autom.	2021	DBLP DOI BibTeX RDF
13	Marta Caro-Martínez, Guillermo Jiménez-Díaz, Juan A. Recio-García	Conceptual Modeling of Explainable Recommender Systems: An Ontological Formalization to Guide Their Design and Development.	J. Artif. Intell. Res.	2021	DBLP DOI BibTeX RDF
13	Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero	A Coq Formalization of Lebesgue Integration of Nonnegative Functions.	CoRR	2021	DBLP BibTeX RDF
13	Thibaut Benjamin	Formalization of dependent type theory: The example of CaTT.	CoRR	2021	DBLP BibTeX RDF
13	Jin Xing Lim, Barnabé Monnot, Shaowei Lin, Georgios Piliouras	A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs.	CoRR	2021	DBLP BibTeX RDF
13	Mariam Nour, Mohamed H. Zaki	Towards formalization and monitoring of microscopic traffic parameters using temporal logic.	CoRR	2021	DBLP BibTeX RDF
13	Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio	A formalization of Dedekind domains and class groups of global fields.	CoRR	2021	DBLP BibTeX RDF
13	Eunice Jun, Melissa Birchfield, Nicole de Moura, Jeffrey Heer, René Just	Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications.	CoRR	2021	DBLP BibTeX RDF
13	Vincenzo Daponte, Gilles Falquet	An ontology for the formalization and visualization of scientific knowledge.	CoRR	2021	DBLP BibTeX RDF
13	Muhammad Ahmed, Adnan Rashid	Formalization of Transform Methods in Higher-order Logic: A Survey.	CoRR	2021	DBLP BibTeX RDF
13	Marius Krumm, Markus P. Müller	Computational irreducibility and compatibilism: towards a formalization.	CoRR	2021	DBLP BibTeX RDF
13	Ujala Qasim, Adnan Rashid, Osman Hasan	Formalization of Bond Graph using Higher-order-logic Theorem Proving.	CoRR	2021	DBLP BibTeX RDF
13	Alexandre Obadia, Alejo Salles, Lakshman Sankar, Tarun Chitra, Vaibhav Chellani, Philip Daian	Unity is Strength: A Formalization of Cross-Domain Maximal Extractable Value.	CoRR	2021	DBLP BibTeX RDF
13	Colin Shea-Blymyer, Houssam Abbas	Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.	CoRR	2021	DBLP BibTeX RDF
13	Tobias Nipkow, Simon Roßkopf	Isabelle's Metalogic: Formalization and Proof Checker.	CoRR	2021	DBLP BibTeX RDF
13	Colin Shea-Blymyer, Houssam Abbas	Algorithmic Ethics: Formalization and Verification of Autonomous Vehicle Obligations.	ACM Trans. Cyber Phys. Syst.	2021	DBLP DOI BibTeX RDF
13	Baptiste David, Maxence Delong, Eric Filiol	Detection of crawler traps: formalization and implementation - defeating protection on internet and on the TOR network.	J. Comput. Virol. Hacking Tech.	2021	DBLP DOI BibTeX RDF
13	Ran Li, Huibiao Zhu, Jiaqi Yin	Formalization and Analysis of Ceph Using Process Algebra.	IEICE Trans. Inf. Syst.	2021	DBLP DOI BibTeX RDF
13	Mikhail Krasnyanskiy, Artem Obukhov, Denis Dedov	Formalization of the Burning Process of Virtual Reality Objects in Adaptive Training Complexes.	J. Imaging	2021	DBLP DOI BibTeX RDF
13	Christian Sternagel, René Thiemann, Akihisa Yamada 0002	A Formalization of Weighted Path Orders and Recursive Path Orders.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
13	Matthias Brun 0002, Sára Decova, Andrea Lattuada, Dmitriy Traytel	Formalization of Timely Dataflow's Progress Tracking Protocol.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
13	Tobias Nipkow, Simon Roßkopf	Isabelle's Metalogic: Formalization and Proof Checker.	Arch. Formal Proofs	2021	DBLP BibTeX RDF
13	Dimitra Giannakopoulou, Thomas Pressburger, Anastasia Mavridou, Johann Schumann	Automated formalization of structured natural language requirements.	Inf. Softw. Technol.	2021	DBLP DOI BibTeX RDF
13	Wilfried Sieg, Patrick Walsh	Natural Formalization: Deriving the Cantor-Bernstein Theorem in ZF.	Rev. Symb. Log.	2021	DBLP DOI BibTeX RDF
13	Thaynara Arielly de Lima, André Luiz Galdino, Andréia Borges Avelar, Mauricio Ayala-Rincón	Formalization of Ring Theory in PVS.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
13	Yong Guan, Jingzhi Zhang, Guohui Wang, Ximeng Li 0003, Zhiping Shi 0002, Yongdong Li	Formalization of Euler-Lagrange Equation Set Based on Variational Calculus in HOL Light.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
13	Danijela Simic, Filip Maric, Pierre Boutry	Formalization of the Poincaré Disc Model of Hyperbolic Geometry.	J. Autom. Reason.	2021	DBLP DOI BibTeX RDF
13	Alexander Maletzky	A generic and executable formalization of signature-based Gröbner basis algorithms.	J. Symb. Comput.	2021	DBLP DOI BibTeX RDF
13	Kenji Ohmori	Formalization of Kublai Khan's globalization using Kunii's incrementally modular abstraction hierarchy.	Vis. Comput.	2021	DBLP DOI BibTeX RDF
13	Safia Nait Bahloul, Mohammed Walid Krakallah	Formalization of Access Control Based on Observers Automata.	Int. J. Syst. Syst. Eng.	2021	DBLP DOI BibTeX RDF
13	Hanna Krasowski, Matthias Althoff	Temporal Logic Formalization of Marine Traffic Rules.	IV	2021	DBLP DOI BibTeX RDF
13	Zhiru Hou, Jiaqi Yin, Huibiao Zhu	Formalization and Verification of Dubbo Using CSP.	SEKE	2021	DBLP DOI BibTeX RDF
13	João R. M. Nicola, Giancarlo Guizzardi	On the Role of Automated Proof-Assistants in the Formalization of Upper Ontologies.	JOWO	2021	DBLP BibTeX RDF
13	Yezhi Yuan, Jing Xie, YunYan Huang	The Experience and Enlightenment of Thailand's Chatuchak Weekend Market on the Development of the Formalization of the Chinese Vendor Economy.	ICIBE	2021	DBLP DOI BibTeX RDF
13	Viktoria Koscinski, Celeste Gambardella, Estey Gerstner, Mark Zappavigna, Jennifer Cassetti, Mehdi Mirakhorli	A Natural Language Processing Technique for Formalization of Systems Requirement Specifications.	RE Workshops	2021	DBLP DOI BibTeX RDF
13	Alessandro Fantechi, Stefania Gnesi, Laura Semini	Language and Communication Problems in Formalization: A Natural Language Approach.	Logic, Computation and Rigorous Methods	2021	DBLP DOI BibTeX RDF
13	Robin Gröpler, Viju Sudhi, Emilio José Calleja García, Andre Bergmann	NLP-Based Requirements Formalization for Automatic Test Case Generation.	CS&P	2021	DBLP BibTeX RDF
13	Viju Sudhi, Libin Kutty, Robin Gröpler	Natural Language Processing for Requirements Formalization: How to Derive New Approaches?	CS&P (Revised Selected Papers)	2021	DBLP DOI BibTeX RDF
13	Asta Halkjær From	A Succinct Formalization of the Completeness of First-Order Logic.	TYPES	2021	DBLP DOI BibTeX RDF
13	Honoré Hounwanou, Laila Boumlik, Mohamed Mejri	Toward the Formalization of Business Process Model and Notation.	SoMeT	2021	DBLP DOI BibTeX RDF
13	Esteban Guerrero, Helena Lindgren	Typologies of Persuasive Strategies and Content: A Formalization Using Argumentation.	PAAMS	2021	DBLP DOI BibTeX RDF
13	Esteban Guerrero	Causal Interventions and Argumentation-Based Frameworks: Formalization of "What If" Scenarios.	PAAMS (Workshops)	2021	DBLP DOI BibTeX RDF
13	Tobias Nipkow, Simon Roßkopf	Isabelle's Metalogic: Formalization and Proof Checker.	CADE	2021	DBLP DOI BibTeX RDF
13	Yue Tang, Yang Xu 0001, Peiyao Liu, Guoyan Zeng	Formalization and Verification of Cyclic Group.	ISKE	2021	DBLP DOI BibTeX RDF
13	Jean-Paul Bodeveix, Mamoun Filali	Event-B Formalization of Event-B Contexts.	ABZ	2021	DBLP DOI BibTeX RDF
13	Oleg Mashkov, Taras Ivashchenko, Waldemar Wójcik, Yuriy Bardachov, Viktor Kozel	Method of Mathematical and Geoinformation Models Integration Based On Unification of the Ecological Data Formalization.	ISDMCI	2021	DBLP DOI BibTeX RDF
13	Andrea Tigrini, Alessandro Mengarelli, Sandro Fioretti, Federica Verdini	Anterior-Posterior Center of Pressure Analysis for the DIP/VIP Balance Maintenance model: Formalization and Preliminary Results.	NER	2021	DBLP DOI BibTeX RDF
13	Anne Baanen, Sander R. Dahmen, Ashvni Narayanan, Filippo A. E. Nuccio Mortarino Majno di Capriglio	A Formalization of Dedekind Domains and Class Groups of Global Fields.	ITP	2021	DBLP DOI BibTeX RDF
13	Adrian De Lon, Peter Koepke, Anton Lorenzen	A Natural Formalization of the Mutilated Checkerboard Problem in Naproche.	ITP	2021	DBLP DOI BibTeX RDF
13	Stepan Holub, Stepán Starosta	Formalization of Basic Combinatorics on Words.	ITP	2021	DBLP DOI BibTeX RDF
13	Véronique Benzaken, Sarah Cohen-Boulakia, Evelyne Contejean, Chantal Keller, Rébecca Zucchini	A Coq formalization of data provenance.	CPP	2021	DBLP DOI BibTeX RDF
13	Max W. Haslbeck, René Thiemann	An Isabelle/HOL formalization of AProVE's termination method for LLVM IR.	CPP	2021	DBLP DOI BibTeX RDF
13	Tuan Nguyen Thanh, Nhan Le Thanh, Ha Hoang Thi Thanh	Formalization of Business Processes and Business Rules Model using Colored Petri Nets.	ICFNDS	2021	DBLP DOI BibTeX RDF
13	Lorenzo Capra	An Efficient Maude Formalization of (Rewritable) PT Nets.	SYNASC	2021	DBLP DOI BibTeX RDF
13	Nadine Kashmar, Mehdi Adda, Mirna Atieh, Hussein Ibrahim	Access Control Metamodel for Policy Specification and Enforcement: From Conception to Formalization.	ANT/EDI40	2021	DBLP DOI BibTeX RDF
13	Eugen Rigger, Tino Stankovic, Ruth Fleisch	Facilitating Configuration Model Formalization based on Systems Engineering.	ConfWS	2021	DBLP BibTeX RDF
13	Olga Kosheleva, Vladik Kreinovich	A Natural Formalization of Changing-One's-Mind Leads to Square Root of "Not" and to Complex-Valued Fuzzy Logic.	NAFIPS	2021	DBLP DOI BibTeX RDF
13	Jin Xing Lim, Barnabé Monnot, Shaowei Lin, Georgios Piliouras	A Blockchain-Based Approach for Collaborative Formalization of Mathematics and Programs.	Blockchain	2021	DBLP DOI BibTeX RDF
13	Tomer Libal, Tereza Novotná	Towards Transparent Legal Formalization.	EXTRAAMAS@AAMAS	2021	DBLP DOI BibTeX RDF
13	Carolina Centeio Jorge, Siddharth Mehrotra, Catholijn M. Jonker, Myrthe L. Tielman	Trust should correspond to Trustworthiness: a Formalization of Appropriate Mutual Trust in Human-Agent Teams.	TRUST@AAMAS	2021	DBLP BibTeX RDF
13	Sini Chen, Ran Li, Huibiao Zhu	Formalization and Verification of Group Communication CoAP Using CSP.	PDCAT	2021	DBLP DOI BibTeX RDF
13	Muhammad Ahmed, Adnan Rashid	Formalization of Transform Methods in Higher-order Logic: A Survey (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
13	Zibo Yang	Formalization of Gambler's Ruin Problem (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
13	Karol Pak	Formalization of Prime Representing Polynomial in Mizar (short paper).	CICM Workshops	2021	DBLP BibTeX RDF
13	Mohamed Abdelghany, Sofiène Tahar	Formalization of RBD-Based Cause Consequence Analysis in HOL.	CICM	2021	DBLP DOI BibTeX RDF
13	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
13	Denis A. Beloglazov, Valery I. Finaev, Victor V. Soloviev, Elena N. Pavlenko	Methods Research and Software Development for Parameters Formalization of the Assignment Task Applicable to the Target Distribution.	J. Robotics	2020	DBLP DOI BibTeX RDF
13	Simon Johanning, Fabian Scheller, Daniel Abitz, Claudius Wehner, Thomas Bruckner	A modular multi-agent framework for innovation diffusion in changing business environments: conceptualization, formalization and implementation.	Complex Adapt. Syst. Model.	2020	DBLP DOI BibTeX RDF
13	Vinicius Fulber-Garcia, Elias P. Duarte Jr., Alexandre Huff, Carlos R. P. dos Santos	Network service topology: Formalization, taxonomy and the CUSTOM specification model.	Comput. Networks	2020	DBLP DOI BibTeX RDF
13	Adnan Rashid, Muhammad Umair, Osman Hasan, Mohamed H. Zaki	Toward the Formalization of Macroscopic Models of Traffic Flow Using Higher-Order-Logic Theorem Proving.	IEEE Access	2020	DBLP DOI BibTeX RDF
13	Christoph Schwarzweller	Renamings and a Condition-free Formalization of Kronecker's Construction.	Formaliz. Math.	2020	DBLP DOI BibTeX RDF
13	Dominik Kulesza, Adam Grabowski	Formalization of Quasilattices.	Formaliz. Math.	2020	DBLP DOI BibTeX RDF
13	Georgios Giantamidis, Georgios Papanikolaou, Marcelo Miranda, Gonzalo Salinas-Hernando, Juan Valverde-Alcalá, Suresh Veluru 0001, Stylianos Basagiannis	ReForm: A Tool for Rapid Requirements Formalization.	Electron. Commun. Eur. Assoc. Softw. Sci. Technol.	2020	DBLP DOI BibTeX RDF
13	Nikolay Kalenov, Irina N. Sobolevskaya, Aleksandr N. Sotnikov	Formalization of Processes for Forming User Collections in the Digital Space of Scientific Knowledge.	Russ. Digit. Libr. J.	2020	DBLP BibTeX RDF
13	Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf	Formalization of Forcing in Isabelle/ZF.	CoRR	2020	DBLP BibTeX RDF
13	Wilmer Ricciotti, James Cheney	A Formalization of SQL with Nulls.	CoRR	2020	DBLP BibTeX RDF
13	Jordi Ganzer, Natalia Criado, Maite López-Sánchez, Simon Parsons, Juan A. Rodríguez-Aguilar	A model to support collective reasoning: Formalization, analysis and computational assessment.	CoRR	2020	DBLP BibTeX RDF
13	Mattia Lecci, Michele Polese, Chiehping Lai, Jian Wang 0098, Camillo Gentile, Nada Golmie, Michele Zorzi	Quasi-Deterministic Channel Model for mmWaves: Mathematical Formalization and Validation.	CoRR	2020	DBLP BibTeX RDF
13	Yepeng Ding, Hiroyuki Sato	Extending Concurrent Separation Logic to Enhance Modular Formalization.	CoRR	2020	DBLP BibTeX RDF
13	Alexander Maletzky	A Generic and Executable Formalization of Signature-Based Gröbner Basis Algorithms.	CoRR	2020	DBLP BibTeX RDF
13	Charlotte Laclau, Franck Iutzeler, Ievgen Redko	Rank-one partitioning: formalization, illustrative examples, and a new cluster enhancing strategy.	CoRR	2020	DBLP BibTeX RDF
13	Jiatu Li	Formalization of PAL·S5 in Proof Assistant.	CoRR	2020	DBLP BibTeX RDF
13	Merlin Carl	Automatized Evaluation of Formalization Exercises in Mathematics.	CoRR	2020	DBLP BibTeX RDF
13	Ákos Hajdu, Dejan Jovanovic	SMT-Friendly Formalization of the Solidity Memory Model.	CoRR	2020	DBLP BibTeX RDF
13	Haokun Liu, William Huang, Dhara A. Mungra, Samuel R. Bowman	Precise Task Formalization Matters in Winograd Schema Evaluations.	CoRR	2020	DBLP BibTeX RDF
13	Saloua Bennani, Iliass Ait El Kouch, Mahmoud El Hamlaoui, Sophie Ebersold, Bernard Coulette, Mahmoud Nassar	A Formalization of Group Decision Making in Multi-viewpoints Design.	CoRR	2020	DBLP BibTeX RDF
13	Chiao Hsieh, Hussein Sibai, Hebron Taylor, Sayan Mitra	Unmanned air-traffic management (UTM): Formalization, a prototype implementation, and performance evaluation.	CoRR	2020	DBLP BibTeX RDF
13	Jiaqi Yin, Huibiao Zhu, Phan Cong Vinh	Formalization and Analysis of Haystack Architecture from Process Algebra Perspective.	Mob. Networks Appl.	2020	DBLP DOI BibTeX RDF
13	Radim Belohlávek, Martin Trnecka	Basic level of concepts in formal concept analysis 1: formalization and utilization.	Int. J. Gen. Syst.	2020	DBLP DOI BibTeX RDF
13	Cinzia Bernardeschi, Andrea Domenici, Maurizio Palmieri	Formalization and co-simulation of attacks on cyber-physical systems.	J. Comput. Virol. Hacking Tech.	2020	DBLP DOI BibTeX RDF
13	Amritraj Singh, Reza M. Parizi, Qi Zhang 0009, Kim-Kwang Raymond Choo, Ali Dehghantanha	Blockchain smart contracts formalization: Approaches and challenges to address vulnerabilities.	Comput. Secur.	2020	DBLP DOI BibTeX RDF