dblp.uni-trier.dewww.uni-trier.de

Alex Groce

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
31EEGerard J. Holzmann, Rajeev Joshi, Alex Groce: New Challenges in Model Checking. 25 Years of Model Checking 2008: 65-76
30EEGerard J. Holzmann, Rajeev Joshi, Alex Groce: Swarm Verification. ASE 2008: 1-6
29EEJames H. Andrews, Alex Groce, Melissa Weston, Ru-Gang Xu: Random Test Run Length and Effectiveness. ASE 2008: 19-28
28EEKlaus Havelund, Alex Groce, Gerard J. Holzmann, Rajeev Joshi, Margaret H. Smith: Automated Testing of Planning Models. MoChArt 2008: 90-105
27EEGerard J. Holzmann, Rajeev Joshi, Alex Groce: Tackling Large Verification Problems with the Swarm Tool. SPIN 2008: 134-143
26EEAlex Groce, Rajeev Joshi: Extending Model Checking with Dynamic Analysis. VMCAI 2008: 142-156
25EEAlex Groce, Rajeev Joshi: Random testing and model checking: building a common framework for nondeterministic exploration. WODA 2008: 22-28
24EEGerard J. Holzmann, Rajeev Joshi, Alex Groce: Model driven code checking. Autom. Softw. Eng. 15(3-4): 283-297 (2008)
23EEAlex Groce, Rajeev Joshi: Exploiting traces in static program analysis: better model checking through printf{{\tt printf}}s. STTT 10(2): 131-144 (2008)
2007
22EENicolas Blanc, Alex Groce, Daniel Kroening: Verifying C++ with STL containers via predicate abstraction. ASE 2007: 521-524
21EEAlex Groce, Gerard J. Holzmann, Rajeev Joshi: Randomized Differential Testing as a Prelude to Formal Verification. ICSE 2007: 621-631
2006
20EEAlex Groce, Rajeev Joshi: Exploiting Traces in Program Analysis. TACAS 2006: 379-393
19EEAlex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. Logic Journal of the IGPL 14(5): 729-744 (2006)
18EEAlex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman: Error explanation with distance metrics. STTT 8(3): 229-247 (2006)
2005
17EEAlex Groce, Daniel Kroening: Making the Most of BMC Counterexamples. Electr. Notes Theor. Comput. Sci. 119(2): 67-81 (2005)
2004
16EEAlex Groce, Daniel Kroening, Flavio Lerda: Understanding Counterexamples with explain. CAV 2004: 453-456
15EEDaniel Kroening, Alex Groce, Edmund M. Clarke: Counterexample Guided Abstraction Refinement Via Program Execution. ICFEM 2004: 224-238
14EESagar Chaki, Alex Groce, Ofer Strichman: Explaining abstract counterexamples. SIGSOFT FSE 2004: 73-82
13EEAlex Groce: Error Explanation with Distance Metrics. TACAS 2004: 108-122
12EEEdjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda: VeriAgent: an Approach to Integrating UML and Formal Verification Tools. Electr. Notes Theor. Comput. Sci. 95: 111-129 (2004)
11EESagar Chaki, Edmund M. Clarke, Alex Groce, Joël Ouaknine, Ofer Strichman, Karen Yorav: Efficient Verification of Sequential and Concurrent C Programs. Formal Methods in System Design 25(2-3): 129-166 (2004)
10EESagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. IEEE Trans. Software Eng. 30(6): 388-402 (2004)
9EEAlex Groce, Willem Visser: Heuristics for model checking Java programs. STTT 6(4): 260-276 (2004)
2003
8EESagar Chaki, Edmund M. Clarke, Alex Groce, Ofer Strichman: Predicate Abstraction with Minimum Predicates. CHARME 2003: 19-34
7EESagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith: Modular Verification of Software Components in C. ICSE 2003: 385-395
6EEAlex Groce, Willem Visser: What Went Wrong: Explaining Counterexamples. SPIN 2003: 121-135
2002
5EEAlex Groce, Doron Peled, Mihalis Yannakakis: AMC: An Adaptive Model Checker. CAV 2002: 521-525
4EEAlex Groce, Willem Visser: Model checking Java programs using structural heuristics. ISSTA 2002: 12-21
3EEAlex Groce, Willem Visser: Heuristic Model Checking for Java Programs. SPIN 2002: 242-245
2EEAlex Groce, Doron Peled, Mihalis Yannakakis: Adaptive Model Checking. TACAS 2002: 357-370
2001
1EEGirish Bhat, Rance Cleaveland, Alex Groce: Efficient Model Checking Via Büchi Tableau Automata. CAV 2001: 38-52

Coauthor Index

1James H. Andrews [29]
2Girish Bhat [1]
3Nicolas Blanc [22]
4Sagar Chaki [7] [8] [10] [11] [14] [18]
5Edmund M. Clarke [7] [8] [10] [11] [12] [15]
6Rance Cleaveland [1]
7Marcia Falcão [12]
8Klaus Havelund [28]
9Gerard J. Holzmann [21] [24] [27] [28] [30] [31]
10Somesh Jha [7] [10]
11Rajeev Joshi [20] [21] [23] [24] [25] [26] [27] [28] [30] [31]
12Jorge Kanda [12]
13Daniel Kroening (Daniel Kröning) [15] [16] [17] [18] [22]
14Flavio Lerda [16]
15Edjard Mota [12]
16Waleska Oliveira [12]
17Joël Ouaknine [11]
18Doron Peled [2] [5] [19]
19Margaret H. Smith [28]
20Ofer Strichman [8] [11] [14] [18]
21Helmut Veith [7] [10]
22Willem Visser [3] [4] [6] [9]
23Melissa Weston [29]
24Ru-Gang Xu [29]
25Mihalis Yannakakis [2] [5] [19]
26Karen Yorav (Karen Laster) [11]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)