Search results for "M-abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
70	Amir Pnueli	Using Abstraction to Verify Arbitrary Temporal Properties.	APSEC	2008	DBLP DOI BibTeX RDF
65	Amir Pnueli	Ranking Abstraction as a Companion to Predicate Abstraction, .	ATVA	2005	DBLP DOI BibTeX RDF
64	Peter Wegner	Granularity of modules in object-based concurrent systems.	OOPSLA/ECOOP Workshop on Object-based Concurrent Programming	1988	DBLP DOI BibTeX RDF
59	Lawrence A. Rowe	Data Abstraction From a Programming Language Viewpoint.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
54	Ittai Balaban, Amir Pnueli, Lenore D. Zuck	Ranking Abstraction as Companion to Predicate Abstraction.	FORTE	2005	DBLP DOI BibTeX RDF
52	Mary Shaw	Abstraction, Data Types, and Models for Software.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
52	Randy H. Katz	Heterogeneous Databases and High Level Abstraction.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
52	Sagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav	Efficient Verification of Sequential and Concurrent C Programs.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	concurrency, process algebra, software verification, predicate abstraction, abstraction refinement
50	Constantin Enea	Counterexample Guided Abstraction Refinement is Better under Equational Abstraction.	ECBS	2008	DBLP DOI BibTeX RDF	equational abstraction, CEGAR, verification, refinement
49	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
49	Burt M. Leavenworth	A Data Abstraction Approach to Database Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
49	Dennis McLeod, John Miles Smith	Abstraction in Databases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
48	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
48	Andreas Podelski, Andrey Rybalchenko	Transition predicate abstraction and fair termination.	POPL	2005	DBLP DOI BibTeX RDF	fair termination, transition predicate abstraction, liveness, software model checking
46	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Grégoire Sutre	Software Verification with BLAST.	SPIN	2003	DBLP DOI BibTeX RDF
46	Johan de Kleer	Dynamic Domain Abstraction Through Meta-diagnosis.	SARA	2007	DBLP DOI BibTeX RDF	Abstraction, diagnosis, qualitative reasoning, model-based reasoning
45	Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi	Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
44	Byunghee Jung, Junehwa Song, Yoon-Joon Lee	A narrative-based abstraction framework for story-oriented video.	ACM Trans. Multim. Comput. Commun. Appl.	2007	DBLP DOI BibTeX RDF	online review services, story-oriented, video abstraction system, film, Video abstraction, narrative structure, story understanding
44	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
44	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
43	Stijn De Saeger, Atsushi Shimojima	Channeling Abstraction.	SARA	2007	DBLP DOI BibTeX RDF
43	Patrick J. Hayes, Gary G. Hendrix	A Logical View of Types.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
42	Stephen Lin, Robert Wright	Evolutionary Tile Coding: An Automated State Abstraction Algorithm for Reinforcement Learning.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
42	Steven Loscalzo, Robert William Wright	Automatic Methods for Continuous State Space Abstraction.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
42	Ethan Burns, Sofia Lemons, Wheeler Ruml, Rong Zhou 0001	Parallel Best-First Search: The Role of Abstraction.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
42	Anthony I. Wasserman	The Extension of Data Abstraction to Database Management.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
42	James W. Thatcher	Data Abstraction, Data Bases and Conceptual Modelling.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	CLEAR
42	Michael L. Brodie	Data Abstraction for Designing Database-Intensive Applications.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
42	Michael E. Senko	DIAM II and Levels of Abstraction.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
42	James J. Horning	Some Desirable Properties of Data Abstraction Facilities.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
42	John Miles Smith, Diane C. P. Smith	Data Base Abstraction.	Conference on Data: Abstraction, Definition and Structure	1976	DBLP DOI BibTeX RDF
41	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
41	Juncao Li, Xiuli Sun, Fei Xie, Xiaoyu Song	Component-Based Abstraction and Refinement.	ICSR	2008	DBLP DOI BibTeX RDF
41	Artem Polyvyanyy, Sergey Smirnov 0002, Mathias Weske	Process Model Abstraction: A Slider Approach.	EDOC	2008	DBLP DOI BibTeX RDF
41	Takayuki Dan Kimura	Object-Oriented Dataflow.	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
40	Herman Koppelman, Betsy van Dijk	Teaching abstraction in introductory courses.	ITiCSE	2010	DBLP DOI BibTeX RDF	abstraction, pedagogy, computer science, recursion, abstraction level
40	Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz	An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists.	Formal Methods Syst. Des.	2003	DBLP DOI BibTeX RDF	phase abstraction, automatic abstraction, CTL model checking, level-sensitive latch, bisimulation, model reduction
40	Yonit Kesten, Amir Pnueli	Control and Data Abstraction: The Cornerstones of Practical Formal Verification.	Int. J. Softw. Tools Technol. Transf.	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
40	Donald R. Chand, Surya B. Yadav	On the application of data abstraction facilities.	ACM Annual Conference (2)	1978	DBLP DOI BibTeX RDF	Abstraction facilities, Application of data abstraction, Design and implementation of programming languages, Encapsulated data types, Quality software, Programming methodology
40	Lorenza Saitta, Jean-Daniel Zucker	Abstraction and Complexity Measures.	SARA	2007	DBLP DOI BibTeX RDF
40	Roman Manevich, Eran Yahav, Ganesan Ramalingam, Shmuel Sagiv	Predicate Abstraction and Canonical Abstraction for Singly-Linked Lists.	VMCAI	2005	DBLP DOI BibTeX RDF
40	Heinrich C. Mayr	Make More of Data Types.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
38	Dirk Beyer 0001, 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
38	Sumit Kumar Jha 0001, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke	Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.	HSCC	2007	DBLP DOI BibTeX RDF
38	Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi	Property-Driven Partitioning for Abstraction Refinement.	TACAS	2007	DBLP DOI BibTeX RDF
38	Qingguang Cui, Matthew O. Ward, Elke A. Rundensteiner, Jing Yang 0001	Measuring Data Abstraction Quality in Multiresolution Visualizations.	IEEE Trans. Vis. Comput. Graph.	2006	DBLP DOI BibTeX RDF	Multiresolution Visualization Authors 1:, Clustering, Metrics, Sampling
38	Byron Cook, Andreas Podelski, Andrey Rybalchenko	Abstraction Refinement for Termination.	SAS	2005	DBLP DOI BibTeX RDF
38	Himanshu Jain, Franjo Ivancic, Aarti Gupta, Malay K. Ganai	Localization and Register Sharing for Predicate Abstraction.	TACAS	2005	DBLP DOI BibTeX RDF
38	Amir Pnueli	Abstraction for Liveness.	VMCAI	2005	DBLP DOI BibTeX RDF
38	Ehud Shapiro	Invited Lecture - Molecule as Computation: Towards an Abstraction of Biomolecular Systems.	WABI	2002	DBLP DOI BibTeX RDF
37	Jiaying Shen, Victor R. Lesser	Communication management using abstraction in distributed Bayesian networks.	AAMAS	2006	DBLP DOI BibTeX RDF	decentralized MDP, communication, abstraction
37	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	Word level predicate abstraction and refinement for verifying RTL verilog.	DAC	2005	DBLP DOI BibTeX RDF	SAT, predicate abstraction, verilog
37	Liang Zhang 0012, Mukul R. Prasad, Michael S. Hsiao, Thomas Sidle	Dynamic abstraction using SAT-based BMC.	DAC	2005	DBLP DOI BibTeX RDF	model checking, SAT, abstraction refinement
37	Natalia Ioustinova, Natalia Sidorova, Martin Steffen	Abstraction and Flow Analysis for Model Checking Open Asynchronous Systems.	APSEC	2002	DBLP DOI BibTeX RDF	open components, formal methods, program transformation, abstraction, asynchronous communication, software model checking, flow analysis
36	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
36	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
36	Robert 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
36	Charles Rich	Multiple Points of View in Modelling Programs.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
36	Hector J. Levesque	Incompleteness in Knowledge Bases.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
36	Flaviu Cristian	On the Specification of Behavioural Constraints.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
36	Joachim W. Schmidt	Design, Specification and Application.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
36	Herbert Weber	Are Data Types Universal Modelling Concepts for Data Base Systems?	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF	PLAIN
36	Lawrence A. Rowe	Issues in the Design of Database Programming Languages.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
36	Hartmut Wedekind	Constructive Abstract Data Types (CAD).	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
36	W. Terry Hardgrave, Donald R. Deutsch	Processing Data Model Abstractions.	Workshop on Data Abstraction, Databases and Conceptual Modelling	1980	DBLP DOI BibTeX RDF
36	Russ Abbott	Abstraction, Emergence, and Thought.	SARA	2007	DBLP DOI BibTeX RDF	thought externalization, Abstraction, emergence
35	Juan-Antonio Fernández-Madrigal, Javier Gonzalez 0001, Cipriano Galindo	Abstraction and Multiple Abstraction in the Symbolic Modeling of the Environment of Mobile Robots.	SARA	2005	DBLP DOI BibTeX RDF
34	Jeffrey Kramer	Abstraction and Modelling: A Complementary Partnership.	TFM	2009	DBLP DOI BibTeX RDF
34	Shuvendu K. Lahiri, Shaz Qadeer	Complexity and Algorithms for Monomial and Clausal Predicate Abstraction.	CADE	2009	DBLP DOI BibTeX RDF
34	Youngbin Park, Il Hong Suh, Byung-Uk Choi	Hierarchical Abstraction of World Elements and Behaviors for efficient task planning of a mobile robot.	IROS	2008	DBLP DOI BibTeX RDF
34	Jeff Kramer	Abstraction and Modelling - A Complementary Partnership.	MoDELS	2008	DBLP DOI BibTeX RDF
34	Flavio M. de Paula, Alan J. Hu	EverLost: A Flexible Platform for Industrial-Strength Abstraction-Guided Simulation.	CAV	2006	DBLP DOI BibTeX RDF
34	Lawrence A. Crowl, Thomas J. LeBlanc	Control abstraction in parallel programming languages.	ICCL	1992	DBLP DOI BibTeX RDF
33	David B. Lomet	Dependability, Abstraction, and Programming.	DASFAA	2009	DBLP DOI BibTeX RDF	application persistence, scalability, dependability, abstraction, availability, programming model, enterprise applications
33	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
33	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
33	Rajeev Alur, Thao Dang 0001, Franjo Ivancic	Predicate abstraction for reachability analysis of hybrid systems.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	hybrid systems, Reachability analysis, predicate abstraction
33	Masoud Asadpour, Majid Nili Ahmadabadi, Roland Siegwart	Reduction of Learning Time for Robots Using Automatic State Abstraction.	EUROS	2006	DBLP DOI BibTeX RDF	State Abstraction, Hierarchical Reinforcement Learning
33	Jeff Kramer, Orit Hazzan	The role of abstraction in software engineering.	ICSE	2006	DBLP DOI BibTeX RDF	management, abstraction, cognition, organizational learning, software engineering processes
33	Roy Friedman, Achour Mostéfaoui, Michel Raynal	Intersecting Sets: a Basic Abstraction for Asynchronous Agreement Problems.	PRDC	2005	DBLP DOI BibTeX RDF	Computing abstraction, Non blocking atomic commit, Distributed algorithm, Message passing, Consensus, Asynchronous system, Failure detector
33	Alexandru C. Telea, Cristian Sminchisescu, Sven J. Dickinson	Optimal Inference for Hierarchical Skeleton Abstraction.	ICPR (4)	2004	DBLP DOI BibTeX RDF	Skeleton abstraction, qualitative shape matching, constrained optimization, energy minimization, minimum description length, shock graphs
33	Zaher S. Andraus, Karem A. Sakallah	Automatic abstraction and verification of verilog models.	DAC	2004	DBLP DOI BibTeX RDF	UCLID, logic of counter arithmetic with lambda expressions and uninter-preted functions (CLU), abstraction, register transfer level (RTL), verilog
33	Morten Lind	Making sense of the abstraction hierarchy in the power plant domain.	Cogn. Technol. Work.	2003	DBLP DOI BibTeX RDF	Supervisory control, Automation design, Plant modeling, Cognitive engineering, Abstraction hierarchies
33	K. Rustan M. Leino, Greg Nelson	Data abstraction and information hiding.	ACM Trans. Program. Lang. Syst.	2002	DBLP DOI BibTeX RDF	Abstract variables, abstraction dependencies, modifies clauses, object-oriented programming, specifications, modular verification, extended static checking
33	Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl	Automatic abstraction for model checking software systems with interrelated numeric constraints.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	domain abstraction, model checking software systems, numeric constraints
33	Sabine Timpf	Abstraction, Levels of Detail, and Hierarchies in Map Series.	COSIT	1999	DBLP DOI BibTeX RDF	abstraction processes, part-whole relations, map series, presentation of spatial information, levels of detail, hierarchies
33	Hongji Yang, Xiaodong Liu 0001, Hussein Zedan	Tackling the Abstraction Problem for Reverse Engineering in a System Re-engineering Approach.	ICSM	1998	DBLP DOI BibTeX RDF	reverse engineering, object oriented, abstraction, re-engineering, Interval Temporal Logic, wide spectrum language
33	Francis K. H. Quek, Ramesh C. Jain, Terry E. Weymouth	An Abstraction-Based Approach to 3-D Pose Determination from Range Images.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	cylindrical surfaces, Gaussian curvature sign-map descriptors, 3-D pose determination, abstraction-based paradigm, mean curvature sign-map descriptors, algebraic surface descriptions, biquadratic surfaces, cylinder approximation, parameter estimation, parameter estimation, image recognition, image recognition, range images, approximation theory, polynomial approximations, nonlinear regression, planar surfaces
33	Victoria Sakhnini, Orit Hazzan	Reducing Abstraction in High School Computer Science Education: The Case of Definition, Implementation, and Use of Abstract Data Types.	ACM J. Educ. Resour. Comput.	2008	DBLP DOI BibTeX RDF	reducing abstraction, abstraction, computer science education, problem solving, abstract data types
33	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
33	Marcelo Campo, Ricardo Orosco, Alfredo Raúl Teyseyre	Interactive Abstraction Control in Visualization Systems.	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
33	Richard Eric Mortimer, Keith H. Bennett	Maintenance and abstraction of program data using formal transformations.	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
33	Lorenza Saitta, Pietro Torasso, Gianluca Torta	Formalizing the Abstraction Process in Model-Based Diagnosis.	SARA	2007	DBLP DOI BibTeX RDF
32		Abstraction, Reformulation, and Approximation, Papers from the 2010 AAAI Workshop, Atlanta, Georgia, USA, July 12, 2010	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Xiaoming Zheng, Sven Koenig	Market-Based Algorithms for Allocating Complex Tasks.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Gregory M. Provan, Ashish Sabharwal	Preface.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Joshua Jones, Ashok K. Goel 0001	Effects of Faulty Knowledge Engineering on Structured Classification Learning.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Christian Drescher, Toby Walsh	Reformulation of Global Constraints in Answer Set Programming.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Roman Barták, Ondrej Kuzelka, Filip Zelezný	Formulating Template Consistency in Inductive Logic Programming as a Constraint Satisfaction Problem.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF
32	Susan L. Epstein, Xi Yun	From Unsolvable to Solvable: An Exploration of Simple Changes.	Abstraction, Reformulation, and Approximation	2010	DBLP BibTeX RDF