Paul Ammann

	2011
70		Jeff Offutt, Nan Li, Paul Ammann, Wuzhi Xu: Using abstraction and Web applications to teach criteria-based test design. CSEE&T 2011: 227-236
69		Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt: A logic mutation approach to selective mutation for programs and queries. Information & Software Technology 53(10): 1137-1152 (2011)
68		Garrett Kent Kaminski, Paul Ammann: Reducing logic test set size while preserving fault detection. Softw. Test., Verif. Reliab. 21(3): 155-193 (2011)
	2010
67		Garrett Kent Kaminski, Paul Ammann: Applications of Optimization to Logic Testing. ICST Workshops 2010: 331-336
66		Garrett Kent Kaminski, Upsorn Praphamontripong, Paul Ammann, Jeff Offutt: An Evaluation of the Minimal-MUMCUT Logic Criterion and Prime Path Coverage. Software Engineering Research and Practice 2010: 205-211
65		Garrett Kent Kaminski, Paul Ammann: Applying MCDC to Large DNF Logic Expressions. Software Engineering Research and Practice 2010: 411-417
	2009
64		Garrett Kent Kaminski, Paul Ammann: Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault Detection. ICST 2009: 356-365
63		Garrett Kent Kaminski, Paul Ammann: Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation Testing. ICST 2009: 386-395
62		Gordon Fraser, Franz Wotawa, Paul Ammann: Issues in using model checkers for test case generation. Journal of Systems and Software 82(9): 1403-1418 (2009)
61		Gordon Fraser, Franz Wotawa, Paul Ammann: Testing with model checkers: a survey. Softw. Test., Verif. Reliab. 19(3): 215-261 (2009)
	2008
60		Paul Ammann, Jeff Offutt: Introduction to software testing. Cambridge University Press 2008: I-XXII, 1-322
59		Paul Ammann, Jeff Offutt, Wuzhi Xu: Coverage Criteria for State Based Specifications. Formal Methods and Testing 2008: 118-156
58		Gordon Fraser, Paul Ammann: Reachability and Propagation for LTL Requirements Testing. QSIC 2008: 189-198
57		Garrett Kent Kaminski, Gregory Williams, Paul Ammann: Reconciling perspectives of software logic testing. Softw. Test., Verif. Reliab. 18(3): 149-188 (2008)
	2007
56		Duminda Wijesekera, Paul Ammann, Lingya Sun, Gordon Fraser: Relating counterexamples to test cases in CTL model checking specifications. A-MOST 2007: 75-84
55		Peng Liu, Jie Li, Sushil Jajodia, Paul Ammann: Can-Follow Concurrency Control. IEEE Trans. Computers 56(10): 1425-1430 (2007)
	2006
54		Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann: Policy Transformations for Preventing Leakage of Sensitive Information in Email Systems. DBSec 2006: 163-178
53		Saket Kaushik, Csilla Farkas, Duminda Wijesekera, Paul Ammann: An Algebra for Composing Ontologies. FOIS 2006: 265-276
52		Jing Guan, Jeff Offutt, Paul Ammann: An industrial case study of structural testing applied to safety-critical embedded software. ISESE 2006: 272-277
51		Joseph Pamula, Sushil Jajodia, Paul Ammann, Vipin Swarup: A weakest-adversary security metric for network configuration security analysis. QoP 2006: 31-38
50		Joseph Pamula, Paul Ammann, Sushil Jajodia, Ronald W. Ritchey: A framework for establishing, assessing, and managing trust in inter-organizational relationships. SWS 2006: 23-32
49		Saket Kaushik, Duminda Wijesekera, Paul Ammann: BPEL orchestration of secure webmail. SWS 2006: 85-94
	2005
48		Paul Ammann, Joseph Pamula, Julie A. Street, Ronald W. Ritchey: A Host-Based Approach to Network Attack Chaining Analysis. ACSAC 2005: 72-84
47		Saket Kaushik, William H. Winsborough, Duminda Wijesekera, Paul Ammann: Email feedback: a policy-based approach to overcoming false positives. FMSE 2005: 73-82
46		Saket Kaushik, Duminda Wijesekera, Paul Ammann: Policy-based dissemination of partial web-ontologies. SWS 2005: 43-52
	2004
45		Saket Kaushik, Paul Ammann, Duminda Wijesekera, William H. Winsborough, Ronald W. Ritchey: A Policy Driven Approach to Email Services. POLICY 2004: 169-
	2003
44		Paul Ammann, A. Jefferson Offutt, Hong Huang: Coverage Criteria for Logical Expressions. ISSRE 2003: 99-107
43		A. Jefferson Offutt, Shaoying Liu, Aynur Abdurazik, Paul Ammann: Generating test data from state-based specifications. Softw. Test., Verif. Reliab. 13(1): 25-53 (2003)
	2002
