|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 53 occurrences of 47 keywords
|
|
|
Results
Found 51 publication records. Showing 51 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
97 | François Pottier, Nadji Gauthier |
Polymorphic typed defunctionalization and concretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(1), pp. 125-162, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Type-preserving compilation, Polymorphic records, Dictionary records, Polymorphism, Type classes, Defunctionalization, Closure conversion, Concretization |
97 | Javier López 0001, Niko Myller, Erkki Sutinen |
Sorting out sorting through concretization with robotics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AVI ![In: Proceedings of the working conference on Advanced visual interfaces, AVI 2004, Gallipoli, Italy, May 25-28, 2004, pp. 377-380, 2004, ACM Press, 1-58113-867-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
algorithms, robotics, sorting, concretization |
66 | Kuntal Nanshi, Fabio Somenzi |
Improved Visibility in One-to-Many Trace Concretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DATE ![In: Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008, pp. 819-824, 2008, ACM, 978-3-9810801-3-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
57 | David Pichardie |
Modular Proof Principles for Parameterised Concretizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASSIS ![In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers, pp. 138-154, 2005, Springer, 3-540-33689-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Kuntal Nanshi, Fabio Somenzi |
Constraints in one-to-many concretization for abstraction refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAC ![In: Proceedings of the 46th Design Automation Conference, DAC 2009, San Francisco, CA, USA, July 26-31, 2009, pp. 569-574, 2009, ACM, 978-1-60558-497-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
simulation, model checking, abstraction refinement |
47 | Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil |
Test Purpose Concretization through Symbolic Action Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TestCom/FATES ![In: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings, pp. 184-199, 2008, Springer, 978-3-540-68514-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose |
38 | Patrice Godefroid, Nir Piterman |
LTL Generalized Model Checking Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 89-104, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
38 | François Fages, Roberta Gori |
A Hierarchy of Semantics for Normal Constraint Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 5th International Conference, ALP'96, Aachen, Germany, September 25-27, 1996, Proceedings, pp. 77-91, 1996, Springer, 3-540-61735-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
31 | Roberto Passerone, Jerry R. Burch, Alberto L. Sangiovanni-Vincentelli |
Refinement preserving approximations for the design and verification of heterogeneous systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 31(1), pp. 1-33, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Conservative approximation, Verification, Approximation, Reuse, Refinement, Refinement, Abstraction, Abstract interpretation, Heterogeneous, Polymorphism, Preserving, Model of computation, Galois connection, Discrete time, Continuous time, Concretization |
28 | Aren A. Babikian, Oszkár Semeráth, Dániel Varró |
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 50(1), pp. 48-68, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers |
Memoryless concretization relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.09556, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Julien Calbert, Sébastien M. Mattenet, Antoine Girard, Raphaël M. Jungers |
Memoryless concretization relation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2024, Hong Kong SAR, China, May 14-16, 2024, pp. 14:1-14:9, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
28 | Aren A. Babikian, Oszkár Semeráth, Dániel Varró |
Concretization of Abstract Traffic Scene Specifications Using Metaheuristic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.07826, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Sören Tempel, Vladimir Herdt, Rolf Drechsler |
Towards Quantification and Visualization of the Effects of Concretization During Concolic Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Embed. Syst. Lett. ![In: IEEE Embed. Syst. Lett. 14(4), pp. 195-198, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Akshay Sharma, Piyush Rajesh Medikeri, Yu Zhang 0055 |
Domain Concretization From Examples: Addressing Missing Domain Knowledge Via Robust Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Robotics Autom. Lett. ![In: IEEE Robotics Autom. Lett. 7(2), pp. 1032-1039, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Jie Zhou 0016, Shengding Hu, Xin Lv, Cheng Yang 0002, Zhiyuan Liu 0001, Wei Xu, Jie Jiang, Juanzi Li, Maosong Sun 0001 |
KACC: A Multi-task Benchmark for Knowledge Abstraction, Concretization and Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL/IJCNLP (Findings) ![In: Findings of the Association for Computational Linguistics: ACL/IJCNLP 2021, Online Event, August 1-6, 2021, pp. 1751-1763, 2021, Association for Computational Linguistics, 978-1-954085-54-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Akshay Sharma, Piyush Rajesh Medikeri, Yu Zhang 0055 |
Domain Concretization from Examples: Addressing Missing Domain Knowledge via Robust Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2011.09034, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Jie Zhou 0024, Xin Lv, Cheng Yang 0002, Zhiyuan Liu 0001, Juanzi Li, Maosong Sun 0001 |
KACC: A Multi-task Benchmark for Knowledge Abstraction, Concretization and Completion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2004.13631, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP BibTeX RDF |
|
28 | Thilo O. Richter, Peter M. Tröster, André Felber, Albert Albers, Kamran Behdinan |
Measuring the concretization level of Systems of Objectives in the early phase of product development to derive the product maturity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SysCon ![In: IEEE International Systems Conference, SysCon 2020, Montreal, QC, Canada, August 24 - September 20, 2020, pp. 1-7, 2020, IEEE, 978-1-7281-5365-0. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Rick Gilsing, Oktay Türetken, Baris Özkan, Frans Slaats, Onat Ege Adali, Anna Wilbik, Frank Berkers, Paul Grefen |
A Method to Guide the Concretization of Costs and Benefits in Service-Dominant Business Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRO-VE ![In: Boosting Collaborative Networks 4.0 - 21st IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2020, Valencia, Spain, November 23-25, 2020, Proceedings, pp. 61-70, 2020, Springer, 978-3-030-62411-8. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Huibin Wang, Chunqiang Li, Jianyi Meng, Xiaoyan Xiang |
SCSE: Boosting Symbolic Execution via State Concretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 102-D(8), pp. 1506-1516, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Chi Chen, Xin Peng 0001, Jun Sun 0001, Zhenchang Xing, Xin Wang, Yifan Zhao, Hairui Zhang, Wenyun Zhao |
Generative API usage code recommendation with parameter concretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Inf. Sci. ![In: Sci. China Inf. Sci. 62(9), pp. 192103:1-192103:22, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Awanish Pandey, Phani Raj Goutham Kotcharlakota, Subhajit Roy 0001 |
Deferred concretization in symbolic execution via fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2019, Beijing, China, July 15-19, 2019., pp. 228-238, 2019, ACM, 978-1-4503-6224-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Buthayna Eilouti |
Concept as a Bridge between Abstraction and Concretization in Design Knowledge Visualization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 22nd International Conference Information Visualisation, IV 2018, Fisciano, Italy, July 10-13, 2018, pp. 407-412, 2018, IEEE Computer Society, 978-1-5386-7202-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Peter Lacko, Peter Kajsa, Pavol Návrat |
Design Pattern Instances within Model Driven Development Based on Abstraction, Concretization and Variability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 36(1), pp. 55-85, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Lijuan Wang, Jun Shen 0001 |
A Systematic Review of Bio-Inspired Service Concretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 10(4), pp. 493-505, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster |
An empirical study of adaptive concretization for parallel program synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Methods Syst. Des. ![In: Formal Methods Syst. Des. 50(1), pp. 75-95, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Vanderson Hafemann Fragal, Adenilso Simão, André Takeshi Endo, Mohammad Reza Mousavi 0001 |
Reducing the Concretization Effort in FSM-Based Testing of Software Product Lines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICST Workshops ![In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops 2017, Tokyo, Japan, March 13-17, 2017, pp. 329-336, 2017, IEEE Computer Society, 978-1-5090-6676-6. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Robin David, Sébastien Bardin, Josselin Feist, Laurent Mounier, Marie-Laure Potet, Thanh Dinh Ta, Jean-Yves Marion |
Specification of concretization and symbolization policies in symbolic execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 25th International Symposium on Software Testing and Analysis, ISSTA 2016, Saarbrücken, Germany, July 18-20, 2016, pp. 36-46, 2016, ACM, 978-1-4503-4390-9. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Jinseong Jeon, Xiaokang Qiu, Armando Solar-Lezama, Jeffrey S. Foster |
Adaptive Concretization for Parallel Program Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV (2) ![In: Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II, pp. 377-394, 2015, Springer, 978-3-319-21667-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Narcisa Andreea Milea, Lingxiao Jiang, Siau-Cheng Khoo |
Vector abstraction and concretization for scalable detection of refactorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16 - 22, 2014, pp. 86-97, 2014, ACM, 978-1-4503-3056-5. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Peter Kajsa, L'ubomír Majtás, Pavol Návrat |
Design pattern instantiation directed by concretization and specialization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Sci. Inf. Syst. ![In: Comput. Sci. Inf. Syst. 8(1), pp. 41-72, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Tamar Ronen-Fuhrmann, Yael Kali |
The role of concretization in acquiring design knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLS (1) ![In: Learning in the Disciplines: Proceedings of the 9th International Conference of the Learning Sciences, ICLS 2010, Chicago, IL, USA, June 29 - July 2, 2010, Volume 1, pp. 468-475, 2010, International Society of the Learning Sciences / ACM DL. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP BibTeX RDF |
|
28 | Romain Janvier, Yassine Lakhnech, Michaël Périn |
Certifying cryptographic protocols by abstract model-checking and proof concretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGBED Rev. ![In: SIGBED Rev. 3(4), pp. 37-57, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Victor N. Kasyanov |
Transformational Approach to Program Concretization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 90(1), pp. 37-46, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
19 | António Rodrigues, Nuno Roma, Leonel Sousa |
p264: open platform for designing parallel H.264/AVC video encoders on multi-core systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NOSSDAV ![In: Network and Operating System Support for Digital Audio and Video, 20th International Workshop, NOSSDAV 2010, Amsterdam, The Netherlands, June 2-4, 2010, Proceedings, pp. 81-86, 2010, ACM, 978-1-4503-0043-8. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
h.264, parallel systems, multi-core processors, video encoder |
19 | Audrey Occello, Anne-Marie Pinna-Dery, Michel Riveill, Günter Kniesel |
Managing Model Evolution Using the CCBM Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland, pp. 453-462, 2008, IEEE Computer Society, 978-0-7695-3141-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
MDE, CBSE, model integration, model evolution |
19 | Alina Dia Miron, Jérôme Gensel, Marlène Villanova-Oliver |
Semantic Analysis for the Geospatial Web - Application to OWL-DL Ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
W2GIS ![In: Web and Wireless Geographical Information Systems, 8th International Symposium, W2GIS 2008, Shanghai, China, December 11-12, 2008. Proceedings, pp. 37-49, 2008, Springer, 978-3-540-89902-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Geospatial Semantic Web, context definition, ontology, semantic analysis, spatio-temporal reasoning |
19 | Magdalena Slawiriska, Jaroslaw Siawiriski, Vaidy S. Sunderam |
Enhancing build-portability for scientific applications across heterogeneous platforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1-8, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Jacques Julliand, Pierre-Alain Masson, Régis Tissot |
Generating Tests from B Specifications and Test Purposes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ABZ ![In: Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings, pp. 139-152, 2008, Springer, 978-3-540-87602-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
IAS Case Study, Model-Based Testing, Test Purpose |
19 | David A. Schmidt |
Internal and External Logics of Abstract Interpretations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 263-278, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
19 | Patrice Godefroid, Michael Huth 0001 |
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 158-167, 2005, IEEE Computer Society, 0-7695-2266-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Alexander Pretschner |
Model-based testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 722-723, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
coverage, development processes, model-based development |
19 | Ted K. Ralphs, Laszlo Ladányi, Matthew J. Saltzman |
A Library Hierarchy for Implementing Scalable Parallel Search Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 28(2), pp. 215-234, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
parallel branch and bound, optimization, parallel algorithm, integer programming, parallel search |
19 | Nina Amla, Kenneth L. McMillan |
A Hybrid of Counterexample-Based and Proof-Based Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Formal Methods in Computer-Aided Design, 5th International Conference, FMCAD 2004, Austin, Texas, USA, November 15-17, 2004, Proceedings, pp. 260-274, 2004, Springer, 3-540-23738-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Chao Wang 0001, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi |
Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCAD ![In: 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003, pp. 408-415, 2003, IEEE Computer Society / ACM, 1-58113-762-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
19 | Patrice Godefroid, Radha Jagadeesan |
Automatic Abstraction Using Generalized Model Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 14th International Conference, CAV 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings, pp. 137-150, 2002, Springer, 3-540-43997-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi |
Distinctness and Sharing Domains for Static Analysis of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2001 - Object-Oriented Programming, 15th European Conference, Budapest, Hungary, June 18-22, 2001, Proceedings, pp. 77-98, 2001, Springer, 3-540-42206-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis |
19 | Darko Marinov, Sarfraz Khurshid |
TestEra: A Novel Framework for Automated Testing of Java Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 16th IEEE International Conference on Automated Software Engineering (ASE 2001), 26-29 November 2001, Coronado Island, San Diego, CA, USA, pp. 22-, 2001, IEEE Computer Society, 0-7695-1426-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Michael Huth 0001 |
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems and Interval Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 19th Conference, Chennai, India, December 13-15, 1999, Proceedings, pp. 369-380, 1999, Springer, 3-540-66836-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
19 | Leonid A. Kalinichenko |
An Anatomy of the Information Resource Semantic Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 20(4), pp. 21-24, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #51 of 51 (100 per page; Change: )
|
|