Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Murali Sitaraman, Bruce W. Weide, William F. Ogden	On the Practical Need for Abstraction Relations to Verify Abstract Data Type Representations.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	abstraction function, abstraction mapping, abstraction relation, formal specification, program verification, greedy algorithm, Abstract data type, relation, nondeterminism, optimization problem, data abstraction
4	Herman Koppelman, Betsy van Dijk	Teaching abstraction in introductory courses.	ITiCSE	2010	DBLP DOI BibTeX RDF	abstraction, pedagogy, computer science, recursion, abstraction level
4	Victoria Sakhnini, Orit Hazzan	Reducing Abstraction in High School Computer Science Education: The Case of Definition, Implementation, and Use of Abstract Data Types.	ACM Journal of Educational Resources in Computing	2008	DBLP DOI BibTeX RDF	reducing abstraction, abstraction, computer science education, problem solving, abstract data types
4	Byunghee Jung, Junehwa Song, Yoon-Joon Lee	A narrative-based abstraction framework for story-oriented video.	TOMCCAP	2007	DBLP DOI BibTeX RDF	online review services, story-oriented, video abstraction system, film, Video abstraction, narrative structure, story understanding
4	Russ Abbott	Abstraction, Emergence, and Thought.	SARA	2007	DBLP DOI BibTeX RDF	thought externalization, Abstraction, emergence
4	Johan de Kleer	Dynamic Domain Abstraction Through Meta-diagnosis.	SARA	2007	DBLP DOI BibTeX RDF	Abstraction, diagnosis, qualitative reasoning, model-based reasoning
4	Werner Bailer, Georg Thallinger	A framework for multimedia content abstraction and its application to rushes exploration.	CIVR	2007	DBLP DOI BibTeX RDF	content abstraction, content abstraction process, browsing, MPEG-7, summarisation, rushes, post-production
4	Andrew Gilpin, Tuomas Sandholm	Better automated abstraction techniques for imperfect information games, with application to Texas Hold'em poker.	AAMAS	2007	DBLP DOI BibTeX RDF	automated abstraction, equilibrium computation, abstraction, poker, computational game theory
4	Byunghee Jung, Tae-Yeong Kwak, Junehwa Song, Yoon-Joon Lee	Narrative abstraction model for story-oriented video.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	narrative abstraction, story-oriented, film, video abstraction, narrative structure, story understanding
4	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz	An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists.	Formal Methods in System Design	2003	DBLP DOI BibTeX RDF	phase abstraction, automatic abstraction, CTL model checking, level-sensitive latch, bisimulation, model reduction
4	Yonit Kesten, Amir Pnueli	Control and Data Abstraction: The Cornerstones of Practical Formal Verification.	STTT	2000	DBLP DOI BibTeX RDF	Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant
4	Marcelo Campo, Ricardo Orosco, Alfredo Raúl Teyseyre	Interactive Abstraction Control in Visualization Systems. (PDF / PS)	SCCC	1997	DBLP DOI BibTeX RDF	interactive abstraction control, data visualization systems, detail levels, reusable object-oriented support, abstractor objects, user-controlled semantic zooming, abstraction scales, MetaExplorer, CityVis, software visualization, data visualisation, object-oriented frameworks
4	Richard E. Mortimer, Keith H. Bennett	Maintenance and abstraction of program data using formal transformations. (PDF / PS)	ICSM	1996	DBLP DOI BibTeX RDF	program data abstraction, program data maintenance, formal transformations, DREAM method, Data Reverse Engineering and Abstraction Mechanism method, program data restructuring, data changes, code manipulation, discrete types, software maintenance, program transformations, generic method
4	Takayuki Dan Kimura	Object-Oriented Dataflow. (PDF / PS)	VL	1995	DBLP DOI BibTeX RDF	object-oriented dataflow, object-oriented visual programming language, calling mechanisms, synchronous call, asynchronous call, asynchronous subroutine call, class-based abstraction, functional abstraction, object-oriented programming, object-oriented programming, visual programming, visual languages, computation model, data flow analysis, object-oriented languages, object-oriented model, subroutines, subroutine, functional model, abstraction mechanism
4	Lawrence A. Crowl, Thomas J. LeBlanc	Parallel Programming with Control Abstraction.	ACM Trans. Program. Lang. Syst.	1994	DBLP DOI BibTeX RDF	architectural adaptability, control abstraction, early reply, multiprocessors, performance tuning, data abstraction, closures, parallel programming languages
4	Toshimi Minoura, S. Sitharama Iyengar	Data and Time Abstraction Techniques for Analyzing Multilevel Concurrent Systems.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	time abstraction techniques, multilevel concurrent systems, bounced-buffer monitor, multilevel concurrency scheme, distributed databases, concurrency control, database system, data abstraction
4	R. C. B. Cooper, K. G. Hamilton	Preserving Abstraction in Concurrent Programming.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	modular programming, abstractinterfaces, CLU, interface abstraction, monitor deadlock, fine-grain locking, parallel programming, data structures, programming languages, concurrent programming, system recovery, high level languages, data abstraction
4	Dennis McLeod, John Miles Smith	Abstraction in Databases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
4	Burt M. Leavenworth	A Data Abstraction Approach to Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
4	Randy H. Katz	Heterogeneous Databases and High Level Abstraction.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
4	Lawrence A. Rowe	Data Abstraction From a Programming Language Viewpoint.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
4	Mary Shaw	Abstraction, Data Types, and Models for Software.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
4	Donald R. Chand, Surya B. Yadav	On the application of data abstraction facilities.	ACM Annual Conference	1978	DBLP DOI BibTeX RDF	Abstraction facilities, Application of data abstraction, Design and implementation of programming languages, Encapsulated data types, Quality software, Programming methodology
3	Teemu Kanstrén, Reijo Savola, Antti Evesti, Heimo Pentikäinen, Artur Hecker, Moussa Ouedraogo, Kimmo Hätönen, Perttu Halonen, Christophe Blad, Oscar López, Saioa Ros	Towards an abstraction layer for security assurance measurements: (invited paper).	ECSA Companion Volume	2010	DBLP DOI BibTeX RDF	measurement, abstraction, dynamicity, taxonomy
3	Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler	An operating system abstraction layer for portable applications in wireless sensor networks.	SAC	2010	DBLP DOI BibTeX RDF	OSAL, abstraction layer, WSN, wireless sensor networks, operating systems, API, portability, OS
3	Chih-Fan Lai, Jie-Hong R. Jiang, Kuo-Hua Wang	BooM: a decision procedure for boolean matching with abstraction and dynamic learning.	DAC	2010	DBLP DOI BibTeX RDF	satisfiability solving, learning, abstraction, Boolean matching
3	Nico Bayer, Krzysztof Loziak, Andres Garcia-Saavedra, Cigdem Sengul, Pablo Serrano	CARMEN: resource management and abstraction in wireless heterogeneous mesh networks.	SIGCOMM	2010	DBLP DOI BibTeX RDF	resource abstraction, heterogeneous, wireless mesh
3	Hanania T. Salzer	Abstraction Level Hierarchy: The Model and its Significance for Software Engineering.	SwSTE	2010	DBLP DOI BibTeX RDF	abstraction level hierarchy, atomic requirement specification, design, entropy, Abstraction, requirements, requirement specification
3	Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou	Parallel Best-First Search: The Role of Abstraction.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
3	Steven Loscalzo, Robert Wright	Automatic Methods for Continuous State Space Abstraction.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
3	Stephen Lin, Robert Wright	Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement Learning.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
3	Hanli Zhao, Xiaoyang Mao, Xiaogang Jin, Jianbing Shen, Feifei Wei, Jieqing Feng	Real-time saliency-aware video abstraction.	The Visual Computer	2009	DBLP DOI BibTeX RDF	Non-photorealistic rendering, Saliency map, Real-time video processing, Image abstraction
3	Bhaskaran Raman, Kameswari Chebrolu, Dattatraya Y. Gokhale, Sayandeep Sen	On the feasibility of the link abstraction in wireless mesh networks.	IEEE/ACM Trans. Netw.	2009	DBLP DOI BibTeX RDF	link abstraction, link-level measurements, rural networks, IEEE 802.11, wireless mesh networks, interference, IEEE 802.15.4, WiFi
3	Vasanth Rajamani, Sanem Kabadayi, Christine Julien	An interrelational grouping abstraction for heterogeneous sensors.	TOSN	2009	DBLP DOI BibTeX RDF	proximity functions, querying abstraction, clustering, energy-efficiency, Heterogeneous sensor networks
3	William S. Evans, Christopher W. Fraser, Fei Ma	Clone detection via structural abstraction.	Software Quality Journal	2009	DBLP DOI BibTeX RDF	Refactoring, Clone detection, Procedural abstraction
3	Naoko Nitta, Yoshimasa Takahashi, Noboru Babaguchi	Automatic personalized video abstraction for sports videos using metadata.	Multimedia Tools Appl.	2009	DBLP DOI BibTeX RDF	Dynamic video abstract, Static video abstract, Personalization, Metadata, Video abstraction
3	Saurabh Srivastava, Sumit Gulwani	Program verification using templates over predicate abstraction.	PLDI	2009	DBLP DOI BibTeX RDF	constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers
3	David B. Lomet	Dependability, Abstraction, and Programming.	DASFAA	2009	DBLP DOI BibTeX RDF	application persistence, scalability, dependability, abstraction, availability, programming model, enterprise applications
3	Shimon Schocken	Virtual machines: abstraction and implementation.	ITiCSE	2009	DBLP DOI BibTeX RDF	abstraction., software engineering, compilation, virtual machines, programming paradigms
3	Luciano Ost, Guilherme Guindani, Leandro Soares Indrusiak, Cezar Reinbrecht, Thiago Raupp, Fernando Moraes	A high abstraction, high accuracy power estimation model for networks-on-chip.	SBCCI	2009	DBLP DOI BibTeX RDF	high abstraction modeling, networks-on-chip, power modeling
3	Yang Cai, David Kaufer, Emily Hart, Elizabeth Solomon	Semantic Visual Abstraction for Face Recognition.	ICCS	2009	DBLP DOI BibTeX RDF	visual abstraction, human features, video analytics, information retrieval, face recognition, visual search, semantic network, face
3	Chunying Zhao, Kang Zhang, Yu Lei	Abstraction of multiple executions of object-oriented programs.	SAC	2009	DBLP DOI BibTeX RDF	multiple executions, trace abstraction, reverse engineering
3	Hyunyoung Kil, Wonhong Nam, Dongwon Lee	Automatic web service composition with abstraction and refinement.	WWW	2009	DBLP DOI BibTeX RDF	refinement, abstraction, service composition
3	Kuntal Nanshi, Fabio Somenzi	Constraints in one-to-many concretization for abstraction refinement.	DAC	2009	DBLP DOI BibTeX RDF	simulation, model checking, abstraction refinement
3	Ramon Serna Oliver, Ivan Shcherbakov, Gerhard Fohler	An efficient operating system abstraction layer for portable applications in the domain of wireless sensor networks.	SenSys	2009	DBLP DOI BibTeX RDF	WSN, operating system, abstraction, embedded, API
3	Hanli Zhao, Xiaogang Jin, Jianbing Shen, Li Shen, Ruifang Pan	Fast Shape-Simplifying Image Abstraction Using Graphics Hardware.	Edutainment	2009	DBLP DOI BibTeX RDF	flow-based filtering, GPU, Non-photorealistic rendering, image abstraction
3	Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo	Abstraction in model checking multi-agent systems.	AAMAS	2009	DBLP DOI BibTeX RDF	model checking, abstraction, epistemic logic
3	Kevin Waugh, David Schnizlein, Michael H. Bowling, Duane Szafron	Abstraction pathologies in extensive games.	AAMAS	2009	DBLP DOI BibTeX RDF	game theory, abstraction, equilibrium, pathologies
3	Curtis M. Humphrey, Julie A. Adams	General visualization abstraction algorithm for geographic map-based human-robot interfaces.	HRI	2009	DBLP DOI BibTeX RDF	human-robot interfaces (HRI), information abstraction, GIS
3	Xiaofeng Mi, Douglas DeCarlo, Matthew Stone	Abstraction of 2D shapes in terms of parts.	NPAR	2009	DBLP DOI BibTeX RDF	abstraction, non-photorealistic rendering, symmetry
3	Richard M. Salter, John L. Donaldson	Abstraction and extensibility in digital logic simulation software.	SIGCSE	2009	DBLP DOI BibTeX RDF	simulation, abstraction, logic design
3	Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich	The synergy of precise and fast abstractions for program verification.	SAC	2009	DBLP DOI BibTeX RDF	CEGAR, predicate abstraction, abstraction refinement
3	Chia-Hung Yeh, Chih-Hung Kuo, Rung-Wen Liou	Movie story intensity representation through audiovisual tempo analysis.	Multimedia Tools Appl.	2009	DBLP DOI BibTeX RDF	Movie analysis, Movie abstraction, Tempo analysis, Indexing, Summarization, Video abstraction, Skimming
3	Erika Ábrahám, Andreas Grüner, Martin Steffen	Heap-abstraction for an object-oriented calculus with thread classes.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Class-based OO languages, Thread-based concurrency, Heap abstraction, Observable behavior, Open systems, Formal semantics
3	David G. Mitchell, Eugenia Ternovska	Expressive power and abstraction in Essence.	Constraints	2008	DBLP DOI BibTeX RDF	Essence, Constraint modelling languages, Model expansion, Abstraction, Expressive power, Descriptive complexity
3	Gianpiero Cabodi, Marco Murciano, Sergio Nocco, Stefano Quer	Boosting interpolation with dynamic localized abstraction and redundancy removal.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Interpolant, abstraction, redundancy removal
3	Orit Hazzan	Reflections on teaching abstraction and other soft ideas.	SIGCSE Bulletin	2008	DBLP DOI BibTeX RDF	soft ideas, abstraction, computer science education, reflection
3	Nicla Rossini	Gestural Abstraction and Restatement: From Iconicity to Metaphor.	COST 2102 Conference (Prague)	2008	DBLP DOI BibTeX RDF	Gestural abstraction, Gestural metaphor, Metaphoric thought, Restatement, Iconicity
3	Shinya Umeno	Event order abstraction for parametric real-time system verification.	EMSOFT	2008	DBLP DOI BibTeX RDF	automatic timing synthesis, counter-example guided abstraction refinement (cegar), event-based approach, parametric verification
3	Nikolaos D. Liveris, Hai Zhou, Robert P. Dick, Prithviraj Banerjee	State space abstraction for parameterized self-stabilizing embedded systems.	EMSOFT	2008	DBLP DOI BibTeX RDF	verification, abstraction, parameterized systems, self-stabilizing systems, network invariants
3	Constantin Enea	Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.	ECBS	2008	DBLP DOI BibTeX RDF	equational abstraction, CEGAR, verification, refinement
3	Yan Chen, Fei Xie, Jin Yang	Optimizing automatic abstraction refinement for generalized symbolic trajectory evaluation.	DAC	2008	DBLP DOI BibTeX RDF	automatic abstraction refinement, generalized symbolic trajectory evaluation, model checking
3	Lutz Frommberger, Diedrich Wolter	Spatial Abstraction: Aspectualization, Coarsening, and Conceptual Classification.	Spatial Cognition	2008	DBLP DOI BibTeX RDF	knowledge representation, abstraction, knowledge transfer
3	Li Li, Ming Gu, Xiaoyu Song, Jianmin Wang 0001	Effective Predicate Abstraction for Program Verification.	TASE	2008	DBLP DOI BibTeX RDF	program verification, predicate abstraction
3	Orit Hazzan, Jeff Kramer	The role of abstraction in software engineering.	ICSE Companion	2008	DBLP DOI BibTeX RDF	organizational learning., management, abstraction, cognition, software engineering processes
3	Young Jin Jung, Silvia Nittel	Geosensor Data Abstraction for Environmental Monitoring Application.	GIScience	2008	DBLP DOI BibTeX RDF	Sensor data abstraction, Slope grid, GIS, Surface model, Geosensor network
3	Chi-Yao Tseng, Pin-Chieh Sung, Ming-Syan Chen	A novel email abstraction scheme for spam detection.	CIKM	2008	DBLP DOI BibTeX RDF	email abstraction, near-duplicate matching, spam detection
3	Jan-Georg Smaus, Jörg Hoffmann	Relaxation Refinement: A New Method to Generate Heuristic Functions.	MoChArt	2008	DBLP DOI BibTeX RDF	Directed model checking, timed automata, predicate abstraction, abstraction refinement
3	Diomidis Spinellis	Abstraction and Variation.	IEEE Software	2007	DBLP DOI BibTeX RDF	abstraction, generics, types, function, class
3	Fei Pu, Wenhui Zhang	Combining search space partition and abstraction for LTL model checking.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	search space partition, LTL model checking, refinement, abstraction
3	Bodil Biering, Lars Birkedal, Noah Torp-Smith	BI-hyperdoctrines, higher-order separation logic, and abstraction.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	hyperdoctrines, abstraction, Separation logic
3	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	ACM Trans. Program. Lang. Syst.	2007	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, Software model checking
3	Andrew Gilpin, Tuomas Sandholm	Lossless abstraction of imperfect information games.	J. ACM	2007	DBLP DOI BibTeX RDF	Automated abstraction, computer poker, equilibrium finding, sequential games of imperfect information, game theory
3	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont	Probabilistic abstraction for model checking: An approach based on property testing.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	Approximate verification, probabilistic abstraction, model checking, property testing, probabilistic verification
3	Shuvendu K. Lahiri, Randal E. Bryant	Predicate abstraction with indexed predicates.	ACM Trans. Comput. Log.	2007	DBLP DOI BibTeX RDF	infinite-state verification, invariant synthesis, Formal verification, abstract interpretation, cache-coherence protocols, predicate abstraction
3	Sandip Ray, Rob Sumners	Combining Theorem Proving with Model Checking through Predicate Abstraction.	IEEE Design & Test of Computers	2007	DBLP DOI BibTeX RDF	model checking, formal verification, theorem proving, predicate abstraction, ACL2
3	Edmund M. Clarke, Himanshu Jain, Daniel Kroening	Verification of SpecC using predicate abstraction.	Formal Methods in System Design	2007	DBLP DOI BibTeX RDF	Verification, System level design, Predicate abstraction
3	SeungEun Cha, DaiYoung Kwon, Won-Gyu Lee	Using puzzles: problem-solving and abstraction.	SIGITE Conference	2007	DBLP DOI BibTeX RDF	teaching/learning strategy, abstraction, programming, generalization, problem-solving, novice, puzzle
3	Nicolas Blanc, Alex Groce, Daniel Kroening	Verifying C++ with STL containers via predicate abstraction.	ASE	2007	DBLP DOI BibTeX RDF	model checking, verification, C++, iterator, predicate abstraction, STL
3	Fei He, Xiaoyu Song, Ming Gu, Jiaguang Sun	Effective heuristics for counterexample-guided abstraction refinement.	ACM Great Lakes Symposium on VLSI	2007	DBLP DOI BibTeX RDF	model checking, verification, heuristics, SoC, abstraction
3	Asaf Shabtai, Maor Atlas, Yuval Shahar, Yuval Elovici	Evaluation of a temporal-abstraction knowledge acquisition tool in the network security domain.	K-CAP	2007	DBLP DOI BibTeX RDF	knowledge-based temporal abstraction, knowledge acquisition, computer-network security, temporal patterns, malicious software
3	Gyuhyun Kwon, Dong-Han Ham, Wan Chul Yoon	Evaluation of software usability using scenarios organized by abstraction structure.	ECCE	2007	DBLP DOI BibTeX RDF	scenario-based approach, usability evaluation, abstraction hierarchy, software usability
3	Stijn De Saeger, Atsushi Shimojima	Channeling Abstraction.	SARA	2007	DBLP DOI BibTeX RDF
3	Fan Yang, Joseph C. Culberson, Robert Holte	Using Infeasibility to Improve Abstraction-Based Heuristics.	SARA	2007	DBLP DOI BibTeX RDF
3	Lorenza Saitta, Pietro Torasso, Gianluca Torta	Formalizing the Abstraction Process in Model-Based Diagnosis.	SARA	2007	DBLP DOI BibTeX RDF
3	Nathan R. Sturtevant, M. Renee Jansen	An Analysis of Map-Based Abstraction and Refinement.	SARA	2007	DBLP DOI BibTeX RDF
3	Vadim Bulitko	State Abstraction in Real-Time Heuristic Search.	SARA	2007	DBLP DOI BibTeX RDF
3	Lorenza Saitta, Jean-Daniel Zucker	Abstraction and Complexity Measures.	SARA	2007	DBLP DOI BibTeX RDF
3	Rong Zhou	Leveraging Graph Locality Via Abstraction.	SARA	2007	DBLP DOI BibTeX RDF
3	Mengjun Li, Ti Zhou, Zhoujun Li, Huowang Chen	An Abstraction and Refinement Framework for Verifying Security Protocols Based on Logic Programming.	ASIAN	2007	DBLP DOI BibTeX RDF	abstraction and refinement, security protocol
3	Jan Ohlenburg, Wolfgang Broll, Irma Lindt	DEVAL - A Device Abstraction Layer for VR/AR.	HCI	2007	DBLP DOI BibTeX RDF	Device Abstraction, Output Devices, Virtual Reality, Augmented Reality, Input Devices
3	Marc Segelken	Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models.	CAV	2007	DBLP DOI BibTeX RDF	automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking
3	Manoranjan Satpathy, S. Ramesh	Test case generation from formal models through abstraction refinement and model checking.	A-MOST	2007	DBLP DOI BibTeX RDF	counterexample guided abstraction refinement, model based testing, B-method
3	Ramzi Ben Salah, Marius Bozga, Oded Maler	On timed components and their abstraction.	SAVCBS	2007	DBLP DOI BibTeX RDF	components, abstraction, timed automata
3	Dirk Beyer, Thomas A. Henzinger, Rupak Majumdar, Andrey Rybalchenko	Path invariants.	PLDI	2007	DBLP DOI BibTeX RDF	invariant synthesis, formal verification, software model checking, predicate abstraction, abstraction refinement
3	Tosiyasu L. Kunii, Kenji Ohmori	Cyberworlds: architecture and modeling by an incrementally modular abstraction hierarchy.	The Visual Computer	2006	DBLP DOI BibTeX RDF	Incrementally modular abstraction hierarchy, Fiber bundles, Adjunction spaces, Homotopy, Cyberspaces, Cellular spaces, Cyberworlds, Algebraic topology
3	Rajeev Alur, Thao Dang, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embedded Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
3	Holger Winnemöller, Sven C. Olsen, Bruce Gooch	Real-time video abstraction.	ACM Trans. Graph.	2006	DBLP DOI BibTeX RDF	non-photorealistic rendering, visual perception, visual communication, image abstraction
3	Tony Gorschek, Claes Wohlin	Requirements Abstraction Model.	Requir. Eng.	2006	DBLP DOI BibTeX RDF	Market-driven product-centered continuous requirements engineering, Requirements abstraction, Product strategy, Product management
3	Jens Bennedsen, Michael E. Caspersen	Abstraction ability as an indicator of success for learning object-oriented programming?	SIGCSE Bulletin	2006	DBLP DOI BibTeX RDF	model-based programming, abstraction, CS1, objects-first, success factors