|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10432 occurrences of 4161 keywords
|
|
|
Results
Found 13114 publication records. Showing 13114 according to the selection in the facets
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 |
|
|
|