Search results for "formalization"

Hits ?▲	Authors	Title	Venue	Year	Link
13	Jolan Philippe, Wadoud Bousdira, Frédéric Loulergue	Formalization of a Big Graph API in Coq.	HPCS	2017	DBLP DOI BibTeX RDF
13	Florian Faissole	Formalization and Closedness of Finite Dimensional Subspaces.	SYNASC	2017	DBLP DOI BibTeX RDF
13	Victor A. Dudarev, Nadezhda N. Kiselyova	Высокоуровневая формализация предметной области для консолидации информационных ресурсов в области неорганического материаловедения (High-level Formalization of Problem Domain for Inorganic Materials Science Information Resources Consolidation).	DAMDID/RCDL	2017	DBLP BibTeX RDF
13	Nonyelum Ndefo	Formalization of Database Reverse Engineering.	ADBIS (Short Papers and Workshops)	2017	DBLP DOI BibTeX RDF
13	Diogo Proença, José Borbinha	A Formalization of the ISO/IEC 15504: Enabling Automatic Inference of Capability Levels.	SPICE	2017	DBLP DOI BibTeX RDF
13	Ioannis Bourlakos, Manolis Wallace, Angeliki Antoniou, Costas Vassilakis, George Lepouras, Anna Vassiliki Karapanagiotou	Formalization and Visualization of the Narrative for Museum Guides.	International KEYSTONE Conference	2017	DBLP DOI BibTeX RDF
13	Yaya Liu, Jiulei Jiang, Lingyu Xu, Lishuang Zhao	Formalization of Business Process with Flexibility Based on Service Interaction.	DASC/PiCom/DataCom/CyberSciTech	2017	DBLP DOI BibTeX RDF
13	Yifei Wang, Gang Chen	Formalization of Laplace Transform in Coq.	DSA	2017	DBLP DOI BibTeX RDF
13	Adnan Rashid, Osman Hasan	Formalization of Transform Methods Using HOL Light.	CICM	2017	DBLP DOI BibTeX RDF
13	Alexander Maletzky, Wolfgang Windsteiger	The Formalization of Vickrey Auctions: A Comparison of Two Approaches in Isabelle and Theorema.	CICM	2017	DBLP DOI BibTeX RDF
13	Artur Kornilowicz, Andrii Kryvolap, Mykola S. Nikitchenko, Ievgen Ivanov	Formalization of the Nominative Algorithmic Algebra in Mizar.	ISAT (2)	2017	DBLP DOI BibTeX RDF
13	Obinna Chinedu Onyimadu	Formalization and modeling of human values for recipient sentiment prediction.		2017	RDF
13	Evmorfia-Iro Bartzia	A formalization of elliptic curves for cryptography. (Une formalisation des courbes elliptiques pour la cryptographie).		2017	RDF
13	Cécile Saint-Marc	Formalisation et géovisualisation d'événements historiques issus de risques naturels pour la compréhension des dynamiques spatiales : Application aux inondations ayant touché le système ferroviaire français. (Formalization and geovisualization of historical natural risk events to understand spatial dynamics : Application to floods impacting the French railway system).		2017	RDF
13	Min Zhang 0002, Toshiaki Aoki, Yueying He	A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX.	J. Inf. Secur. Appl.	2016	DBLP DOI BibTeX RDF
13	Alexander Alfimtsev, Sergey Sakulin, Alexey Levanov	Formalization of Expert Knowledge About the Usability of Web Pages Based on User Criteria Aggregation.	Int. J. Softw. Innov.	2016	DBLP DOI BibTeX RDF
13	Stuart Bretschneider, Marla Parker	Organization formalization, sector and social media: Does increased standardization of policy broaden and deepen social media use in organizations?	Gov. Inf. Q.	2016	DBLP DOI BibTeX RDF
13	James Mnatzaganian, Ernest Fokoué, Dhireesha Kudithipudi	A Mathematical Formalization of Hierarchical Temporal Memory's Spatial Pooler.	Frontiers Robotics AI	2016	DBLP DOI BibTeX RDF
13	Nico Ebert, Christian Ruf	Documentation is dead: why Requirements Engineering should further develop from formalization to effective collaboration.	Softwaretechnik-Trends	2016	DBLP BibTeX RDF
13	Sylvie Boldo, Catherine Lelay, Guillaume Melquiond	Formalization of real analysis: a survey of proof assistants and libraries.	Math. Struct. Comput. Sci.	2016	DBLP DOI BibTeX RDF
13	Nicolas Schwind, Morgan Magnin, Katsumi Inoue, Tenda Okimoto, Taisuke Sato, Kazuhiro Minami, Hiroshi Maruyama	Formalization of resilience for constraint-based dynamic systems.	J. Reliab. Intell. Environ.	2016	DBLP DOI BibTeX RDF
13	Fangzhen Lin	A formalization of programs in first-order logic with a discrete linear order.	Artif. Intell.	2016	DBLP DOI BibTeX RDF
13	Gioele Barabucci, Paolo Ciancarini, Angelo Di Iorio, Fabio Vitali	Measuring the quality of diff algorithms: a formalization.	Comput. Stand. Interfaces	2016	DBLP DOI BibTeX RDF
13	Cinzia Bernardeschi, Andrea Domenici, Paolo Masci 0001	Towards a Formalization of System Requirements for an Integrated Clinical Environment.	EAI Endorsed Trans. Self Adapt. Syst.	2016	DBLP DOI BibTeX RDF
13	Marcus Vinícius Midena Ramos, José Carlos Bacelar Almeida, Nelma Moreira, Ruy José Guerra Barretto de Queiroz	Formalization of the pumping lemma for context-free languages.	J. Formaliz. Reason.	2016	DBLP DOI BibTeX RDF
13	Waqar Ahmad, Osman Hasan	Formalization of Fault Trees in Higher-order Logic: A Deep Embedding Approach.	CoRR	2016	DBLP BibTeX RDF
13	Keith Foster, Jan Olaf Blech, Guillaume Prévost 0001	Towards the Formalization of a Factory Demonstrator in BeSpaceD.	CoRR	2016	DBLP BibTeX RDF
13	Alexis Bernadet, Ivan Lanese	A Modular Formalization of Reversibility for Concurrent Models and Languages.	ICE	2016	DBLP DOI BibTeX RDF
13	Tiago Cogumbreiro, Jun Shirako, Vivek Sarkar	Formalization of Phase Ordering.	PLACES	2016	DBLP DOI BibTeX RDF
13	James Mnatzaganian, Ernest Fokoué, Dhireesha Kudithipudi	A Mathematical Formalization of Hierarchical Temporal Memory Cortical Learning Algorithm's Spatial Pooler.	CoRR	2016	DBLP BibTeX RDF
13	Philipp Haller, Alexandre Loiko	Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness.	CoRR	2016	DBLP BibTeX RDF
13	Victor Eijkhout	A mathematical formalization of data parallel operations.	CoRR	2016	DBLP BibTeX RDF
13	Andrej Bauer, Jason Gross, Peter LeFanu Lumsdaine, Michael Shulman, Matthieu Sozeau, Bas Spitters	The HoTT Library: A formalization of homotopy type theory in Coq.	CoRR	2016	DBLP BibTeX RDF
13		Taking a Detour to Zero: An Alternative Formalization of Functions Beyond PR.	CoRR	2016	DBLP BibTeX RDF
13	Ligita Businska, Marite Kirikova	The Formalization of the Business Process Modeling Goals.	Complex Syst. Informatics Model. Q.	2016	DBLP DOI BibTeX RDF
13	Waqar Ahmad, Osman Hasan, Sofiène Tahar	Formalization of Reliability Block Diagrams in Higher-order Logic.	J. Appl. Log.	2016	DBLP DOI BibTeX RDF
13	Jonathan Dechaux, Eric Filiol	Proactive defense against malicious documents: formalization, implementation and case studies.	J. Comput. Virol. Hacking Tech.	2016	DBLP DOI BibTeX RDF
13	Xi Wu 0005, Huibiao Zhu	Formalization and analysis of the REST architecture from the process algebra perspective.	Future Gener. Comput. Syst.	2016	DBLP DOI BibTeX RDF
13	Brahim Hamid, Sigrid Gürgens, Andreas Fuchs 0002	Security patterns modeling and formalization for pattern-based development of secure software systems.	Innov. Syst. Softw. Eng.	2016	DBLP DOI BibTeX RDF
13	Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand	Formalization of Recursive Path Orders for Lambda-Free Higher-Order Terms.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
13	Jasmin Christian Blanchette, Mathias Fleury, Dmitriy Traytel	Formalization of Nested Multisets, Hereditary Multisets, and Syntactic Ordinals.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
13	Heiko Becker, Jasmin Christian Blanchette, Uwe Waldmann, Daniel Wand	Formalization of Knuth-Bendix Orders for Lambda-Free Higher-Order Terms.	Arch. Formal Proofs	2016	DBLP BibTeX RDF
13	Xiumei Yang, Yong Guan, Zhiping Shi 0002, Aixuan Wu, Qianying Zhang, Jie Zhang 0074	函数矩阵及其微积分的高阶逻辑形式化 (Higher-order Logic Formalization of Function Matrix and its Calculus).	计算机科学	2016	DBLP DOI BibTeX RDF
13	Shanshan Li, Chunna Zhao, Yong Guan, Zhiping Shi 0002, Rui Wang 0024, Xiaojuan Li, Shiwei Ye	分数阶微积分定义的一致性在HOL4中的验证 (Formalization of Consistency of Fractional Calculus in HOL4).	计算机科学	2016	DBLP DOI BibTeX RDF
13	Zonghua Li, Xiaofeng Zhou, Keli Wu, Fubing Chen	基于扩展Petri网模型的BPMN形式化 (BPMN Formalization Based on Extended Petri Nets Model).	计算机科学	2016	DBLP DOI BibTeX RDF
13	Thibaut Balabonski, François Pottier, Jonathan Protzenko	The Design and Formalization of Mezzo, a Permission-Based Programming Language.	ACM Trans. Program. Lang. Syst.	2016	DBLP BibTeX RDF
13	Galina L. Rogova, Alan N. Steinberg	Formalization of "Context" for Information Fusion.	Context-Enhanced Information Fusion	2016	DBLP DOI BibTeX RDF
13	Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic	Probability Logics - Probability-Based Formalization of Uncertain Reasoning		2016	DOI RDF
13	Yufei Jiang, Can Zhang, Dinghao Wu, Peng Liu 0005	Feature-Based Software Customization: Preliminary Analysis, Formalization, and Methods.	HASE	2016	DBLP DOI BibTeX RDF
13	Taskia A. Khan, Jing Wang 0005	On formalization of emergent behaviors in multiagent systems with limited interactions.	EIT	2016	DBLP DOI BibTeX RDF
13	Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida	On the Formalization of Some Results of Context-Free Language Theory.	WoLLIC	2016	DBLP DOI BibTeX RDF
13	Torben Braüner, Patrick Blackburn, Irina Polyanskaya	Second-Order False-Belief Tasks: Analysis and Formalization.	WoLLIC	2016	DBLP DOI BibTeX RDF
13	Hiroyuki Okazaki, Yuichi Futa	Formalization of Polynomially Bounded and Negligible Functions Using the Computer-Aided Proof-Checking System Mizar.	FM4M/MathUI/ThEdu/DP/WIP@CIKM	2016	DBLP BibTeX RDF
13	Mario Carneiro	Formalization of the prime number theorem and Dirichlet's theorem.	FM4M/MathUI/ThEdu/DP/WIP@CIKM	2016	DBLP BibTeX RDF
13	David Morquin, Roxana Ologeanu-Taddeï	Professional Facing Coercive Work Formalization: Vicious Circle of the Electronic Medical Record (EMR) Implementation and Appropriation.	CENTERIS/ProjMAN/HCist	2016	DBLP DOI BibTeX RDF
13	Andreia P. Guerreiro, Carlos M. Fonseca	Hypervolume Sharpe-Ratio Indicator: Formalization and First Theoretical Results.	PPSN	2016	DBLP DOI BibTeX RDF
13	Marco Filax, Tim Gonschorek, Frank Ortmeier	Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models.	RSSRail	2016	DBLP DOI BibTeX RDF
13	Maria Otworowska, Lorijn Zaadnoordijk, Erwin de Wolff, Johan Kwisthout, Iris van Rooij	Causal learning in the Crib: A predictive processing formalization and babybot simulation.	ICDL-EPIROB	2016	DBLP DOI BibTeX RDF
13	Matthew Dickinson, Saptarshi Debroy, Prasad Calyam, Samaikya Valluripally, Yuanxun Zhang, Trupti Joshi, Dong Xu 0002	End-to-End Security Formalization and Alignment for Federated Workflow Management.	CLOUD	2016	DBLP DOI BibTeX RDF
13	Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin	Formalization and Verification of the Powerlink Protocol Using CSP.	APSEC	2016	DBLP DOI BibTeX RDF
13	Pierre Boutry, Gabriel Braun, Julien Narboux	From Tarski to Descartes: Formalization of the Arithmetization of Euclidean Geometry.	SCSS	2016	DBLP DOI BibTeX RDF
13	Tylar Murray, Eric B. Hekler, Donna Spruijt-Metz, Daniel E. Rivera, Andrew Raij	Formalization of Computational Human Behavior Models for Contextual Persuasive Technology.	PERSUASIVE	2016	DBLP DOI BibTeX RDF
13	Tobias Widmer, Marc Premm, Stefan Kirn	A Formalization of Multiagent Organizations in Business Information Systems.	BIS	2016	DBLP DOI BibTeX RDF
13	Bente Christensen	Formalization and Accountability in Surgery Planning.	GROUP	2016	DBLP DOI BibTeX RDF
13	Tino Teige, Tom Bienmüller, Hans Jürgen Holberg	Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements.	MBMV	2016	DBLP DOI BibTeX RDF
13	Bahar Sateli, René Witte	An Automatic Workflow for the Formalization of Scholarly Articles' Structural and Semantic Elements.	SemWebEval@ESWC	2016	DBLP DOI BibTeX RDF
13	Mohnish Dubey, Sourish Dasgupta, Ankit Sharma, Konrad Höffner, Jens Lehmann 0001	AskNow: A Framework for Natural Language Query Formalization in SPARQL.	ESWC	2016	DBLP DOI BibTeX RDF
13	Walid Fdhila, Manuel Gall, Stefanie Rinderle-Ma, Juergen Mangler, Conrad Indiono	Classification and Formalization of Instance-Spanning Constraints in Process-Driven Applications.	BPM	2016	DBLP DOI BibTeX RDF
13	Sidonie Christophe, Bertrand Duménieu, Jérémie Turbet, Charlotte Hoarau, Nicolas Mellado, Jérémie Ory, Hugo Loi, Antoine Masse, Benoit Arbelot, Romain Vergne, Mathieu Brédif, Thomas Hurtut, Joëlle Thollot, David Vanderhaeghe	Map style formalization: rendering techniques extension for cartography.	Expressive	2016	DBLP BibTeX RDF
13	Daniel Urieli, Peter Stone	An MDP-Based Winning Approach to Autonomous Power Trading: Formalization and Empirical Analysis.	AAAI Workshop: AI for Smart Grids and Smart Buildings	2016	DBLP BibTeX RDF
13	Radu-Daniel Vatavu, Jacob O. Wobbrock	Between-Subjects Elicitation Studies: Formalization and Tool Support.	CHI	2016	DBLP DOI BibTeX RDF
13	Mohammadhani Fouladgar, Ramez Elmasri	Formalization of network-constrained moving object queries with application to benchmarking.	IWGS@SIGSPATIAL	2016	DBLP DOI BibTeX RDF
13	Walter Koza	Enumerative Series in Spanish: Formalization and Automatic Detection.	NooJ	2016	DBLP DOI BibTeX RDF
13	Pierre Masai, Cecilia Zanni-Merk	Formalization of a Framework for Cultural Translation in Global Collaboration. The Case of the Lean Organization.	KES	2016	DBLP DOI BibTeX RDF
13	Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra	Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication.	PRIMA	2016	DBLP DOI BibTeX RDF
13	Roussanka Loukanova	A Formalization of Generalized Parameters in Situated Information.	ICAART (1)	2016	DBLP DOI BibTeX RDF
13	Peter Fritzson	Model-based development of sustainable cyber-physical systems including requirement formalization using the openModelica model-based development toolkit.	ECSA Workshops	2016	DBLP BibTeX RDF
13	Anders Schlichtkrull	Formalization of the Resolution Calculus for First-Order Logic.	ITP	2016	DBLP DOI BibTeX RDF
13	Adnan Rashid, Osman Hasan	On the Formalization of Fourier Transform in Higher-order Logic.	ITP	2016	DBLP DOI BibTeX RDF
13	Oscar Rodriguez Rocha, Catherine Faron-Zucker	A Formalization Of Standard Knowledge And Skills For The French Elementary School Curricula.	EKM@EKAW	2016	DBLP BibTeX RDF
13	Oscar Rodriguez Rocha, Catherine Faron-Zucker, Géraud Fokou Pelap	A Formalization of the French Elementary School Curricula.	EKAW (Satellite Events)	2016	DBLP DOI BibTeX RDF
13	Waqar Ahmad, Osman Hasan	Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach.	SETTA	2016	DBLP DOI BibTeX RDF
13	Cyril Cohen, Boris Djalal	Formalization of a newton series representation of polynomials.	CPP	2016	DBLP DOI BibTeX RDF
13	Kiyoshi Akama, Ekawit Nantajeewarawat	Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema.	KEOD	2016	DBLP DOI BibTeX RDF
13	Gérard P. Huet	Teaching Foundations of Computation and Deduction Through Literate Functional Programming and Type Theory Formalization.	FSCD	2016	DBLP DOI BibTeX RDF
13	Alexandre Muzy, Matthieu Lerasle, Franck Grammont, Van Toan Dao, David R. C. Hill	Parallel and pseudorandom discrete event system specification vs. networks of spiking neurons: Formalization and preliminary implementation results.	HPCS	2016	DBLP DOI BibTeX RDF
13	Axel Busboom, Simone Schuler, Alexander Walsch	formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification.	ARCH@CPSWeek	2016	DBLP DOI BibTeX RDF
13	Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki 0001	Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization.	Bx@ETAPS	2016	DBLP BibTeX RDF
13	Hiroyuki Okazaki	Formalization of statistical indistinguishability of probability distribution ensembles in Mizar.	ISITA	2016	DBLP BibTeX RDF
13	Manabu Hagiwara, Kyosuke Nakano, Justin Kong 0002	Formalization of coding theory using lean.	ISITA	2016	DBLP BibTeX RDF
13	Yoshihiro Mizoguchi, Hisaharu Tanaka, Shuichi Inokuchi	Formalization of proofs using relational calculus.	ISITA	2016	DBLP BibTeX RDF
13	Kyosuke Nakano, Manabu Hagiwara	Formalization of binary symmetric erasure channel based on infotheo.	ISITA	2016	DBLP BibTeX RDF
13	Haitong Liu, Annette ten Teije, Kathrin Dentler, Jingdong Ma, Shijing Zhang	Formalization and Computation of Diabetes Quality Indicators with Patient Data from a Chinese Hospital.	KR4HC/ProHealth@HEC	2016	DBLP DOI BibTeX RDF
13	Jacques Bouaud, Alexandre Galopin, Assia Oulad Kouider, Brigitte Séroussi	Design of a Fine-Grained Knowledge Model for the Formalization of Clinical Practice Guidelines: Comparison with GEM.	MIE	2016	DBLP DOI BibTeX RDF
13	Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Mourad Kmimech, Faouzi Moussa	UML2.0 Formalization and Acme Verification of the Qualitative Properties of Software Architectures.	WETICE	2016	DBLP DOI BibTeX RDF
13	Ilyass El Kassmi, Zahi Jarir	Security Requirements in Web Service Composition: Formalization, Integration, and Verification.	WETICE	2016	DBLP DOI BibTeX RDF
13	Zhisheng Huang, Qing Hu 0002, Annette ten Teije, Frank van Harmelen, Salah Ait-Mokhtar	Knowledge Services Using Rule-Based Formalization for Eligibility Criteria of Clinical Trials.	HIS	2016	DBLP DOI BibTeX RDF
13	Ahmad Outfarouin, Abdelmounaïm Abdali, Mohamedou Cheikh Tourad	Towards a new decisional needs formalization.	AICCSA	2016	DBLP DOI BibTeX RDF
13	Victor A. Krisilov, Katherine Gorodnichaya	The formalization of complex operations on the temporal characteristics of objects under uncertainty.	CSIT	2016	DBLP DOI BibTeX RDF
13	Cheng Pang, Antti Pakonen, Igor Buzhinsky, Valeriy Vyatkin	A study on user-friendly formal specification languages for requirements formalization.	INDIN	2016	DBLP DOI BibTeX RDF