|
|
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 |
16 | Sebastian Kupferschmid, Klaus Dräger, Jörg Hoffmann 0001, Bernd Finkbeiner, Henning Dierks, Andreas Podelski, Gerd Behrmann |
Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Sara Adams, Magnus Björk, Thomas F. Melham, Carl-Johan H. Seger |
Automatic Abstraction in Symbolic Trajectory Evaluation. |
FMCAD |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Maoyuan Xie, Zhifeng Yun, Zhou Lei, Gabrielle Allen |
Cluster Abstraction: Towards Uniform Resource Description Access in Multicluster Grid. |
IMSCCS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Toni Reichelt, Norbert Oswald, André Windisch, Stefan Förster, Herwig Moser |
IP Based Transport Abstraction for Middleware Technologies. |
ICNS |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samoilov, Nathan A. Barker, Adam P. Arkin |
Automated Abstraction Methodology for Genetic Regulatory Networks. |
Trans. Comp. Sys. Biology |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Zeqian Shen, Kwan-Liu Ma, Tina Eliassi-Rad |
Visual Analysis of Large Heterogeneous Social Networks by Semantic and Structural Abstraction. |
IEEE Trans. Vis. Comput. Graph. |
2006 |
DBLP DOI BibTeX RDF |
ontology, social networks, information visualization, Graph drawing, visual analytics, semantic graphs |
16 | Wolfgang Ecker, Volkan Esen, Michael Hull |
Execution semantics and formalisms for multi-abstraction TLM assertions. |
MEMOCODE |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Kroening, Georg Weissenbacher |
Counterexamples with Loops for Predicate Abstraction. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Tal Lev-Ami, Neil Immerman, Shmuel Sagiv |
Abstraction for Shape Analysis with Fast and Precise Transformers. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth L. McMillan |
Lazy Abstraction with Interpolants. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Sean Safarpour, Andreas G. Veneris |
Abstraction and Refinement Techniques in Automated Design Debugging. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Jörg, Mathias Nickl, Gerd Hirzinger |
Flexible Signal-Oriented Hardware Abstraction for Rapid Prototyping of Robotic Systems. |
IROS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Olivier Rütti, Pawel T. Wojciechowski, André Schiper |
Service interface: a new abstraction for implementing and composing protocols. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
dynamic protocol replacement, protocol frameworks, modularity |
16 | Zaher S. Andraus, Mark H. Liffiton, Karem A. Sakallah |
Refinement strategies for verification methods based on datapath abstraction. |
ASP-DAC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Letícia Maria Friske, Carlos H. C. Ribeiro |
Planning Under Uncertainty with Abstraction Hierarchies. |
IDEAL |
2006 |
DBLP DOI BibTeX RDF |
machine learning, planning, reasoning under uncertainty |
16 | A. Agung Julius |
Approximate Abstraction of Stochastic Hybrid Automata. |
HSCC |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Jörg Hoffmann 0001, Jan-Georg Smaus, Andrey Rybalchenko, Sebastian Kupferschmid, Andreas Podelski |
Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL. |
MoChArt |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Michiaki Tatsubori, Kenichi Takashi |
Decomposition and Abstraction of Web Applications for Web Service Extraction and Composition. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | William Thies, John Paul Urbanski, Todd Thorsen, Saman P. Amarasinghe |
Abstraction Layers for Scalable Microfluidic Biocomputers. |
DNA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Henry Lieberman |
The Continuing Quest for Abstraction. |
ECOOP |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Martin Girschick, Thomas Kühne 0001, Felix Klar |
Generating Systems from Multiple Levels of Abstraction. |
TEAA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Keun Soo Yim, Jeong-Joon Yoo, Jae Don Lee, Jihong Kim 0001 |
Operating System Support for Procedural Abstraction in Embedded Systems. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Barbara König 0001, Vitali Kozioura |
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Joxan Jaffar, Andrew E. Santosa, Razvan Voicu |
A CLP Method for Compositional and Intermittent Predicate Abstraction. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Christian Frei, Boi Faltings, Mounir Hamdi |
Resource allocation in communication networks using abstraction and constraint satisfaction. |
IEEE J. Sel. Areas Commun. |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Andrew D. Gordon 0001, Riccardo Pucella |
Validating a web service security abstraction by typing. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
Web services, Authentication, Type systems, Remote procedure call |
16 | Antonino Sabetta, Dorina C. Petriu, Vincenzo Grassi, Raffaela Mirandola |
Abstraction-Raising Transformation for Generating Analysis Models. |
MoDELS (Satellite Events) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Kisung Lee |
Semantic Feature Extraction Based on Video Abstraction and Temporal Modeling. |
IbPRIA (1) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Francisco Heron de Carvalho Junior, Rafael Dueire Lins |
The # model: separation of concerns for reconciling modularity, abstraction and efficiency in distributed parallel programming. |
SAC |
2005 |
DBLP DOI BibTeX RDF |
high performance computing software, software engineering, parallel programming, separation of concerns |
16 | Pietro Torasso, Gianluca Torta |
Automatic Abstraction of Time-Varying System Models for Model Based Diagnosis. |
KI |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Stefan Ratschan, Zhikun She |
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Nassima Sadou, Dalila Tamzalit, Mourad Oussalah 0001 |
How to Manage Uniformly Software Architecture at Different Abstraction Levels. |
ER |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Horacio González-Vélez |
On the Abstraction of Message-Passing Communications Using Algorithmic Skeletons. |
ISSADS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Samir Sharshar, Laurent Allart, Marie-Christine Chambrin |
A New Approach to the Abstraction of Monitoring Data in Intensive Care. |
AIME |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Jacques Carette, Oleg Kiselyov |
Multi-stage Programming with Functors and Monads: Eliminating Abstraction Overhead from Generic Code. |
GPCE |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Aleksandar S. Dimovski, Dan R. Ghica, Ranko Lazic 0001 |
Data-Abstraction Refinement: A Game Semantic Approach. |
SAS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Edmund M. Clarke, Daniel Kroening, Natasha Sharygina, Karen Yorav |
SATABS: SAT-Based Predicate Abstraction for ANSI-C. |
TACAS |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Naoto Mukai, Toyohide Watanabe |
Behavioral Decision Based on Abstraction of Pheromone Distribution for Transport Vehicles. |
ICTAI |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla |
Abstraction carrying code and resource-awareness. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
granularity control, mobile code certification, programming languages, abstract interpretation, program verification, distributed programming, program debugging, cost analysis, resource awareness |
16 | Michael Backes 0001, Thomas Groß 0001 |
Tailoring the Dolev-Yao abstraction to web services realities. |
SWS |
2005 |
DBLP DOI BibTeX RDF |
Dolev Yao, security proof of protocols, formal method, tool support, security analysis, web services security, federated identity management, protocol model |
16 | Kais Klai, Samir Tata |
Abstraction-basedWorkflow Cooperation Using Petri Net Theory. |
WETICE |
2005 |
DBLP DOI BibTeX RDF |
Inter-organizational Workflows, Cooperative Workflows, Petri nets, invariants |
16 | Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim |
Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. |
CPAIOR |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Himanshu Jain, Daniel Kroening, Edmund M. Clarke |
Verification of SpecC using predicate abstraction. |
MEMOCODE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Raul Silaghi |
Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
middleware concerns, AOP, MDA, model transformations, aspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue |
16 | Raul Silaghi |
Refining designs along middleware-specific concern-dimensions at different MDA-levels of abstraction. |
OOPSLA Companion |
2004 |
DBLP DOI BibTeX RDF |
middleware concerns, AOP, MDA, model transformations, aspectJ, UML profiles, eclipse plug-ins, parallax, enterprise fondue |
16 | Tarvo Raudvere, Ashish Kumar Singh, Ingo Sander, Axel Jantsch |
Polynomial Abstraction for Verification of Sequentially Implemented Combinational Circuits. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Ning Fu, Shigetoshi Nakatake, Yasuhiro Takashima, Yoji Kajitani |
Abstraction and optimization of consistent floorplanning with pillar block constraints. |
ASP-DAC |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Kroening, Edmund M. Clarke |
Checking consistency of C and Verilog using predicate abstraction and induction. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
16 | A. Bernstein, M. Burton, Frank Ghenassia |
How to bridge the abstraction gap in system level modeling and design. |
ICCAD |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Sharon Shoham, Orna Grumberg |
Monotonic Abstraction-Refinement for CTL. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Matti A. Hiltunen, Richard D. Schlichting |
The Lost Art of Abstraction. |
WADS |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Shuvendu K. Lahiri, Randal E. Bryant |
Constructing Quantified Invariants via Predicate Abstraction. |
VMCAI |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Maret, Jacques Calmet |
Modeling Corporate Knowledge within the Agent Oriented Abstraction. |
CW |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Shuvendu K. Lahiri, Randal E. Bryant, Byron Cook |
A Symbolic Approach to Predicate Abstraction. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Kedar S. Namjoshi |
Abstraction for Branching Time Properties. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Saori Kawasaki, Tu Bao Ho, Trong Dung Nguyen |
Abstraction of Long-Term Changed Tests in Mining Hepatitis Data. |
KES |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Podelski |
Software Model Checking with Abstraction Refinement. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Amir Pnueli, Lenore D. Zuck |
Model-Checking and Abstraction to the Aid of Parameterized Systems. |
VMCAI |
2003 |
DBLP DOI BibTeX RDF |
|
16 | Oliver Köth, Mark Minas |
Structure, Abstraction, and Direct Manipulation in Diagram Editors. |
Diagrams |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont |
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Inseok Hwang 0002, Hamsa Balakrishnan, Ronojoy Ghosh, Claire J. Tomlin |
Reachability Analysis of Delta-NotchLateral Inhibition Using Predicate Abstraction. |
HiPC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Claus Pahl |
Interference Analysis for Dependable Systems Using Refinement and Abstraction. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Antje von Knethen, Barbara Paech, Friedemann Kiedaisch, Frank Houdek |
Systematic Requirements Recycling through Abstraction and Traceability. |
RE |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Cormac Flanagan, Shaz Qadeer |
Predicate abstraction for software verification. |
POPL |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Rajeev Alur, Thao Dang 0001, Franjo Ivancic |
Reachability Analysis of Hybrid Systems via Predicate Abstraction. |
HSCC |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Andrew D. Gordon 0001, Riccardo Pucella |
Validating a Web service security abstraction by typing. |
XML Security |
2002 |
DBLP DOI BibTeX RDF |
Web services, authentication, type systems, remote procedure call |
16 | Marielle Doche, Andrew M. Gravell |
Extraction of Abstraction Invariants for Data Refinement. |
ZB |
2002 |
DBLP DOI BibTeX RDF |
failure refinement, distributed system, Formal specification, CSP, B, data refinement |
16 | Aloysius K. Mok, Alex Xiang Feng |
Real-Time Virtual Resource: A Timely Abstraction for Embedded Systems. |
EMSOFT |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Danilo Tuler, Waldemar Celes Filho |
A High-Level Abstraction for Graphics Hardware Programming. |
SIBGRAPI |
2002 |
DBLP DOI BibTeX RDF |
programmable pipeline, shading language, rendering |
16 | Walter G. Kropatsch |
Abstraction Pyramids on Discrete Representations. |
DGCI |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Ferucio Laurentiu Tiplea, Aurora Tiplea |
A Simulation Preorder for Abstraction of Reactive Systems. |
VMCAI |
2002 |
DBLP DOI BibTeX RDF |
|
16 | James Noble 0001 |
Visualising Objects: Abstraction, Encapsulation, Aliasing, and Ownership. |
Software Visualization |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Paolo Bucci, Timothy J. Long, Bruce W. Weide |
Do we really teach abstraction? |
SIGCSE |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Suzana Andova, Jos C. M. Baeten |
Abstraction in Probabilistic Process Algebra. |
TACAS |
2001 |
DBLP DOI BibTeX RDF |
|
16 | Johan Runeson, Sven-Olof Nyström, Jan Sjödin |
Optimizing Code Size through Procedural Abstraction. |
LCTES |
2000 |
DBLP DOI BibTeX RDF |
|
16 | George Logothetis, Klaus Schneider 0001 |
Abstraction from Counters: An Application on Real-Time Systems. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Felice Balarin |
Automatic Abstraction for Worst-Case Analysis of Discrete Systems. |
DATE |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Philip P. Shirvani, Subhasish Mitra, Jo C. Ebergen, Marly Roncken |
DUDES: A Fault Abstraction and Collapsing Framework for Asynchronous Circuits. |
ASYNC |
2000 |
DBLP DOI BibTeX RDF |
DUDES, testing, ATPG, fault model, asynchronous circuit, stuck-at fault, fault collapsing |
16 | Jiefu Shi, Michael L. Littman |
Abstraction Methods for Game Theoretic Poker. |
Computers and Games |
2000 |
DBLP DOI BibTeX RDF |
imperfect information games, Texas Hold'em, game theory, poker |
16 | Henrik Ejersbo Jensen, Kim Guldstrand Larsen, Arne Skou |
Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Elaine P. Machado, Caetano Traina Jr., Myrian R. B. Araujo |
Classification Abstraction: An Intrinsic Element in Database Systems. |
ADVIS |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Thomas G. Dietterich |
An Overview of MAXQ Hierarchical Reinforcement Learning. |
SARA |
2000 |
DBLP DOI BibTeX RDF |
|
16 | Richard C. Holt |
Software architecture abstraction and aggregation as algebraic manipulations. |
CASCON |
1999 |
DBLP BibTeX RDF |
|
16 | Gagan Hasteer, Anmol Mathur, Prithviraj Banerjee |
Efficient equivalence checking of multi-phase designs using phase abstraction and retiming. |
ACM Trans. Design Autom. Electr. Syst. |
1998 |
DBLP DOI BibTeX RDF |
binary decision, encoding density, multi-phase FSM, product machine, sequential hardware equivalence, diagram, steady states |
16 | Jan Verelst |
The Influence of Domain-Specific Abstraction on Evolvability of Software Architectures for Information Systems. |
ECOOP Workshops |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Yonit Kesten, Amir Pnueli |
Modularization and Abstraction: The Keys to Practical Formal Verification. |
MFCS |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Krüger |
Automatic graphical abstraction in intent-based 3D-illustrations. |
AVI |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Henrik Ejersbo Jensen, Nancy A. Lynch |
A Proof of Burns N-Process Mutual Exclusion Algorithm Using Abstraction. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Robert B. Jones, Jens U. Skakkebæk, David L. Dill |
Reducing Manual Abstraction in Formal Verification of Out-of-Order Execution. |
FMCAD |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Hua Bi |
Towards Abstraction of Message Passing Programming. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
|
16 | Carla Capellmann, Ralph Demant, Farhad Fatahi-Vanani, Rafael Galvez-Estrada, Ulrich Nitsche, Peter Ochsenschläger |
Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. |
CAV |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Tim Clement |
Data Reification without Explicit Abstraction Functions. |
FME |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Renate Motschnig-Pitrik, John Mylopoulos |
Semantics, Features, and Applications of the Viewpoint Abstraction. |
CAiSE |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Kenneth J. Goldman, Bala Swaminathan, Paul McCartney, Michael D. Anderson, Ram Sethuraman |
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications. |
IEEE Trans. Software Eng. |
1995 |
DBLP DOI BibTeX RDF |
distributed systems, distributed applications, dynamic reconfiguration, programming models, Distributed programming environments |
16 | Ramin Hojati, Robert K. Brayton |
Automatic Datapath Abstraction In Hardware Systems. |
CAV |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Fernando de Ferreira Rezende, Theo Härder |
A Lock Method for KBMSs Using Abstraction Relationships' Semantics. |
CIKM |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Klaus Schneider 0001, Ramayya Kumar, Thomas Kropf |
Automating Verification by Functional Abstraction at the System Level. |
TPHOLs |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Corine Cauvet, Farida Semmak |
Abstraction Forms in Object-Oriented Conceptual Modeling: Localization, Aggregation and Generalization Extensions |
CAiSE |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Shelly Warwick |
Abstraction, ethics and software: why don't the rules work? |
Ethics in Computer Age |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Sreeranga P. Rajan, Jeffrey J. Joyce, Carl-Johan H. Seger |
From Abstract Data Types to Shift Registers: A Case Study in Formal Specification and Verification at Differing Levels of Abstraction using Theorem Proving and Symbolic Simulation. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
|
|