Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Andreas Jürgen Lachenmann, Pedro José Marrón, Daniel Minder, Kurt Rothermel	Meeting lifetime goals with energy levels.	SenSys	2007	DBLP DOI BibTeX RDF	lifetime goal, wireless sensor network, energy, programming abstraction
17	Tina Nolte, Nancy A. Lynch	Self-stabilization and Virtual Node Layer Emulations.	SSS	2007	DBLP DOI BibTeX RDF	virtual stationary automata, virtual node layer, abstraction layer emulation, TIOA, mobile ad-hoc networking, self-stabilization, geocast
17	Katalin Popovici, Ahmed Amine Jerraya	Simulink based hardware-software codesign flow for heterogeneous MPSoC.	SCSC	2007	DBLP BibTeX RDF	hardware-software gradual refinement, multimedia applications, abstraction levels
17	Patrice Gerin, Hao Shen, A. Chureau, Aimen Bouchhima, Ahmed Amine Jerraya	Flexible and Executable Hardware/Software Interface Modeling for Multiprocessor SoC Design Using SystemC.	ASP-DAC	2007	DBLP DOI BibTeX RDF	transaction accurate level, hardware/software interface modeling, multiprocessor SoC design, automatic generation tools, system-on-chip, SystemC, abstraction level, architecture exploration
17	Ádám Darvas, Peter Müller 0001	Faithful mapping of model classes to mathematical structures.	SAVCBS	2007	DBLP DOI BibTeX RDF	model classes, verification, specification, abstraction, isomorphism, java modeling language
17	Will N. Browne, Charalambos Ioannides	Investigating scaling of an abstracted LCS utilising ternary and s-expression alphabets.	GECCO (Companion)	2007	DBLP DOI BibTeX RDF	abstraction, learning classifier systems
17	Isabelle Gnaedig	Induction for positive almost sure termination.	PPDP	2007	DBLP DOI BibTeX RDF	constraint, probability, abstraction, termination, narrowing
17	Melvin Fitting	FOIL Axiomatized.	Stud Logica	2006	DBLP DOI BibTeX RDF	modal logic, predicate abstraction, axiomatization, tableaux, intensional logic
17	Patrick Schaumont, Ingrid Verbauwhede	A Component-Based Design Environment for ESL Design.	IEEE Des. Test Comput.	2006	DBLP DOI BibTeX RDF	reuse, abstraction, ESL, electronic system-level design
17	Walter Dosch, Annette Stümpel	Deriving State-Based Implementations of Interactive Components with History Abstractions.	Ershov Memorial Conference	2006	DBLP DOI BibTeX RDF	Interactive component, stream processing function, history abstraction, state transition machine, communication history
17	Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001	A Counterexample-Guided Refinement Tool for Open Procedural Programs.	SPIN	2006	DBLP DOI BibTeX RDF	CSP, software model checking, game semantics, abstraction refinement, FDR
17	Michal Armoni, Judith Gal-Ezer	Reduction -- an abstract thinking pattern: the case of the computational models course.	SIGCSE	2006	DBLP DOI BibTeX RDF	abstraction, computational models, reduction, reductive thinking
17	Alexandre Moïse	Analyse des logiciels d'application spécialisée pour le courtage en épargne collective.	IHM	2006	DBLP DOI BibTeX RDF	mutual funds, evaluation, human-computer interface, portfolio management, abstraction hierarchy
17	Jim Doran	Algorithmic Analysis of Production Systems Used as Agent-Based Social Simulation Models.	EPOS	2006	DBLP DOI BibTeX RDF	agent discovery, guerrilla warfare, Iruba model, production systems, Model analysis, model abstraction
17	Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha 0001	Concurrent software verification with states, events, and deadlocks.	Formal Aspects Comput.	2005	DBLP DOI BibTeX RDF	Concurrent software, States and events, Counterexample-guided abstraction refinement, Model checking, Temporal logic, Deadlock, Compositional reasoning
17	Kasper Hallenborg	Contextual Interfacing: A Sensor and Actuator Framework.	EUC	2005	DBLP DOI BibTeX RDF	pervasive computing, context, framework, Sensors, abstraction
17	Anne Miller	A work domain analysis framework for modelling intensive care unit patients.	Cogn. Technol. Work.	2004	DBLP DOI BibTeX RDF	Abbreviations ADS Abstraction decomposition space, DST Dissipative structures theory, HIV/AIDS Human immunodeficiency virus/acquired immunodeficiency syndrome, ICU Intensive care unit, RDF Recursive diagnostic framework, RPD Recognition primed decision model, R-VSM Revised viable systems model, VSM Viable systems model, WDA Work domain analysis
17	Thomas Stauner	Properties of Hybrid Systems-A Computer Science Perspective.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	property classification, stability, abstraction, hybrid systems
17	Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond	Counter-example generation in symbolic abstract model-checking.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Concrete counterexample, Model-checking, Abstraction, Test pattern generation
17	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Kenneth L. McMillan	Abstractions from proofs.	POPL	2004	DBLP DOI BibTeX RDF	counterexample analysis, software model checking, predicate abstraction
17	Chris E. Weaver	Building Highly-Coordinated Visualizations in Improvise.	INFOVIS	2004	DBLP DOI BibTeX RDF	coordinated queries, visual abstraction language, coordination, multiple views, exploratory visualization
17	Andrew G. Barto, Sridhar Mahadevan	Recent Advances in Hierarchical Reinforcement Learning.	Discret. Event Dyn. Syst.	2003	DBLP DOI BibTeX RDF	reinforcement learning, hierarchy, Markov decision processes, temporal abstraction, semi-Markov decision processes
17	Willem Visser, Klaus Havelund, Guillaume P. Brat, Seungjoon Park, Flavio Lerda	Model Checking Programs.	Autom. Softw. Eng.	2003	DBLP DOI BibTeX RDF	Java, model checking, static analysis, abstraction, symmetry, runtime analysis
17	Alain Girault, Xavier Nicollin	Clock-Driven Automatic Distribution of Lustre Programs.	EMSOFT	2003	DBLP DOI BibTeX RDF	synchronous abstraction, data-flow languages, long duration tasks, reactive systems, clocks, Automatic distribution
17	Arron R. Walker, Binh Pham 0001, Anthony J. Maeder	A framework for a dynamic interactive 3D GIS for non-expert users.	GRAPHITE	2003	DBLP DOI BibTeX RDF	data abstraction model, geographic information system, relevance feedback, visual query language
17	Roberto Giacobazzi, Isabella Mastroeni	Domain Compression for Complete Abstractions.	VMCAI	2003	DBLP DOI BibTeX RDF	domain refinement, abstract model-checking, program analysis, Abstract interpretation, completeness, predicate abstraction, abstract domains
17	Tse-Min Lin, John A. McDermid	A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.	Ada-Europe	2003	DBLP DOI BibTeX RDF	behavioural subtyping, supertype abstraction, object-oriented programming, SPARK, modular reasoning
17	Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux	Extending the Translation from SDL to Promela.	SPIN	2002	DBLP DOI BibTeX RDF	SDL formalism, save operator, model-checking, data abstraction
17	Ion Stoica, Daniel Adkins, Shelley Zhuang, Scott Shenker, Sonesh Surana	Internet indirection infrastructure.	SIGCOMM	2002	DBLP DOI BibTeX RDF	internet, scalable, architecture, abstraction, indirection
17	Christoph Bartneck	How Convincing is Mr. Data's Smile: Affective Expressions of Machines.	User Model. User Adapt. Interact.	2001	DBLP DOI BibTeX RDF	affective expressions, convincingness, distinctness, emotion, abstraction, music, speech, face, modality
17	Bettina Berendt	Detail and Context in Web Usage Mining: Coarsening and Visualizing Sequences.	WEBKDD	2001	DBLP DOI BibTeX RDF	visualization, abstraction, Web usage mining, statistical methods, agent communication, sequence mining
17	Ralph-Johan Back, Joakim von Wright	Encoding, Decoding and Data Refinement.	Formal Aspects Comput.	2000	DBLP DOI BibTeX RDF	Predicate transformer semantics, Abstraction, Galois connection, Data refinement
17	Jean-Paul Bodeveix, Mamoun Filali	FMona: A Tool for Expressing Validation Techniques over Infinite State Systems.	TACAS	2000	DBLP DOI BibTeX RDF	abstraction, transition systems, monadic second order logic, model checker
17	Suchitra Raman, Hari Balakrishnan, Murari Srinivasan	An Image Transport Protocol for the Internet.	ICNP	2000	DBLP DOI BibTeX RDF	image transport protocol, Web downloads, in-order byte-stream abstraction, loss-prone congested networks, user-perceived latency, application level framing, out-of-order application data unit, receiver-driven selective reliability, image formats, receiver post-processing algorithms, Internet, Internet, image processing, image processing, wireless networks, transport protocols, image quality, JPEG, JPEG2000, visual communication, UDP, error concealment, PSNR, receiver, network congestion, image transmission, image data, peak signal-to-noise ratio, image rendering, reconstructed images, congestion manager, interactive performance
17	David W. Albrecht, Ingrid Zukerman, Ann E. Nicholson	Bayesian Models for Keyhole Plan Recognition in an Adventure Game.	User Model. User Adapt. Interact.	1998	DBLP DOI BibTeX RDF	performance evaluation, abstraction, Bayesian Belief Networks, Plan recognition, language learning
17	Twan Basten, Thomas Kunz, James P. Black, Michael H. Coffin, David J. Taylor	Vector Time and Causality Among Abstract Events in Distributed Computations.	Distributed Comput.	1997	DBLP DOI BibTeX RDF	Event abstraction, Vector time, Distributed systems, Causality, Partial order, Logical time, Precedence relation
17	David D. Walden	A platform-centric functional hierarchy.	ECBS	1997	DBLP DOI BibTeX RDF	platform-centric functional hierarchy, system solution, conceptual layers, application abstraction, systems engineering, systems engineering, computer-based systems engineering, application functions
17	Michael Gagliardi, Ragunathan Rajkumar, Lui Sha	Designing for evolvability: building blocks for evolvable real-time systems.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	evolvable real-time systems, fielded real-time systems, system abstractions, run-time abstractions, replaceable unit abstraction, extensible cell, real-time POSIX testbed, Simplex architecture, Real-Time Publisher/Subscriber communication model, safe evolutionary requirements, communication rights, real-time systems, semantics, software maintenance, distributed processing, Unix, resource reservation, evolvability
17	Tae-Hyung Kim, James M. Purtilo	A Source-Level Transformation Framework for RPC-Based Distributed Programs.	HPDC	1996	DBLP DOI BibTeX RDF	source-level transformation framework, procedure call abstraction, programming task simplification, program analysis techniques, performance, parallel programming, distributed programs, remote procedure calls, remote procedure call, control flow, program diagnostics, code optimization, program control structures
17	Levent V. Orman	Structural analysis of decision models.	HICSS (3)	1995	DBLP DOI BibTeX RDF	computer based mathematical models, statistical problems, decision making problems, organizational model bases, micro structure, macro structure, complexity, constraints, decision support systems, abstraction, optimisation, statistical analysis, data models, decomposition, organizations, business data processing, optimization problems, structural analysis, decision models, mathematics computing
17	Roberto Baldoni, Achour Mostéfaoui, Michel Raynal	Efficient Causally Ordered Communications for Multimedia Real-Time Applications.	HPDC	1995	DBLP DOI BibTeX RDF	causally ordered communications, multimedia real-time applications, groupware real-time applications, real-time delivery constraints, one-to-one communications, protocols, protocol, groupware, delays, abstraction, communication network, multimedia systems, collaborative applications, telecommunication networks
17	Suresh B. Marapane, Mohan M. Trivedi	Multi-Primitive Hierarchical (MPH) Stereo Analysis.	IEEE Trans. Pattern Anal. Mach. Intell.	1994	DBLP DOI BibTeX RDF	multi-primitive hierarchical stereo analysis, hierarchical control strategy, region-based analysis module, linear edge segment-based analysis module, edgel-based stereo analysis module, multiple abstraction, image segmentation, edge detection, stereo image processing, hierarchical systems, image regions, disparity maps
17	Sudhir Aggarwal, Inje Kim, Weiyi Meng	Database Exploration with Dynamic Abstractions.	DEXA	1994	DBLP DOI BibTeX RDF	structural flexibility, database exploration, abstract view, user-interface, database systems, meta data, data abstraction
17	Gregory L. Heileman, Michael Georgiopoulos, William D. Roome	A General Framework for Concurrent Simulation of Neural Network Models.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	discrete event nonlinear dynamical systems, continuous-time differential equations, discrete-time difference equations, concurrent object-oriented discrete event simulation, data structures, object-oriented programming, parallel architectures, discrete event simulation, neural nets, object-oriented language, nonlinearities, parallel languages, data abstraction, neural network models, concurrent simulation, general-purpose parallel computer
17	Eiichi Horita	A Fully Abstract Model for a Nonuniform Concurrent Language with Parameterization and Locality.	REX Workshop	1992	DBLP DOI BibTeX RDF	local variables, local channels, concurrency, correctness, operational semantics, parameterization, metric spaces, denotational semantics, full abstraction, linear time, imperative languages, branching time, domain equations
17	Steven Klusener	The Silent Step in Time.	CONCUR	1992	DBLP DOI BibTeX RDF	& Phrases Real Time Process Algebra, Abstraction, ACP
17	Raphael A. Finkel, Michael L. Scott, Yeshayahu Artsy, Hung-Yang Chang	Experience with Charlotte: Simplicity and Function in a Distributed Operating System.	IEEE Trans. Software Eng.	1989	DBLP DOI BibTeX RDF	Charlotte distributed operating system, computation-intensive problems, large-grain parallelism, Crystal multicomputer, VAX-11/750 computers, kernel/process interface, bidirectional communication paths, synchronous nonblocking communications, multitask kernel, absolute distributed information, high-level tools, Lynx distributed programming language, kernal primitives, concurrency, abstraction, finite-state machines, local area network, local area networks, operating systems (computers), software packages, multiprocessing programs, computer communications software
17	Lucia Pomello	Refinement of Concurrent Systems Based on Local State Transformations.	REX Workshop	1989	DBLP DOI BibTeX RDF	functional abstraction and refinement, observable local/global states, local state transformations, morphisms preserving local state transformations
17	Nancy A. Lynch	Multivalued Possibilities Mappings.	REX Workshop	1989	DBLP DOI BibTeX RDF	abstraction mapping, possibilities mapping, history variables, distributed algorithms, mapping, garbage collection, transaction processing, safety property, time bounds, Alternating Bit Protocol
16	Prasun Dewan	Increasing the automation of a toolkit without reducing its abstraction and user-interface flexibility.	EICS	2010	DBLP DOI BibTeX RDF	mvc, preconditions, undo, user interface tools, user interface tools, redo
16	Henry Kang, Seungyong Lee 0001, Charles K. Chui	Flow-Based Image Abstraction.	IEEE Trans. Vis. Comput. Graph.	2009	DBLP DOI BibTeX RDF
16	Juan Antonio Navarro Pérez, Andrey Rybalchenko, Atul Singh	Cardinality Abstraction for Declarative Networking Applications.	CAV	2009	DBLP DOI BibTeX RDF
16	William R. Cook	On understanding data abstraction, revisited.	OOPSLA	2009	DBLP DOI BibTeX RDF	ADT, object, abstract data type, class
16	Antonio A. Sánchez-Ruiz-Granados, Pedro A. González-Calero, Belén Díaz-Agudo	Abstraction in Knowledge-Rich Models for Case-Based Planning.	ICCBR	2009	DBLP DOI BibTeX RDF
16	Steffen Viken Valvåg, Dag Johansen	Update Maps - A New Abstraction for High-Throughput Batch Processing.	NAS	2009	DBLP DOI BibTeX RDF
16	Muhammad Haroon, Marcus Handte, Pedro José Marrón	Generic Role Assignment: A Uniform Middleware Abstraction for Configuration of Pervasive Systems.	PerCom Workshops	2009	DBLP DOI BibTeX RDF
16	Sudhir Vinjamuri, Viktor K. Prasanna	Hierarchical Dependency Graphs: Abstraction and Methodology for Mapping Systolic Array Designs to Multicore Processors.	PaCT	2009	DBLP DOI BibTeX RDF	systolic array designs, parallel programming, high performance computing, multicore, dependency graphs
16	Xiaohui Zhao 0001, Chengfei Liu, Wasim Sadiq, Marek Kowalkiewicz, Sira Yongchareon	WS-BPEL Business Process Abstraction and Concretisation.	DASFAA	2009	DBLP DOI BibTeX RDF
16	Benjamin Weiß 0001	Predicate Abstraction in a Program Logic Calculus.	IFM	2009	DBLP DOI BibTeX RDF
16	Mrinal Bose, Prashant Naphade, Jayanta Bhadra, Hillel Miller	An abstraction mechanism to maximize stimulus portability across RTL, FPGA, software models and silicon of SoCs.	ISQED	2009	DBLP DOI BibTeX RDF
16	Mark Kattenbelt, Marta Z. Kwiatkowska, Gethin Norman, David Parker 0001	Abstraction Refinement for Probabilistic Software.	VMCAI	2009	DBLP DOI BibTeX RDF
16	Viktor Vafeiadis	Shape-Value Abstraction for Verifying Linearizability.	VMCAI	2009	DBLP DOI BibTeX RDF
16	Joost-Pieter Katoen, Daniel Klink, Martin R. Neuhäußer	Compositional Abstraction for Stochastic Systems.	FORMATS	2009	DBLP DOI BibTeX RDF
16	R. Venkatraman, Shrikrishna Pundoor, Arun Koithyar, Madhusudan Rao, Jagdish C. Rao	Optimisation Quality Assessment in Large, Complex SoC Designs Challenges and Solutions.	VLSI Design	2009	DBLP DOI BibTeX RDF
16	Peter B. Henderson	Abstraction, model checking and software correctness.	ACM SIGCSE Bull.	2008	DBLP DOI BibTeX RDF
16	Hiren D. Patel, Sandeep K. Shukla	On Cosimulating Multiple Abstraction-Level System-Level Models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
16	Sudeep Pasricha, Nikil D. Dutt, Mohamed Ben-Romdhane	Fast exploration of bus-based communication architectures at the CCATB abstraction.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	performance exploration, System-on-chip, transaction-level modeling, communication architecture, on-chip bus
16	William Thies, John Paul Urbanski, Todd Thorsen, Saman P. Amarasinghe	Abstraction layers for scalable microfluidic biocomputing.	Nat. Comput.	2008	DBLP DOI BibTeX RDF	Laboratory automation, Programming languages, DNA computing, Microfluidics, Self-assembly, Biological computation
16	William N. L. Browne	Improving Evolutionary Computation Based Data-Mining for the Process Industry: The Importance of Abstraction.	Learning Classifier Systems in Data Mining	2008	DBLP DOI BibTeX RDF
16	Pritam Roy, David Parker 0001, Gethin Norman, Luca de Alfaro	Symbolic Magnifying Lens Abstraction in Markov Decision Processes.	QEST	2008	DBLP DOI BibTeX RDF
16	Vineet Kahlon	Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs.	LICS	2008	DBLP DOI BibTeX RDF	Model Checking, Concurrent Programs, Dataflow Analysis, Parameterized Systems, Pushdown Systems
16	Harald Fecher, Sharon Shoham	State Focusing: Lazy Abstraction for the Mu-Calculus.	SPIN	2008	DBLP DOI BibTeX RDF
16	Ezra Cooper, Sam Lindley, Philip Wadler, Jeremy Yallop	The Essence of Form Abstraction.	APLAS	2008	DBLP DOI BibTeX RDF
16	Enno Lübbers, Marco Platzner	A portable abstraction layer for hardware threads.	FPL	2008	DBLP DOI BibTeX RDF
16	Lasheng Yu, Fei Hong, PengRen Wang, Yang Xu, Yong Liu	Influence Graph based Task Decomposition and State Abstraction in Reinforcement Learning.	ICYCS	2008	DBLP DOI BibTeX RDF
16	Christopher Moretti, Jared Bulosan, Douglas Thain, Patrick J. Flynn	All-pairs: An abstraction for data-intensive cloud computing.	IPDPS	2008	DBLP DOI BibTeX RDF
16	Vinay Kulkarni, Sreedhar Reddy	An abstraction for reusable MDD components: model-based generation of model-based code generators.	GPCE	2008	DBLP DOI BibTeX RDF	reuse, model-driven development, meta models, generative programming
16	Edmund M. Clarke, Muralidhar Talupur, Helmut Veith	Proving Ptolemy Right: The Environment Abstraction Framework for Model Checking Concurrent Systems.	TACAS	2008	DBLP DOI BibTeX RDF
16	Matthieu Roy, François Bonnet 0001, Leonardo Querzoni, Silvia Bonomi, Marc-Olivier Killijian, David Powell	Geo-registers: An Abstraction for Spatial-Based Distributed Computing.	OPODIS	2008	DBLP DOI BibTeX RDF
16	Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf	Abstraction for Stochastic Systems by Erlang's Method of Stages.	CONCUR	2008	DBLP DOI BibTeX RDF
16	Kenta Chinomi, Naoko Nitta, Yoshimichi Ito, Noboru Babaguchi	PriSurv: Privacy Protected Video Surveillance System Using Adaptive Visual Abstraction.	MMM	2008	DBLP DOI BibTeX RDF
16	Tobe Toben	Counterexample Guided Spotlight Abstraction Refinement.	FORTE	2008	DBLP DOI BibTeX RDF
16	Fady Alnajjar, Abdul Rahman Hafiz, Indra Bin Mohd Zin, Kazuyuki Murase	Vision-sensorimotor abstraction and imagination towards exploring robot's inner world.	IJCNN	2008	DBLP DOI BibTeX RDF
16	Jörg Bauer 0001, Iovka Boneva, Marcos E. Kurbán, Arend Rensink	A Modal-Logic Based Graph Abstraction.	ICGT	2008	DBLP DOI BibTeX RDF
16	Jasper Berendsen, Frits W. Vaandrager	Compositional Abstraction in Real-Time Model Checking.	FORMATS	2008	DBLP DOI BibTeX RDF
16	Stefan Ratschan, Zhikun She	Safety verification of hybrid systems by constraint propagation-based abstraction refinement.	ACM Trans. Embed. Comput. Syst.	2007	DBLP DOI BibTeX RDF	Hybrid systems, constraint propagation, intervals
16	Kenneth O. Stanley	Compositional pattern producing networks: A novel abstraction of development.	Genet. Program. Evolvable Mach.	2007	DBLP DOI BibTeX RDF	Developmental encoding, Complexity, Evolutionary computation, Representation, Indirect encoding, Artificial embryogeny, Generative systems
16	Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta	Boolean Abstraction for Temporal Logic Satisfiability.	CAV	2007	DBLP DOI BibTeX RDF
16	Domagoj Babic, Alan J. Hu	Structural Abstraction of Software Verification Conditions.	CAV	2007	DBLP DOI BibTeX RDF
16	Pierre Ganty, Jean-François Raskin, Laurent Van Begin	From Many Places to Few: Automatic Abstraction Refinement for Petri Nets.	ICATPN	2007	DBLP DOI BibTeX RDF
16	Hiren D. Patel, Sandeep K. Shukla	Tackling an abstraction gap: co-simulating SystemC DE with bluespec ESL.	DATE	2007	DBLP DOI BibTeX RDF
16	Sean Safarpour, Andreas G. Veneris	Abstraction and refinement techniques in automated design debugging.	DATE	2007	DBLP DOI BibTeX RDF
16	Harald Fecher, Sharon Shoham	Local Abstraction-Refinement for the mu-Calculus.	SPIN	2007	DBLP DOI BibTeX RDF
16	Jörg Bauer 0001, Tobe Toben, Bernd Westphal	Mind the Shapes: Abstraction Refinement Via Topology Invariants.	ATVA	2007	DBLP DOI BibTeX RDF
16	Bryan Ford	Structured streams: a new transport abstraction.	SIGCOMM	2007	DBLP DOI BibTeX RDF	SST, datagram, web transport, reliable, multimedia, mobility, TCP, fairness, stream, transport protocols, best-effort
16	Hanifa Boucheneb, Hind Rakkay	A more efficient time Petri net state space abstraction preserving linear properties.	ACSD	2007	DBLP DOI BibTeX RDF	state class graph, partial order techniques, independent transitions, relevant execution path, Time Petri nets, state explosion problem
16	Cécile Braunstein, Emmanuelle Encrenaz	Using CTL formulae as component abstraction in a design and verification flow.	ACSD	2007	DBLP DOI BibTeX RDF
16	Daniel Kroening, Sanjit A. Seshia	Formal verification at higher levels of abstraction.	ICCAD	2007	DBLP DOI BibTeX RDF
16	Jörg Bauer 0001, Reinhard Wilhelm	Static Analysis of Dynamic Communication Systems by Partner Abstraction.	SAS	2007	DBLP DOI BibTeX RDF
16	Himanshu Jain, Daniel Kroening, Natasha Sharygina, Edmund M. Clarke	VCEGAR: Verilog CounterExample Guided Abstraction Refinement.	TACAS	2007	DBLP DOI BibTeX RDF