42		Paul Ammann, Duminda Wijesekera, Saket Kaushik: Scalable, graph-based network vulnerability analysis. ACM Conference on Computer and Communications Security 2002: 217-224
41		Paul Ammann, Sushil Jajodia, Peng Liu: Recovery from Malicious Transactions. IEEE Trans. Knowl. Data Eng. 14(5): 1167-1185 (2002)
	2001
40		Paul Ammann, Wei Ding, Daling Xu: Using a Model Checker to Test Safety Properties. ICECCS 2001: 212-221
	2000
39		Aynur Abdurazik, Paul Ammann, Wei Ding, A. Jefferson Offutt: Evaluation of Three Specification-Based Testing Criteria. ICECCS 2000: 179-187
38		Ronald W. Ritchey, Paul Ammann: Using Model Checking to Analyze Network Vulnerabilities. IEEE Symposium on Security and Privacy 2000: 156-165
37		Peng Liu, Paul Ammann, Sushil Jajodia: Rewriting Histories: Recovering from Malicious Transactions. Distributed and Parallel Databases 8(1): 7-40 (2000)
36		Indrakshi Ray, Paul Ammann, Sushil Jajodia: Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity. Inf. Sci. 129(1-4): 155-195 (2000)
	1999
35		Paul Ammann, Paul E. Black: A Specification-Based Coverage Metric to Evaluate Test Sets. HASE 1999: 239-248
34		Peng Liu, Paul Ammann, Sushil Jajodia: Incorporating Transaction Semantics to Reduce Reprocessing Overhead in Replicated Mobile Data Applications. ICDCS 1999: 414-423
33		Paul Ammann, Sushil Jajodia: The Integrity Challenge. IICIS 1999: 59-70
32		Sushil Jajodia, Catherine D. McCollum, Paul Ammann: Trusted Recovery. Commun. ACM 42(7): 71-75 (1999)
31		Sushil Jajodia, Paul Ammann, Catherine D. McCollum: Surviving Information Warfare Attacks. IEEE Computer 32(4): 57-63 (1999)
	1998
30		Paul Ammann, Paul E. Black, William Majurski: Using Model Checking to Generate Tests from Specifications. ICFEM 1998: 46-
29		Indrakshi Ray, Paul Ammann, Sushil Jajodia: A Semantic-Based Transaction Processing Model for Multilevel Transactions. Journal of Computer Security 6(3): 181-217 (1998)
	1997
28		Sushil Jajodia, Indrakshi Ray, Paul Ammann: Implementing Semantic-Based Decomposition of Transactions. CAiSE 1997: 75-88
27		Paul Ammann, Sushil Jajodia, Catherine D. McCollum, Barbara T. Blaustein: Surviving information warfare attacks on databases. IEEE Symposium on Security and Privacy 1997: 164-174
26		Paul Ammann, Sushil Jajodia, Indrakshi Ray: Semantic-Based Decomposition of Transactions. Advanced Transaction Models and Architectures 1997: 0-
25		Paul Ammann, Sushil Jajodia, Indrakshi Ray: Applying Formal Methods to Semantic-Based Decomposition of Transactions. ACM Trans. Database Syst. 22(2): 215-254 (1997)
24		Paul Ammann, Dahlard L. Lukes, John C. Knight: Applying Data Redundancy to Differential Equation Solvers. Ann. Software Eng. 4: 65-77 (1997)
	1996
23		Paul Ammann, Sushil Jajodia, Indrakshi Ray: Ensuring Atomicity of Multilevel Transactions. IEEE Symposium on Security and Privacy 1996: 74-84
22		Pierangela Samarati, Paul Ammann, Sushil Jajodia: Maintaining Replicated Authorizations in Distributed Database Systems. Data Knowl. Eng. 18(1): 55-84 (1996)
21		Paul Ammann, Sushil Jajodia, Phyllis G. Frankl: Globally Consistent Event Ordering in One-Directional Distributed Environments. IEEE Trans. Parallel Distrib. Syst. 7(6): 665-670 (1996)
20		Paul Ammann, Richard J. Lipton, Ravi S. Sandhu: The Expressive Power of Multi-parent Creation in Monotonic Access Control Models. Journal of Computer Security 4(2/3): 149-166 (1996)
	1995
19		Paul Ammann, Sushil Jajodia, Indrakshi Ray: Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions. VLDB 1995: 218-227
18		Paul Ammann, Vijayalakshmi Atluri, Sushil Jajodia: The Partitioned Synchronization Rule for Planar Extendible Partial Orders. IEEE Trans. Knowl. Data Eng. 7(5): 797-808 (1995)
17		Paul Ammann, Sushil Jajodia, Padmaja Mavuluri: On-The-Fly Reading of Entire Databases. IEEE Trans. Knowl. Data Eng. 7(5): 834-838 (1995)
16		Paul Ammann, Frank Jaeckle, Sushil Jajodia: Concurrency Control in a Secure Database via a Two-Snapshot Algorithm. Journal of Computer Security 3(2/3): 87-114 (1995)
	1994
