Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Holger Grandy, Kurt Stenzel, Wolfgang Reif |
A Refinement Method for Java Programs. |
FMOODS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Jens Lehmann 0001, Pascal Hitzler |
Foundations of Refinement Operators for Description Logics. |
ILP |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski |
On Modal Refinement and Consistency. |
CONCUR |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nicolas Stouls, Marie-Laure Potet |
Security Policy Enforcement Through Refinement Process. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Colin F. Snook, Marina Waldén |
Refinement of Statemachines Using Event B Semantics. |
B |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Felix Klaedtke, Stefan Ratschan, Zhikun She |
Language-Based Abstraction Refinement for Hybrid System Verification. |
VMCAI |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Nabil Hameurlain |
Contextualizing Behavioural Substitutability and Refinement of Role Components in MAS. |
ESAW |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Henning Dierks, Sebastian Kupferschmid, Kim Guldstrand Larsen |
Automatic Abstraction Refinement for Timed Automata. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
17 | James Demmel, Yozo Hida, William Kahan, Xiaoye S. Li, Sonil Mukherjee, E. Jason Riedy |
Error bounds from extra-precise iterative refinement. |
ACM Trans. Math. Softw. |
2006 |
DBLP DOI BibTeX RDF |
Linear algebra, floating-point arithmetic, BLAS, LAPACK |
17 | Radu Marculescu, Ümit Y. Ogras, Nicholas H. Zamora |
Computation and communication refinement for multiprocessor SoC design: A system-level perspective. |
ACM Trans. Design Autom. Electr. Syst. |
2006 |
DBLP DOI BibTeX RDF |
communication, Embedded systems, performance analysis, prototype, Markov chains, systems-on-chip, networks-on-chip, traffic, energy optimization |
17 | Damien Lefol, David R. Bull |
Mode Refinement Algorithm for H.264 Inter Frame Requantization. |
ICIP |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kim Solin |
On Two Dually Nondeterministic Refinement Algebras. |
RelMiCS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Rachel Tzoref, Orna Grumberg |
Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation. |
CAV |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ming Leng, Songnian Yu, Yang Chen |
An Effective Refinement Algorithm Based on Multilevel Paradigm for Graph Bipartitioning. |
PROLAMAT |
2006 |
DBLP DOI BibTeX RDF |
multilevel paradigm, Tabu search, min-cut, graph bipartitioning |
17 | Sean Safarpour, Andreas G. Veneris |
Abstraction and Refinement Techniques in Automated Design Debugging. |
MTV |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Christophe Alexandre, Marek Sroka, Hugo Clément, Christian Masson |
Zephyr: A Static Timing Analyzer Integrated in a Trans-hierarchical Refinement Design Flow. |
PATMOS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Carroll Morgan |
The Shadow Knows: Refinement of Ignorance in Sequential Programs. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Pavel Avgustinov, Eric Bodden, Elnar Hajiyev, Oege de Moor, Neil Ongkingco, Damien Sereni, Ganesh Sittampalam, Julian Tibble |
Aspects and Data Refinement. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Kim Solin, Joakim von Wright |
Refinement Algebra with Operators for Enabledness and Termination. |
MPC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Quang Huy Nguyen 0002, Boutheina Chetali |
Certifying Native Java API by Formal Refinement. |
CARDIS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Roman Manevich, John Field, Thomas A. Henzinger, G. Ramalingam, Mooly Sagiv |
Abstract Counterexample-Based Refinement for Powerset Domains. |
Program Analysis and Compilation |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Samira Si-Said Cherfi, Jacky Akoka, Isabelle Comyn-Wattiau |
Use Case Modeling and Refinement: A Quality-Based Approach. |
ER |
2006 |
DBLP DOI BibTeX RDF |
complexity, modularization, use case modelling, quality criteria |
17 | Andrey N. Chernikov, Nikos Chrisochoides |
Generalized Delaunay Mesh Refinement: From Scalar to Parallel. |
IMR |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain |
Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement. |
FATES/RV |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Dieter Hutter |
Possibilistic Information Flow Control in MAKS and Action Refinement. |
ETRICS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Gilad Arnold |
Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding. |
SAS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Huazhong Ning, Wei Xu 0007, Yihong Gong, Thomas S. Huang |
Improving Speaker Diarization by Cross EM Refinement. |
ICME |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Javier Esparza, Stefan Kiefer, Stefan Schwoon |
Abstraction Refinement with Craig Interpolation and Symbolic Pushdown Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Barbara König 0001, Vitali Kozioura |
Counterexample-Guided Abstraction Refinement for the Analysis of Graph Transformation Systems. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Bhargav S. Gulavani, Sriram K. Rajamani |
Counterexample Driven Refinement for Abstract Interpretation. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Daniel Fredouille, Christopher H. Bryant, Channa K. Jayawickreme, Steven Jupe, Simon Topp |
An ILP Refinement Operator for Biological Grammar Learning. |
ILP |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Brad Grinstead, Andreas F. Koschan, Mongi A. Abidi |
Geometry Refinement of 3D Surfaces Using Kriging. |
3DPVT |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ryosuke Yamasaki, Kazutaka Kobayashi, Nurul Azma Zakaria, Shuji Narazaki, Norihiko Yoshida |
Refactoring-Based Stepwise Refinement in Abstract System-Level Design. |
EUC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Bruno Girodias, El Mostapha Aboulhamid, Gabriela Nicolescu |
A Platform for Refinement of OS Services for Embedded Systems. |
DELTA |
2006 |
DBLP DOI BibTeX RDF |
|
17 | R. Bruce Simpson, Maria-Cecilia Rivara |
Geometrical Mesh Improvement Properties of Delaunay Terminal Edge Refinement. |
GMP |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Annabelle McIver, Carroll Morgan |
Abstraction and refinement in probabilistic systems. |
SIGMETRICS Perform. Evaluation Rev. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Stefano Cattani, Marta Z. Kwiatkowska |
A refinement-based process algebra for timed automata. |
Formal Aspects Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Diego Nehab, Szymon Rusinkiewicz, James Davis 0001 |
Improved Sub-pixel Stereo Correspondences through Symmetric Refinement. |
ICCV |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ruixuan Wang, Wee Kheng Leow |
Human body posture refinement by nonparametric belief propagation. |
ICIP (3) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Timothy Chklovski, Patrick Pantel |
Global Path-Based Refinement of Noisy Graphs Applied to Verb Semantics. |
IJCNLP |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Juha Plosila, Pasi Liljeberg, Jouni Isoaho |
Modelling and Refinement of an On-Chip Communication Architecture. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Michel Bidoit, Rolf Hennicker |
Externalized and Internalized Notions of Behavioral Refinement. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Fausto Spoto |
Information Flow Is Linear Refinement of Constancy. |
ICTAC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Stefan Ratschan, Zhikun She |
Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction Refinement. |
HSCC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Le-Jeng Shiue, Jörg Peters 0001 |
Mesh Refinement Based on Euler Encoding. |
SMI |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, Carroll Morgan |
Development via Refinement in Probabilistic B - Foundation and Case Study. |
ZB |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Anubhav Gupta 0001, Edmund M. Clarke |
Reconsidering CEGAR: Learning Good Abstractions without Refinement. |
ICCD |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jeffrey R. Merrick, Shige Wang, Kang G. Shin, Jing Song, William Milam |
Priority Refinement for Dependent Tasks in Large Embedded Real-Time Software. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andrzej S. Murawski, Joël Ouaknine |
On Probabilistic Program Equivalence and Refinement. |
CONCUR |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Orland Hoeber, Xue Dong Yang, Yiyu Yao |
Visualization Support for Interactive Query Refinement. |
Web Intelligence |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer |
Scaling Step-Wise Refinement. |
IEEE Trans. Software Eng. |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Marc Vigo Anglada, Núria Pla Garcia, Dolors Ayala |
Two Triangulation Methods Based on Edge Refinement. |
Computing |
2004 |
DBLP DOI BibTeX RDF |
regular triangulation, curvature adaptive, meshing, Delaunay triangulation, trimmed surfaces |
17 | Till Mossakowski, Donald Sannella, Andrzej Tarlecki |
A Simple Refinement Language for Casl. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Ball, Byron Cook, Shuvendu K. Lahiri, Lintao Zhang |
Zapato: Automatic Theorem Proving for Predicate Abstraction Refinement. |
CAV |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Heike Wehrheim |
Refinement and Consistency in Component Models with Multiple Views. |
Architecting Systems with Trustworthy Components |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Christoph Grimm 0001, Wilhelm Heupke, Klaus Waldschmidt |
Refinement of Mixed-Signal Systems with Affine Arithmetic. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Alexander Krupp, Wolfgang Müller 0003, Ian Oliver |
Formal Refinement and Model Checking of an Echo Cancellation Unit. |
DATE |
2004 |
DBLP DOI BibTeX RDF |
|
17 | John Derrick, Graeme Smith 0001 |
Linear Temporal Logic and Z Refinement. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Vincent Englebert, F. Vermaut |
Attribute-Based Refinement of Software Architectures. |
WICSA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró |
Style-Based Refinement of Dynamic Software Architectures. |
WICSA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Jain-Shing Liu, Chun-Hung Richard Lin |
RBR: Refinement-Based Route Maintenance Protocol in Wireless Ad Hoc Networks. |
MWCN |
2004 |
DBLP DOI BibTeX RDF |
ad hoc wireless network, route maintenance |
17 | Pei-Hsin Ho |
Abstraction Refinement. |
ATVA |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Reza Abedi, Shuo-Heng Chung, Jeff Erickson 0001, Yong Fan, Michael Garland, Damrong Guoy, Robert B. Haber, John M. Sullivan, Shripad Thite, Yuan Zhou |
Spacetime meshing with adaptive refinement and coarsening. |
SCG |
2004 |
DBLP DOI BibTeX RDF |
spacetime discontinuous Galerkin, adaptivity, mesh generation, tetrahedral meshes, unstructured meshes, advancing front |
17 | Nenad Stojanovic, Ljiljana Stojanovic |
On Modelling Cooperative Retrieval Using an Ontology-Based Query Refinement Process. |
ER |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Andrey N. Chernikov, Nikos Chrisochoides |
Practical and efficient point insertion scheduling method for parallel guaranteed quality delaunay refinement. |
ICS |
2004 |
DBLP DOI BibTeX RDF |
delaunay triangulation, mesh generation, COTS software, parallel scientific computing |
17 | Luís Soares Barbosa |
A Perspective on Component Refinement. |
FMCO |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Cosmin Danut Bocaniala, José L. Sá da Costa, Vasile Palade |
Refinement of the Diagnosis Process Performed with a Fuzzy Classifier. |
KES |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Kazuaki Kishida, Noriko Kando, Kuang-hua Chen |
Two-Stage Refinement of Transitive Query Translation with English Disambiguation for Cross-Language Information Retrieval: An Experiment at CLEF 2004. |
CLEF |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Sharon Shoham, Orna Grumberg |
Monotonic Abstraction-Refinement for CTL. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Nenad Stojanovic |
An Approach for Ontology-Enhanced Query Refinement in Information Portals. |
ICTAI |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Arosha K. Bandara, Emil Lupu, Jonathan D. Moffett, Alessandra Russo |
A Goal-based Approach to Policy Refinement. |
POLICY |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Nenad Stojanovic |
A Logic-Based Approach for Query Refinement. |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Nenad Stojanovic, Rudi Studer, Ljiljana Stojanovic |
An Approach for Step-By-Step Query Refinement in the Ontology-Based Information Retrieval. |
Web Intelligence |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Abdelgawad Eb. Taher |
New Refinement Schemes for Voice Conversion. |
TSD |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Wei-Ta Chu, Wen-Huang Cheng, Sheng-Fang He, Chia-Wei Wang, Ja-Ling Wu |
A Unified Framework Using Spatial Color Descriptor and Motion-Based Post Refinement for Shot Boundary Detection. |
PCM (3) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Egon Börger |
The ASM Refinement Method. |
Formal Aspects Comput. |
2003 |
DBLP DOI BibTeX RDF |
Specifying and Verifying and Reasoning about Programs, Models of computation |
17 | Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar, Shaz Qadeer |
Thread-Modular Abstraction Refinement. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Nabil Hameurlain |
Refinement of Open Protocols for Modelling and Analysis of Complex Interactions in Multi-agent Systems. |
CEEMAS |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Thomas Haase, Oliver Meyer 0001, Boris Böhlen, Felix H. Gatzemeier |
Fire3: Architecture Refinement for A-posteriori Integration. |
AGTIVE |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Moshe Deutsch, Martin C. Henson, Besnik Kajtazi |
Modular refinement in novel schema calculi. |
APSEC |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Feng-Hsu Wang |
Knowledge Refinement Tools to Support Inductive Learning by Inquiry Examples. |
ICWL |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Soon-Yong Park, Murali Subbarao |
A Range Image Refinement Technique for Multi-view 3D Model Reconstruction. |
3DIM |
2003 |
DBLP DOI BibTeX RDF |
|
17 | María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Ernesto Pimentel 0001 |
Abstract Model Checking and Refinement of Temporal Logic in aSPIN. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Moshe Deutsch, Martin C. Henson, Steve Reeves |
Operation Refinement and Monotonicity in the Schema Calculus. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer |
Scaling Step-Wise Refinement. |
ICSE |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen |
Reduction and Refinement Strategies for Probabilistic Analysis. |
PAPM-PROBMIV |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Prosenjit Chatterjee, Hemanthkumar Sivaraj, Ganesh Gopalakrishnan |
Shared Memory Consistency Protocol Verification Against Weak Memory Models: Refinement via Model-Checking. |
CAV |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jifeng He 0001, Zhiming Liu 0001, Xiaoshan Li |
Towards a Refinement Calculus for Object Systems. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Sibylle Peuker, Ian J. Hayes |
Towards a Refinement Calculus for Concurrent Real-Time Programs. |
ICFEM |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Siu-Wing Cheng, Tamal K. Dey |
Quality meshing with weighted Delaunay refinement. |
SODA |
2002 |
DBLP BibTeX RDF |
|
17 | David G. Stork, Rob J. van Glabbeek |
Token-Controlled Place Refinement in Hierarchical Petri Nets with Application to Active Document Workflow. |
ICATPN |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Claus Pahl |
Interference Analysis for Dependable Systems Using Refinement and Abstraction. |
FME |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Xin Liu 0046, Yihong Gong, Wei Xu 0007, Shenghuo Zhu |
Document clustering with cluster refinement and model selection capabilities. |
SIGIR |
2002 |
DBLP DOI BibTeX RDF |
EM algorithm, gaussian mixtures model, document clustering, model selection |
17 | Hagen Völzer |
Refinement-Robust Fairness. |
CONCUR |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Jing-Ru C. Cheng, Paul E. Plassmann |
An A Posteriori Error Estimator for Adaptive Mesh Refinement Using Parallel In-Element Particle Tracking Methods. |
VECPAR |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Kwang-deok Seo, Jae-kyoon Kim |
Fast motion vector refinement for MPEG-1 to MPEG-4 transcoding with spatial down-sampling in DCT domain. |
ICIP (1) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Kai Engelhardt, Ron van der Meyden, Yoram Moses |
A Refinement Theory that Supports Reasoning About Knowledge and Time. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Maritta Heisel, Andreas Pfitzmann, Thomas Santen |
Confidentiality-Preserving Refinement. |
CSFW |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Alur, Radu Grosu, Insup Lee 0001, Oleg Sokolsky |
Compositional Refinement for Hierarchical Hybrid Systems. |
HSCC |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Kolja Kähler, Jörg Haber, Hans-Peter Seidel |
Dynamic Refinement of Deformable Triangle Meshes for Rendering. |
Computer Graphics International |
2001 |
DBLP DOI BibTeX RDF |
|