Search results for "concretization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	François Pottier, Nadji Gauthier	Polymorphic typed defunctionalization and concretization.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization
97	Javier López 0001, Niko Myller, Erkki Sutinen	Sorting out sorting through concretization with robotics.	AVI	2004	DBLP DOI BibTeX RDF	algorithms, robotics, sorting, concretization
66	Kuntal Nanshi, Fabio Somenzi	Improved Visibility in One-to-Many Trace Concretization.	DATE	2008	DBLP DOI BibTeX RDF
57	David Pichardie	Modular Proof Principles for Parameterised Concretizations.	CASSIS	2005	DBLP DOI BibTeX RDF
47	Kuntal Nanshi, Fabio Somenzi	Constraints in one-to-many concretization for abstraction refinement.	DAC	2009	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
47	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
38	Patrice Godefroid, Nir Piterman	LTL Generalized Model Checking Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
38	François Fages, Roberta Gori	A Hierarchy of Semantics for Normal Constraint Logic Programs.	ALP	1996	DBLP DOI BibTeX RDF
31	Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli	Refinement preserving approximations for the design and verification of heterogeneous systems.	Formal Methods Syst. Des.	2007	DBLP DOI BibTeX RDF	Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization
28	Aren A. Babikian, Oszkár Semeráth, Dániel Varró	Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.	IEEE Trans. Software Eng.	2024	DBLP DOI BibTeX RDF
28	Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers	Memoryless concretization relation.	CoRR	2024	DBLP DOI BibTeX RDF
28	Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers	Memoryless concretization relation.	HSCC	2024	DBLP DOI BibTeX RDF
28	Aren A. Babikian, Oszkár Semeráth, Dániel Varró	Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search.	CoRR	2023	DBLP DOI BibTeX RDF
28	Sören Tempel, Vladimir Herdt, Rolf Drechsler	Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing.	IEEE Embed. Syst. Lett.	2022	DBLP DOI BibTeX RDF
28	Akshay Sharma, Piyush Rajesh Medikeri, Yu Zhang 0055	Domain Concretization From Examples: Addressing Missing Domain Knowledge Via Robust Planning.	IEEE Robotics Autom. Lett.	2022	DBLP DOI BibTeX RDF
28	Jie Zhou 0016, Shengding Hu, Xin Lv, Cheng Yang 0002, Zhiyuan Liu 0001, Wei Xu, Jie Jiang, Juanzi Li, Maosong Sun 0001	KACC: A Multi-task Benchmark for Knowledge Abstraction, Concretization and Completion.	ACL/IJCNLP (Findings)	2021	DBLP DOI BibTeX RDF
28	Akshay Sharma, Piyush Rajesh Medikeri, Yu Zhang 0055	Domain Concretization from Examples: Addressing Missing Domain Knowledge via Robust Planning.	CoRR	2020	DBLP BibTeX RDF
28	Jie Zhou 0024, Xin Lv, Cheng Yang 0002, Zhiyuan Liu 0001, Juanzi Li, Maosong Sun 0001	KACC: A Multi-task Benchmark for Knowledge Abstraction, Concretization and Completion.	CoRR	2020	DBLP BibTeX RDF
28	Thilo O. Richter, Peter M. Tröster, André Felber, Albert Albers, Kamran Behdinan	Measuring the concretization level of Systems of Objectives in the early phase of product development to derive the product maturity.	SysCon	2020	DBLP DOI BibTeX RDF
28	Rick Gilsing, Oktay Türetken, Baris Özkan, Frans Slaats, Onat Ege Adali, Anna Wilbik, Frank Berkers, Paul Grefen	A Method to Guide the Concretization of Costs and Benefits in Service-Dominant Business Models.	PRO-VE	2020	DBLP DOI BibTeX RDF
28	Huibin Wang, Chunqiang Li, Jianyi Meng, Xiaoyan Xiang	SCSE: Boosting Symbolic Execution via State Concretization.	IEICE Trans. Inf. Syst.	2019	DBLP DOI BibTeX RDF
28	Chi Chen, Xin Peng 0001, Jun Sun 0001, Zhenchang Xing, Xin Wang, Yifan Zhao, Hairui Zhang, Wenyun Zhao	Generative API usage code recommendation with parameter concretization.	Sci. China Inf. Sci.	2019	DBLP DOI BibTeX RDF
28	Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy 0001	Deferred concretization in symbolic execution via fuzzing.	ISSTA	2019	DBLP DOI BibTeX RDF
28	Buthayna Eilouti	Concept as a Bridge between Abstraction and Concretization in Design Knowledge Visualization.	IV	2018	DBLP DOI BibTeX RDF
28	Peter Lacko, Peter Kajsa, Pavol Návrat	Design Pattern Instances within Model Driven Development Based on Abstraction, Concretization and Variability.	Comput. Informatics	2017	DBLP DOI BibTeX RDF
28	Lijuan Wang, Jun Shen 0001	A Systematic Review of Bio-Inspired Service Concretization.	IEEE Trans. Serv. Comput.	2017	DBLP DOI BibTeX RDF
28	Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster	An empirical study of adaptive concretization for parallel program synthesis.	Formal Methods Syst. Des.	2017	DBLP DOI BibTeX RDF
28	Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi 0001	Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines.	ICST Workshops	2017	DBLP DOI BibTeX RDF
28	Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion	Specification of concretization and symbolization policies in symbolic execution.	ISSTA	2016	DBLP DOI BibTeX RDF
28	Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster	Adaptive Concretization for Parallel Program Synthesis.	CAV (2)	2015	DBLP DOI BibTeX RDF
28	Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo	Vector abstraction and concretization for scalable detection of refactorings.	SIGSOFT FSE	2014	DBLP DOI BibTeX RDF
28	Peter Kajsa, L'ubomír Majtás, Pavol Návrat	Design pattern instantiation directed by concretization and specialization.	Comput. Sci. Inf. Syst.	2011	DBLP DOI BibTeX RDF
28	Tamar Ronen-Fuhrmann, Yael Kali	The role of concretization in acquiring design knowledge.	ICLS (1)	2010	DBLP BibTeX RDF
28	Romain Janvier, Yassine Lakhnech, Michaël Périn	Certifying cryptographic protocols by abstract model-checking and proof concretization.	SIGBED Rev.	2006	DBLP DOI BibTeX RDF
28	Victor N. Kasyanov	Transformational Approach to Program Concretization.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
19	António Rodrigues, Nuno Roma, Leonel Sousa	p264: open platform for designing parallel H.264/AVC video encoders on multi-core systems.	NOSSDAV	2010	DBLP DOI BibTeX RDF	h.264, parallel systems, multi-core processors, video encoder
19	Audrey Occello, Anne-Marie Pinna-Dery, Michel Riveill, Günter Kniesel	Managing Model Evolution Using the CCBM Approach.	ECBS	2008	DBLP DOI BibTeX RDF	MDE, CBSE, model integration, model evolution
19	Alina Dia Miron, Jérôme Gensel, Marlène Villanova-Oliver	Semantic Analysis for the Geospatial Web - Application to OWL-DL Ontologies.	W2GIS	2008	DBLP DOI BibTeX RDF	Geospatial Semantic Web, context definition, ontology, semantic analysis, spatio-temporal reasoning
19	Magdalena Slawiriska, Jaroslaw Siawiriski, Vaidy S. Sunderam	Enhancing build-portability for scientific applications across heterogeneous platforms.	IPDPS	2008	DBLP DOI BibTeX RDF
19	Jacques Julliand, Pierre-Alain Masson, Régis Tissot	Generating Tests from B Specifications and Test Purposes.	ABZ	2008	DBLP DOI BibTeX RDF	IAS Case Study, Model-Based Testing, Test Purpose
19	David A. Schmidt	Internal and External Logics of Abstract Interpretations.	VMCAI	2008	DBLP DOI BibTeX RDF
19	Patrice Godefroid, Michael Huth 0001	Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.	LICS	2005	DBLP DOI BibTeX RDF
19	Alexander Pretschner	Model-based testing.	ICSE	2005	DBLP DOI BibTeX RDF	coverage, development processes, model-based development
19	Ted K. Ralphs, Laszlo Ladányi, Matthew J. Saltzman	A Library Hierarchy for Implementing Scalable Parallel Search Algorithms.	J. Supercomput.	2004	DBLP DOI BibTeX RDF	parallel branch and bound, optimization, parallel algorithm, integer programming, parallel search
19	Nina Amla, Kenneth L. McMillan	A Hybrid of Counterexample-Based and Proof-Based Abstraction.	FMCAD	2004	DBLP DOI BibTeX RDF
19	Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi	Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement.	ICCAD	2003	DBLP DOI BibTeX RDF
19	Patrice Godefroid, Radha Jagadeesan	Automatic Abstraction Using Generalized Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
19	Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi	Distinctness and Sharing Domains for Static Analysis of Java Programs.	ECOOP	2001	DBLP DOI BibTeX RDF	Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis
19	Darko Marinov, Sarfraz Khurshid	TestEra: A Novel Framework for Automated Testing of Java Programs.	ASE	2001	DBLP DOI BibTeX RDF
19	Michael Huth 0001	A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems and Interval Transition Systems.	FSTTCS	1999	DBLP DOI BibTeX RDF
19	Leonid A. Kalinichenko	An Anatomy of the Information Resource Semantic Abstraction.	SIGMOD Rec.	1991	DBLP DOI BibTeX RDF