15		Paul Ammann, Sushil Jajodia: An Efficient Multiversion Algorithm for Secure Servicing of Transaction Reads. ACM Conference on Computer and Communications Security 1994: 118-125
14		Pierangela Samarati, Paul Ammann, Sushil Jajodia: Propagation of Authorizations in Distributed Database Systems. ACM Conference on Computer and Communications Security 1994: 136-147
13		Paul Ammann, Hassan Gomaa, A. Jefferson Offutt, David Rine, Bo Sanden: A Five Year Perspective on Software Engineering Graduate Programs at George Mason University. CSEE 1994: 473-488
12		Ravi S. Sandhu, Paul Ammann: One-Representative Safety Analysis in the Non-Monotonic Transform Model. CSFW 1994: 139-149
11		Paul Ammann, Susan S. Brilliant, John C. Knight: The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing. IEEE Trans. Software Eng. 20(2): 142-148 (1994)
	1993
10		Paul Ammann, Sushil Jajodia: Planar Lattice Security Structures for Multilevel Replicated Databases. DBSec 1993: 125-134
9		Paul Ammann, Sushil Jajodia: Distributed Timestamp Generation in Planar Lattice Networks. ACM Trans. Comput. Syst. 11(3): 205-225 (1993)
	1992
8		Paul Ammann, Richard J. Lipton, Ravi S. Sandhu: The Expressive Power of Multi-Parent Creation in a Monotonic Access Control Model. CSFW 1992: 148-156
7		Paul Ammann, Ravi S. Sandhu: The Extended Schematic Protection Model Journal of Computer Security 1(3-4): 335-384 (1992)
	1991
6		Paul Ammann, Sushil Jajodia: A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases. DBSec 1991: 191-202
5		Paul Ammann, Ravi S. Sandhu: Safety Analysis for the Extended Schematic Protection Model. IEEE Symposium on Security and Privacy 1991: 87-97
	1990
4		Susan S. Brilliant, John C. Knight, Paul Ammann: On the performance of software testing using multiple versions. FTCS 1990: 408-415
	1989
3		John C. Knight, Paul Ammann: Issues Influencing the Use of N-Version Programming. IFIP Congress 1989: 217-222
	1988
2		Paul Ammann, John C. Knight: Data Diversity: An Approach to Software Fault Tolerance. IEEE Trans. Computers 37(4): 418-425 (1988)
	1985
1		John C. Knight, Paul Ammann: An Experimental Evaluation of Simple Methods for Seeding Program Errors. ICSE 1985: 337-342

Coauthor Index

1	Aynur Abdurazik	[39] [43]
2	Vijayalakshmi Atluri (Vijay Atluri)	[18]
3	Paul E. Black	[30] [35]
4	Barbara T. Blaustein	[27]
5	Susan S. Brilliant	[4] [11]
6	Wei Ding	[39] [40]
7	Csilla Farkas	[53]
8	Phyllis G. Frankl	[21]
9	Gordon Fraser	[56] [58] [61] [62]
10	Hassan Gomaa	[13]
11	Jing Guan	[52]
12	Hong Huang	[44]
13	Frank Jaeckle	[16]
14	Sushil Jajodia	[6] [9] [10] [14] [15] [16] [17] [18] [19] [21] [22] [23] [25] [26] [27] [28] [29] [31] [32] [33] [34] [36] [37] [41] [50] [51] [55]
15	Garrett Kent Kaminski	[57] [63] [64] [65] [66] [67] [68] [69]
16	Saket Kaushik	[42] [45] [46] [47] [49] [53] [54]
17	John C. Knight	[1] [2] [3] [4] [11] [24]
18	Jie Li	[55]
19	Nan Li	[70]
20	Richard J. Lipton	[8] [20]
21	Peng Liu	[34] [37] [41] [55]
22	Shaoying Liu	[43]
23	Dahlard L. Lukes	[24]
24	William Majurski	[30]
25	Padmaja Mavuluri	[17]
26	Catherine D. McCollum	[27] [31] [32]
27	A. Jefferson Offutt (Jeff Offutt)	[13] [39] [43] [44] [52] [59] [60] [66] [69] [70]
28	Joseph Pamula	[48] [50] [51]
29	Upsorn Praphamontripong	[66] [69]
30	Indrakshi Ray	[19] [23] [25] [26] [28] [29] [36]
31	David Rine	[13]
32	Ronald W. Ritchey	[38] [45] [48] [50]
33	Pierangela Samarati	[14] [22]
34	Bo Sandén (Bo Sanden)	[13]
35	Ravi S. Sandhu	[5] [7] [8] [12] [20]
36	Julie A. Street	[48]
37	Lingya Sun	[56]
38	Vipin Swarup	[51]
39	Duminda Wijesekera	[42] [45] [46] [47] [49] [53] [54] [56]
40	Gregory Williams	[57]
41	William H. Winsborough	[45] [47] [54]
42	Franz Wotawa	[61] [62]
43	Daling Xu	[40]
44	Wuzhi Xu	[59] [70]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page