|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 6405 occurrences of 2962 keywords
|
|
|
Results
Found 12900 publication records. Showing 12900 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Peter Höfner, Georg Struth |
Can Refinement be Automated? ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 197-222, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Johanna Tuominen, Tomi Westerlund, Juha Plosila |
Power Aware System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 223-253, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Richard Banach, Gerhard Schellhorn |
On the Refinement of Atomic Actions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 3-30, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Heike Wehrheim |
Refinement in the Presence of Unknowns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 255-264, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | Eerke A. Boiten, Dan Grundy |
Reduction and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REFINE@IFM ![In: Proceedings of the BCS-FACS Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007, pp. 31-44, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
16 | John Derrick, Eerke A. Boiten |
Relational Concurrent Refinement with Internal Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 35-53, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Xiaojian Liu, Zhiming Liu 0001, Liang Zhao 0022 |
Object-Oriented Structure Refinement - A Graph Transformational Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 145-159, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Tomi Westerlund, Juha Plosila |
Time Aware System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 91-106, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard K. Aichernig, Jifeng He 0001 |
Refinement and Test Case Generation in UTP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine@ICFEM ![In: Proceedings of the 11th Refinement Workshop, Refine@ICFEM 2006, Macao, October 31, 2006, pp. 125-143, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
16 | Gerhard Schellhorn |
ASM refinement and generalizations of forward simulation in data refinement: a comparison. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 336(2-3), pp. 403-435, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
16 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Refinement: An overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PSSE ![In: Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures, pp. 1-17, 2004, Springer, 978-3-540-46253-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
16 | Hans-Werner Kelbassa |
Context Refinement - Investigating the Rule Refinement Completeness of SEEK/SEEK2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECAI ![In: Proceedings of the 15th European Conference on Artificial Intelligence, ECAI'2002, Lyon, France, July 2002, pp. 205-209, 2002, IOS Press. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
16 | Robert Colvin |
Contextual and data refinement for the refinement calculus for logic programs ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2002 |
RDF |
|
16 | Kai Engelhardt |
Towards a refinement theory that supports reasoning about knowledge and time for multiple agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 178, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Jim Davies, Charles Crichton |
Concurrency and refinement in the UML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 217-243, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Harald Fecher, Mila E. Majster-Cederbaum, Jinzhao Wu |
Refinement of actions in a real-time process algebra with a true concurrency model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 260-280, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Antónia Lopes, José Luiz Fiadeiro |
Superposition: Composition vs refinement of non-deterministic action-based systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 282-296, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Yngve Lamo, Michal Walicki |
Composition and refinement of specifications and parameterised data types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 199-216, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Ralph-Johan Back, Joakim von Wright |
Compositional Action System Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 3, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Eerke A. Boiten, John Derrick |
Unifying concurrent and relational refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 94-131, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Lindsay Groves |
Refinement and the Z schema calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 70-93, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard K. Aichernig |
Contract-based mutation testing in the refinement calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 281, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Harald Fecher, Mila E. Majster-Cederbaum |
Taking decisions late: end-based choice combined with action refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 244-259, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Christie Bolton, Jim Davies |
A comparison of refinement orderings and their associated simulation rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 297-310, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Emil Sekerinski |
Tabular verification and refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 179-198, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Ana Cavalcanti 0001, Augusto Sampaio, Jim Woodcock 0001 |
Refinement of actions in Circus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: BCS FACS Refinement Workshop 2002, Refine 2002, Satellite Event of FLoC 2002, Copenhagen, Denmark, July 20-21, 2002, pp. 132-162, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Samson W. Tu, Mark A. Musen |
Episodic refinement of episodic skeletal-plan refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Hum. Comput. Stud. ![In: Int. J. Hum. Comput. Stud. 48(4), pp. 475-497, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | Susan Stepney, David Cooper, Jim Woodcock 0001 |
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ZUM ![In: ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings, pp. 284-307, 1998, Springer, 3-540-65070-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
16 | David Till (eds.) |
6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![Springer, 978-3-540-19886-4 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Howard P. Haughton, Kevin Lano |
Testing and Safety Analysis of AM (Abstract Machine) Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 69-79, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska 0001 |
Formal Semantics for Ward & Mellor's Transformation Schemas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 14-41, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Theodore S. Norvell |
Machine Code Programs are Predicates Too. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 188-204, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Yves Ledru, Pierre Collette |
Environment-based Development of Reactive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 217-235, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Juan Bicarregui |
Operation Semantics with Read and Write Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 260-278, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Qiwen Xu, Jifeng He 0001 |
Laws of Parallel Programming with Shared Variables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 205-216, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Pierre Bieber, Nora Boulahia-Cuppens |
Formal Development of Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994, pp. 80-102, 1994, Springer, 978-3-540-19886-4. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Robert G. Reynolds, Jonathan I. Maletic |
The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: SEKE'93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA, pp. 150-157, 1993, Knowledge Systems Institute. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | H. J. Litteck, Peter J. L. Wallis |
Refinement methods and refinement calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Eng. J. ![In: Softw. Eng. J. 7(3), pp. 219-229, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Cliff B. Jones, Roger C. Shaw, B. Tim Denvir (eds.) |
5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992 ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![Springer London, 978-3-540-19752-2 The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | J. C. P. Woodcock |
Implementing Promoted Operations in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 367-378, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Ketil Stølen |
Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 320-341, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Qiwen Xu, Jifeng He 0001 |
A case study in formally developing state-based parallel programs - the Dutch National Torus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 301-319, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Tim Clement |
Using Metavariables in Natural Deduction Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 255-271, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Roger Bishop Jones |
Methods and Tools for the Verification of Critical Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 88-118, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Patrick O'Ferrall |
Opening Address. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 1-2, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Jeannette M. Wing |
Revisiting Abstraction Functions For Reasoning About Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 298-300, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Antonio Cau, Ruurd Kuiper 0001, Willem-Paul de Roever |
Formalising Dijkstra's Development Strategy within Stark's Formalism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 4-42, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Martin P. Ward |
A Recursion Removal Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 43-69, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Robin Milner |
Concurrent Processes as Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 3, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Morten Elvang-Gøransson |
Classification of Refinements in VDM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 172-180, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | José N. Oliveira |
Software Reification using the SETS Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 140-171, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | C. T. Sennett |
Demonstrating the Compliance of Ada Programs with Z Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Refine ![In: 5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992, pp. 70-87, 1992, Springer London, 978-3-540-19752-2. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
16 | Robert G. Reynolds, Jonathan I. Maletic |
An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, CSC '90, Sheraton Washington Hotel, Washington, DC, USA, February 20-22, 1990, pp. 82-88, 1990, ACM, 0-89791-348-5. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Job Zwiers |
Predicated, Predicate Transformers and Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
REX Workshop ![In: Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings, pp. 759-776, 1989, Springer, 3-540-52559-9. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Michael Greenberg 0002, Benjamin C. Pierce, Stephanie Weirich |
Contracts made manifest. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 353-364, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
blame, dynamic checking, refinement type, contract, translation, precondition, postcondition |
14 | Aditya V. Nori, Sriram K. Rajamani |
An empirical study of optimizations in YOGI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (1) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 355-364, 2010, ACM, 978-1-60558-719-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
testing, software model checking, abstraction refinement, directed testing |
14 | Roman V. Efremov, Georgy K. Kamenev |
Properties of a method for polyhedral approximation of the feasible criterion set in convex multiobjective problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 166(1), pp. 271-279, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral approximation, Estimation refinement method, Feasible goals method, Multicriteria optimization |
14 | Farhat Thabet, Philippe Coussy, Dominique Heller, Eric Martin 0001 |
Exploration and Rapid Prototyping of DSP Applications using SystemC Behavioral Simulation and High-level Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Signal Process. Syst. ![In: J. Signal Process. Syst. 56(2-3), pp. 167-186, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Prototyping, Refinement, High-level synthesis, Design space exploration, System level design |
14 | Graeme Smith 0001, Kirsten Winter |
Model checking action system refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 21(1-2), pp. 155-186, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, Refinement, CTL, action systems |
14 | Antti Siirtola, Juha Kortelainen |
Algorithmic Verification with Multiple and Nested Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings, pp. 561-580, 2009, Springer, 978-3-642-10372-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
parameterised verification, process algebra, refinement checking |
14 | Tom Ridge |
Verifying distributed systems: the operational approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2009, Savannah, GA, USA, January 21-23, 2009, pp. 429-440, 2009, ACM, 978-1-60558-379-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
ground and symbolic evaluation, hoare-style assertions, persistent queue, rely/guarantee, distributed, refinement, invariants, network protocol, operational semantics, infrastructure, separation, linearizability, hol, ocaml, local reasoning, inductive reasoning |
14 | Nader Salman, Mariette Yvinec |
High resolution surface reconstruction from overlapping multiple-views. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 25th ACM Symposium on Computational Geometry, Aarhus, Denmark, June 8-10, 2009, pp. 104-105, 2009, ACM, 978-1-60558-501-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
cimg, restricted delaunay triangulation, triangle soup, surface reconstruction, multiple-views, delaunay refinement, cgal |
14 | Sebastian Hagen, Nigel Edwards, Lawrence Wilcock, Johannes Kirschnick, Jerry Rolia |
One Is Not Enough: A Hybrid Approach for IT Change Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSOM ![In: Integrated Management of Systems, Services, Processes and People in IT, 20th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2009, Venice, Italy, October 27-28, 2009. Proceedings, pp. 56-70, 2009, Springer, 978-3-642-04988-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
IT Change Management, change planning, AI planning, policy refinement |
14 | Abigail Parisaca Vargas, Ana Gabriela Garis, Silvia Lizeth Tapia Tarifa, Chris George |
Model Checking LTL Formulae in RAISE with FDR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods, 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings, pp. 231-245, 2009, Springer, 978-3-642-00254-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
model checking, formal methods, refinement, tools, CSP, LTL, FDR, RAISE, RSL |
14 | Sanderson L. Gonzaga de Oliveira, Mauricio Kischinhevsky |
Autonomous Leaves Graph Applied to the Boundary Layer Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCS (1) ![In: Computational Science - ICCS 2009, 9th International Conference, Baton Rouge, LA, USA, May 25-27, 2009, Proceedings, Part I, pp. 560-569, 2009, Springer, 978-3-642-01969-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Boundary Layer Problem, NACA airfoils, Space-filling curves, Adaptive mesh refinement, Finite Volume Method, Hilbert Curve |
14 | Jon Oldevik, Øystein Haugen |
From sequence diagrams to Java-stairs aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009, pp. 99-110, 2009, ACM, 978-1-60558-442-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
sequence diagram aspects, trace-based aspects, refinement |
14 | Constantine Bekas, Alessandro Curioni, Irina Fedulova |
Low cost high performance uncertainty quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-WHPCF ![In: Proceedings of the 2nd Workshop on High Performance Computational Finance, WHPCF 2009, November 15, 2009, Portland, Oregon, USA, 2009, ACM, 978-1-60558-716-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
inverse covariance matrices, quadratic cost, stochastic estimation, massive parallelism, iterative solvers, iterative refinement |
14 | Ming-Cheng Tseng, Wen-Yang Lin |
Incremental Mining of Ontological Association Rules in Evolving Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Next-Generation Applied Intelligence, 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2009, Tainan, Taiwan, June 24-27, 2009. Proceedings, pp. 142-151, 2009, Springer, 978-3-642-02567-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
rule maintenance, support constraint refinement, Association rules, ontology evolution, database update |
14 | Andrey N. Chernikov, Nikos Chrisochoides |
Algorithm 872: Parallel 2D constrained Delaunay mesh generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 34(1), pp. 6:1-6:20, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
parallel refinement, Delaunay triangulation, mesh generation |
14 | Saeed Iqbal, Graham F. Carey |
Performance of parallel computations with dynamic processor allocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eng. Comput. ![In: Eng. Comput. 24(2), pp. 135-143, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Adaptive mesh refinement (AMR), Dynamic processor allocation, Modelling parallel computations, Resource utilization, Parallel performance |
14 | Andreas Raabe, Philipp A. Hartmann, Joachim K. Anlauf |
ReChannel: Describing and simulating reconfigurable hardware in systemC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Design Autom. Electr. Syst. ![In: ACM Trans. Design Autom. Electr. Syst. 13(1), pp. 15:1-15:18, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
hardware description, simulation, refinement, dynamic reconfiguration, SystemC, Reconfigurable hardware |
14 | Judy Bowen, Steve Reeves |
Formal models for user interface design artefacts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 4(2), pp. 125-141, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
User interfaces, Formal methods, Refinement, User-centred design |
14 | Nick Moffat, Michael Goldsmith |
Assumption-Commitment Support for CSP Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 41(3-4), pp. 365-398, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assumption-commitment, Model checking, Refinement, CSP, Compositional reasoning, Assume-guarantee |
14 | Bishop Brock, Matt Kaufmann, J Strother Moore |
Rewriting with Equivalence Relations in ACL2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 40(4), pp. 293-306, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Refinement, Rewriting, Congruence, Equivalence relations |
14 | Leo Freitas, Jim Woodcock 0001 |
Mechanising Mondex with Z/Eves. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 117-139, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, Software archaeology, Z/Eves, Security, Verification, Refinement, Theorem proving, Smart cards, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
14 | Jim Woodcock 0001, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob |
The certification of the Mondex electronic purse to ITSEC Level E6. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 5-19, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex |
14 | Michael J. Butler, Divakar Yadav |
An incremental development of the Mondex system in Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(1), pp. 61-77, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mechanical proof, Methodological guidelines, Refinement, System design, Event-B |
14 | Tamy Boubekeur, Marc Alexa |
Phong Tessellation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Graph. ![In: ACM Trans. Graph. 27(5), pp. 141, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
real-time tessellation, visual continuity, mesh refinement |
14 | Jean-Daniel Boissonnat, Camille Wormser, Mariette Yvinec |
Locally uniform anisotropic meshing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 24th ACM Symposium on Computational Geometry, College Park, MD, USA, June 9-11, 2008, pp. 270-277, 2008, ACM, 978-1-60558-071-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
anisotropic mesh generation, delaunay triangulation, delaunay refinement |
14 | Victoria S. Uren, Yuangui Lei, Enrico Motta |
SemSearch: Refining Semantic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 5th European Semantic Web Conference, ESWC 2008, Tenerife, Canary Islands, Spain, June 1-5, 2008, Proceedings, pp. 874-878, 2008, Springer, 978-3-540-68233-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
semantic intranet, Semantic search, query refinement |
14 | Bogdan Alexe, Laura Chiticariu, Renée J. Miller, Daniel Pepper, Wang Chiew Tan |
Muse: a system for understanding and designing mappings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2008, Vancouver, BC, Canada, June 10-12, 2008, pp. 1281-1284, 2008, ACM, 978-1-60558-102-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
data examples, design, refinement, data exchange, schema mappings, data translation |
14 | Paolo A. G. Sivilotti, Stacey A. Laugel |
Scratching the surface of advanced topics in software engineering: a workshop module for middle school students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCSE ![In: Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2008, Portland, OR, USA, March 12-15, 2008, pp. 291-295, 2008, ACM, 978-1-59593-799-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
K-12 outreach, specifications, refinement, scratch |
14 | Jun Wu 0009, Yo Seung Kim, Chi-Hwa Song, Won Don Lee |
A New Classifier to Deal with Incomplete Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Ninth ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008, In conjunction with Second International Workshop on Advanced Internet Technology and Applications, August 6-8, 2008, Phuket, Thailand, pp. 105-110, 2008, IEEE Computer Society, 978-0-7695-3263-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
rule refinement, Classifier, incomplete data |
14 | Maik Wurdel, Daniel Sinnig, Peter Forbrig |
Task-Based Development Methodology for Collaborative Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA/HCSE ![In: Engineering Interactive Systems, Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings, pp. 118-125, 2008, Springer, 978-3-540-85991-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Collaborative Task Models, Refinement, Tool Support, Development Methodology |
14 | Martin Burtscher, Milind Kulkarni 0001, Dimitrios Prountzos, Keshav Pingali |
On the Scalability of an Automatically Parallelized Irregular Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers, pp. 109-123, 2008, Springer, 978-3-540-89739-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
sparse graph algorithm, amorphous data-parallelism, optimistic execution, parallel programming, multicore processors, mesh refinement |
14 | Peter G. Anick, Raj Gopal Prasad Kantamneni |
A longitudinal study of real-time search assistance adoption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGIR ![In: Proceedings of the 31st Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2008, Singapore, July 20-24, 2008, pp. 701-702, 2008, ACM, 978-1-60558-164-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
search assistance, user interfaces, web search, query refinement |
14 | Guoliang Xu |
Finite Element Methods for Geometric Modeling and Processing Using General Fourth Order Geometric Flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Advances in Geometric Modeling and Processing, 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings, pp. 164-177, 2008, Springer, 978-3-540-79245-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Geometric PDE, Surface mesh refinement, Mixed finite element method, hole filling, Surface blending |
14 | Béatrice Bérard, Paul Gastin, Antoine Petit 0001 |
Timed substitutions for regular signal-event languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 31(2), pp. 101-134, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Signal-event word, Refinement, Abstraction, Timed automata, Substitution |
14 | Xiaolin Li 0001, Manish Parashar |
Hybrid Runtime Management of Space-Time Heterogeneity for Parallel Structured Adaptive Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 18(9), pp. 1202-1214, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hierarchical Multi-Partitioner, Parallel Computing, High Performance Computing, Dynamic Load Balancing, Structured Adaptive Mesh Refinement |
14 | Gozde B. Unal, Anthony J. Yezzi, Stefano Soatto, Gregory G. Slabaugh |
A Variational Approach to Problems in Calibration of Multiple Cameras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Pattern Anal. Mach. Intell. ![In: IEEE Trans. Pattern Anal. Mach. Intell. 29(8), pp. 1322-1338, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
lens distortion calibration, camera parameters refinement, Calibration, variational methods, color calibration |
14 | Marc Segelken |
Abstraction and Counterexample-Guided Construction of omega -Automata for Model Checking of Step-Discrete Linear Hybrid Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 433-448, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
automata construction, counterexample guidance, iterative abstraction refinement, step-discrete hybrid systems, model-checking |
14 | Natarajan Viswanathan, Min Pan, Chris C. N. Chu |
FastPlace 3.0: A Fast Multilevel Quadratic Placement Algorithm with Placement Congestion Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 12th Conference on Asia South Pacific Design Automation, ASP-DAC 2007, Yokohama, Japan, January 23-26, 2007, pp. 135-140, 2007, IEEE Computer Society, 1-4244-0629-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
legalization technique, FastPlace 3.0, multilevel quadratic placement algorithm, placement congestion control, large-scale mixed-size designs, multilevel global placement framework, two-level clustering scheme, iterative local refinement, placement blockages, placement congestion constraints |
14 | Mohua Banerjee, Yiyu Yao |
A Categorial Basis for Granular Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSFDGrC ![In: Rough Sets, Fuzzy Sets, Data Mining and Granular Computing, 11th International Conference, RSFDGrC 2007, Toronto, Canada, May 14-16, 2007, Proceedings, pp. 427-434, 2007, Springer, 978-3-540-72529-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
granulation coarsening and refinement, granular computing, Category theory |
14 | Karl G. Merkley, Corey Ernst, Jason Shepherd, Michael J. Borden |
Methods and Applications of Generalized Sheet Insertion for Hexahedral Meshing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMR ![In: Proceedings of the 16th International Meshing Roundtable, October 14-17, 2007, Seattle, Washington, USA, Proceedings, pp. 233-250, 2007, Springer, 978-3-540-75102-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
refinement, meshing, boundary layers, hexahedra, dual |
14 | Tarvo Raudvere, Ingo Sander, Axel Jantsch |
Synchronization after design refinements with sensitive delay elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 21-26, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
design refinement, synchronization, system design |
14 | Stephen Drape, Clark D. Thomborson, Anirban Majumdar 0001 |
Specifying Imperative Data Obfuscations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISC ![In: Information Security, 10th International Conference, ISC 2007, Valparaíso, Chile, October 9-12, 2007, Proceedings, pp. 299-314, 2007, Springer, 978-3-540-75495-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data Obfuscation, Specification, Refinement, Correctness |
14 | Chao Wang 0001, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi |
Compositional SCC Analysis for Language Emptiness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 28(1), pp. 5-36, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
language emptiness, model checking, BDD, LTL, abstraction refinement |
14 | Flávio Oquendo |
pi-Method: a model-driven formal method for architecture-centric software engineering. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 31(3), pp. 1-13, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
architecture analysis languages, architecture transformation/refinement languages, architecture-centric software engineering, software architectures, formal methods, model-driven development, architecture description languages, component-based software engineering |
14 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Widening operators for powerset domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 8(4-5), pp. 449-466, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Abstract domain refinement, Powersets, Widening operators, Abstract interpretation, Convex polyhedra |
14 | Bikram Sengupta, Rance Cleaveland |
Triggered Message Sequence Charts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 32(8), pp. 587-607, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
refinement, scenarios, formal semantics, Message Sequence Charts, requirements modeling |
|
|