Search results for "abstraction"

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