NASA Logo, National Aeronautics and Space Administration

Professional Activities

Invited Keynote Speakers

8th IEEE International Conference on Software Engineering and Formal Methods. September 2010.
Dimitra Giannakopoulou: Keynote Speaker

20th International Symposium on Logic-Based Program Synthesis and Transformation. July 2010.
Johann Schuman: Plenary Speaker

Dare 2B Digital. February 27, 2010.
Gundy-Burlet, Karen: Keynote Speaker

35th EUROMICRO conference on Software Engineering and Advanced Applications. August 2009.
Dimitra Giannakopoulou: Keynote Speaker

Back to Top

Technical Committees

Intelligent Systems Technical Committee (ISTC) of the American Institute for Aeronautics and Astronautics (AIAA).
Kristin Rozier: Member

Back to Top

Journal Editorial Boards

Journal of Automated Software Engineering
Michael Lowry: Board Member

Software: Practice and Experience
Tom Pressburger: Board Member

Transactions on Software Engineering and Methodology
Corina Pasareanu: Associate Editor

Back to Top

Journal Guest Editors

IET Software Journal (IET), forthcoming.
Special issue on "Automated Compositional Verification: Techniques, Applications and Empirical Studies"
Corina Pasareanu: Guest editor

Science of Computer Programming, forthcoming.
Special issue on papers from the 5th International Workshop on Formal Aspects of Component Software (FACS'2008), Malaga, Spain, Sep 10-12, 2008.
Corina Pasareanu: Guest editor

International Journal on Software Tools for Technology Transfer, forthcoming.
Special issue on papers from the 16th International SPIN Workshop, Grenoble France, June 26-28, 2009.
Corina Pasareanu: Guest editor

Annals of Mathematics and Artificial Intelligence, forthcoming.
Special issue on "Formal Methods in Aerospace: Techniques from Logic, Mathematics and AI"
Corina Pasareanu: Guest editor

Innovations in Systems and Software Engineering: a NASA Journal, forthcoming.
Special issue on papers from the 1st NASA Formal Methods Symposium, Moffett Field, California, April 6-8, 2009.
Corina Pasareanu: Guest editor

Formal Methods in System Design, Vol. 32, No. 3, June 2008.
Special issue on "Learning Techniques for Compositional Reasoning"
Corina Pasareanu: Guest editor

Back to Top

Conference Steering Committees

Second NASA Formal Methods Symposium (NFM '10). Washington D.C., USA, April 13 - 15, 2010.
Rozier, Kristin: Steering Committee Member

18th IEEE International Conference on Automated Software Engineering (ASE '03). October 2003.
John Penix, Julian Richardson: Steering Committee Members

Back to Top

Conference Organizers/Conference Chairs

Conference on Fundamental Approaches to Software Engineering (FASE 2011), Saarbrücken, Germany, March 26 - April 4 2011.
Dimitra Giannakopoulou: Co-Chair

International Conference on Automated Software Engineering (ASE '11).
Corina Pasareanu: Program Co-Chair.

16th International Conference on Automated Software Engineering (ASE '10), Antwerp, Belgium, September 20-24 2010.
Corina Pasareanu: Doctoral Symposium Co-Chair.

3rd International Workshop on Proof Carrying Code and Software Certification (PCC '09), Los Angeles, California, USA, August 15, 2009.
Ewen Denney, Thomas Jensen: Organizers.

16th International SPIN Workshop on Model Checking of Software (SPIN09), Grenoble, France, June 26-28, 2009.
Corina Pasareanu: Chair.

The First NASA Formal Methods Symposium (NFM 2009), Moffett Field, California, April 6-8, 2009.
Ewen Denney, Dimitra Giannakopoulou, Corina Pasareanu: Organizers.

Haifa Verification Conference Award Committee 2008. Haifa, Israel, October 27-30, 2008.
Corina Pasareanu: Program Co-Chair.

5th Workshop on Formal Aspects of Component Systems (FACS 08), Málaga, Spain, September 10-12, 2008.
Corina Pasareanu: Co-Chair

The 5th Workshop on Specification and Verification of Component-Based Systems (In affiliation with ACM SIGSOFT 2006/FSE-14 ). Portland, Oregon, November 10-11, 2006.
Dimitra Giannakopoulou: Co-Organizer.

Software Certificate Management (SoftCeMent 2005). Long Beach, CA, November 8, 2005.
Ewen Denney: Organizer.

The 4th Workshop on Specification and Verification of Component-Based Systems (In affiliation with ESEC/FSE 2005). Lisbon, Portugal, September 5-6, 2005.
Dimitra Giannakopoulou: Co-Organizer.

25th International Workshop on Baysian Inference and Maximum Entropy Methods in Science and Engineering (MaxEnt 2005). August 7-11, 2005.
Bernd Fischer: Co-Organizer.

Workshop on Empirically Successful Classical Automated Reasoning (CADE-20). July 22-26, 2005.
Bernd Fischer: Co-Organizer.

Workshop Series on the Specification and Verification of Component-Based Systems (SAVCBS'04). October 2004.
Dimitra Giannakopoulou: Co-Organizer.

World Meeting of the International Society for Bayesian Analysis (ISBA 2004). May 2004.
Bernd Fischer: Organizer.

Managing Software Risk at NASA. October 2003.
John Penix: Workshop Organizer

18th IEEE International Conference on Automated Software Engineering (ASE 2003). October 2003.
Charles Pecheur, John Penix: Co-chairmen

Eighteenth International Joint Conference on Artificial Intelligence (MoChArt'03). August 2003.
Charles Pecheur: Co-chairman

Advanced Software Verification Tools, IEEE Aerospace Conference 2003. March 2003.
John Penix: Session Chair

17th IEEE International Conference on Automated Software Engineering (ASE 2002). September 2002.
Julian Richardson, John Penix: General Chairs

Component-Based Software Development, IEEE Aerospace Conference. March 2002.
John Penix: Session Chair

23rd International Conference on Software Engineering (ICSE 2003). May 2001.
John Penix: Co-organizer

Component-Based Software Development, IEEE Aerospace Conference. March 2001.
John Penix: Session Chair

Model-based Validation of Intelligence (MVI 2001). March 2001.
Charles Pecheur: Co-chairman

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. December 2000.
Charles Pecheur, Willem Visser: Co-chairmen

15th IEEE International Conference on Automated Software Engineering (ASE 2000). September 2000.
John Penix: Co-chair

The 22nd International Conference on Software Engineering (ICSE 2000). June 2000.
John Penix: Co-organizer

14th IEEE International Conference on Automated Software Engineering (ASE 99). October 1999.
John Penix: Publicity Chair

13th IEEE International Conference on Automated Software Engineering (ASE 98). October 1998.
John Penix: Publicity Chair

12th IEEE International Conference on Automated Software Engineering (ASE 97)
John Penix: Publicity Chair

Back to Top

Conference Session Chairs

Second NASA Formal Methods Symposium. Washington D.C., USA, April 13 - 15, 2010.
Rozier, Kristin: Session Chair.

2008 IEEE Aerospace Conference, Big Sky, MT, March 1-8, 2008.
Lawrence Markosian: Session 10.01, "Advanced Software Verification Tools" of Track 10.0, "Software and Computing".

2007 IEEE Aerospace Conference, Big Sky, MT, March 3-10, 2007.
Lawrence Markosian: Session 10.01, "Advanced Software Verification Tools" of Track 10.0, "Software and Computing".

2006 IEEE Aerospace Conference, Big Sky, MT, March 4-11, 2006.
Lawrence Markosian: Session 10.01, "Advanced Software Verification Tools" of Track 10.0, "Software and Computing".

Back to Top

Conference Tutorials

25th IEEE/ACM International conference on Automated Software Engineering (ASE '10), Antwerp, Belgium, September 20-24, 2010.
Dimitra Giannakopoulou: "Automated Component-Based Verification"
Corina Pasareanu: "Automated Component-Based Verification"

International Symposium on Software Testing and Analysis (ISSTA'10), Trento, Italy, July 12-16, 2010.
Corina Pasareanu: "Automated Testing with Java PathFinder"

30th International Conference on Software Engineering (ICSE'2008), Leipzig, Germany, May 10-18, 2008.
Corina Pasareanu: "Compositional Verification"

Back to Top

Conference Program Committees

Conference on Fundamental Approaches to Software Engineering (FASE '11), Saarbrücken, Germany, March 26 - April 4 2011.
Corina Pasareanu: Program Committee Member.

13th Brazilian Symposium on Formal Methods (SBMF'2010), Natal, Rio Grande do Norte, Brazil November 8-12, 2010.
Ewen Denney: Program Committee Member.

First International Conference on Runtime Verification (RV'10), St Julians, Malta, November 1-4, 2010.
Corina Pasareanu: Program Committee Member.

International Conference on Embedded Software (EMSOFT10), Scottsdale, Arizona, October 24-29, 2010.
Corina Pasareanu: Program Committee Member.

Ninth International Conference on Generative Programming and Component Engineering (GPCE'10), Eindhoven, The Netherlands. October 10-13 2010.
Ewen Denney: Program Committee Member.

International SPIN Workshop on Model Checking of Software (SPIN'10), Enschede, The Netherlands, September 27 – 29, 2010.
Corina Pasareanu: Program Committee Member.

International Conference on Automated Software Engineering (ASE '10), Antwerp, Belgium, September 20-24 2010.
Ewen Denney: Program Committee Member.
Corina Pasareanu: Program Committee Member.

8th IEEE International Conference on Software Engineering and Formal Methods (SEFM '10), Pisa, Italy, September 10-18 2010.
Dimitra Giannakopoulou: Program Committee Member.

22nd International Conference on Computer Aided Verification (CAV '10), Edinburgh, Scotland July 10, 2010.
Dimitra Giannakopoulou: Program Committee Member.

9th International Workshop On User Interfaces for Theorem Provers(UITP'10), Edinburgh, Scotland July 15, 2010.
Ewen Denney: Program Committee Member.

International Symposium on Software Testing and Analysis (ISSTA'10), Trento, Italy, July 12-16, 2010.
Corina Pasareanu: Program Committee Member.

Secure Software Integration and Reliability Improvement (SSIRI'10), Singapore, Malaysia June 9-11 2010.
Ewen Denney: Program Committee Member.

32nd International Conference on Software Engineering (ICSE 2010), Cape Town, South Africa May 2 - 8 2010.
Dimitra Giannakopoulou: Program Committee Member.

Second NASA Formal Methods Symposium (NFM'10), Washington D.C., USA, April 13-15, 2010.
Ewen Denney: Program Committee Member.
Corina Pasareanu: Program Committee Member.
Dimitra Giannakopoulou: Program Committee Member.
Kristin Rozier: Program Committee Member.

Automated Software Engineering (ASE '09), Auckland, New Zealand, November 16-20, 2009.
Ewen Denney: Program Committee Member.
Corina Pasareanu: Expert Review Panel Member.

Formal Aspects of Component Software (FACS 2009), Eindhoven, The Netherlands, November 2-3, 2009.
Corina Pasareanu: Program Committee Member.

2009 Workshop on Spacecraft Flight Software (FSW '09), Pasadena, CA, November 4, 2009.
Karen Gundy-Burlet: Program Committee Member.

14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven, The Netherlands, November 2-3, 2009.
Corina Pasareanu: Program Committee Member.

International Conference on Embedded Software (EMSOFT09), Grenoble, France, October 12-16, 2009.
Corina Pasareanu: Program Committee Member.

The 7th joint meeting of the European Software Engineering Conference (ESEC)and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), Amsterdam, The Netherlands, August 24-28, 2009.
Dimitra Giannakopoulou: Program Committee Member.

Formal Techniques for Java-like Programs (FTfJP 2009). Genova, Italy, July 6, 2009.
Corina Pasareanu: Program Committee Member.

31st International Conference on Software Engineering, Vancouver, Canada, May 16-24, 2009.
Corina Pasareanu: Program Committee Member.
Dimitra Giannakopoulou: NIER Committee Member.

Conference on Fundamental Approaches to Software Engineering (FASE 2009), European Joint Conferences on Theory and Practice of Software (ETAPS), York, United Kingdom, March 22-29, 2009.
Dimitra Giannakopoulou: Program Committee Member.

2nd International Workshop on Proof-Carrying Code(PCC '08). Pittsburgh, Pennsylvania, June 22, 2008.
Ewen Denney: Program Committee Member.

15th Asia-Pacific Software Engineering Conference (APSEC '08). Beijing, China, December 3-5, 2008.
Ewen Denney: Program Committee Member.

16th International Symposium on Foundations of Software Engineering. Atlanta, GA, November 9-14 2008.
Dimitra Giannakopoulou, Corina Pasareanu: Program Committee Members.

Conference on Component-Based Software Engineering (CBSE 2008), Karlsruhe, Germany, October 14th-17th, 2008.
Dimitra Giannakopoulou: Program Committee Member.

Automated Software Engineering (ASE '08). L'Aquila, Italy, Sept. 15-19, 2008.
Ewen Denney, Dimitra Giannakopoulou, Corina Pasareanu: Program Committee Members.

5th Workshop on Formal Aspects of Component Systems (FACS 08), Málaga, Spain, September 10-12, 2008.
Dimitra Giannakopoulou: Program Committee Member.

IEEE International Conference on Intelligent Computer Communication and Processing 2008. Cluj-Napoca, Romania, August 28 - 30, 2008.
Corina Pasareanu: Program Committee Member.

User Interfaces for Theorem Provers (UITP '08). Québec, Canada, August 22, 2008.
Ewen Denney: Program Committee Member.

19th International Conference on Concurrency Theory. Toronto, Canada, August 19-22, 2008.
Corina Pasareanu: Program Committee Member.

15th International SPIN Workshop on Model Checking of Software. Los Angeles, California, August 10-12, 2008.
Corina Pasareanu: Program Committee Member.

International Symposium on Software Testing and Analysis Seattle, WA, July 20-24 2008.
Corina Pasareanu: Program Committee Member.

Automated Formal Methods (AFM08). Princeton, New Jersey, July 14, 2008.
Corina Pasareanu: Program Committee Member.

20th International Conference on Computer Aided Verification (CAV 2008) Princeton, New Jersey , July 7 – 14, 2008.
Corina Pasareanu: Program Committee Member.

15th International Symposium on Formal Methods (FM’08), Turku, Finland, May 26-30, 2008.
Dimitra Giannakopoulou: Program Committee Member.

30th International Conference on Software Engineering. Leipzig, Germany, May 10 - 18 2008.
Corina Pasareanu: Program Committee Member.

Conference on Fundamental Approaches to Software Engineering (FASE 2008), European Joint Conferences on Theory and Practice of Software (ETAPS), Budapest, Hungary, March 29 - April 6, 2008.
Dimitra Giannakopoulou: Program Committee Member.

1st India Software Engineering Conference (ISEC2008). Hyderabad, India, Feb 19-22, 2008.
Corina Pasareanu: Program Committee Member.

14th Asia-Pacific Software Engineering Conference (APSEC '07). Nagoya, Japan, December 3-4 2007.
Ewen Denney: Program Committee Member.

Automated Software Engineering (ASE '07). Atlanta, Georgia, November 5-9, 2007.
Ewen Denney, Dimitra Giannakopoulou: Program Committee Members.

Fourth International Workshop on Formal Aspects of Component Software (FACS'07), Sophia-Antipolis, France, September 19-21, 2007.
Corina Pasareanu: Program Committee Member.

IEEE 3rd International Conference on Intelligent Computer Communication and Processing. Cluj-Napoca, Romania, September 6-8, 2007.
Corina Pasareanu: Program Committee Member.

The 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering Dubrovnik, Croatia, September 3-7, 2007.
Dimitra Giannakopoulou, Corina Pasareanu: Program Committee Members.

10th Brazilian Symposium on Formal Methods. Ouro Preto, Brazil, August 29-31, 2007.
Ewen Denney: Program Committee Member.

2007 ECSIS Symposium on Bio-inspired, Learning, and Intelligent Systems for Security (BLISS-2007). Edinburgh, UK, August 9-10, 2007.
Corina Pasareanu: Program Committee Member.

12th IEEE International Conference on Engineering ofComplex Computer Systems (ICECCS '07). Auckland, New Zealand, July 11 – 14, 2007.
Ewen Denney: Program Committee Member.

The 5th International Symposium on Software Testing and Analysis (ISSTA'07). London, United Kingdom, July 9-12, 2007.
Corina Pasareanu: Program Committee Member.

14th International SPIN Workshop on Model Checking Software Berlin (SPIN 2007). Germany, July 1-3, 2007 .
Corina Pasareanu: Program Committee Member.

1st International Workshop on Invariant Generation (WING '07). Hagenberg, Austria, June 25-26 2007.
Ewen Denney: Program Committee Member.

29th Int'l Conf. on Software Engineering. (ICSE 07). Minneapolis, MN, May 20-26, 2007.
Dimitra Giannakopoulou, Willem Visser: Program Committee Members.

The 5th Workshop on Specification and Verification of Component-Based Systems (In affiliation with ACM SIGSOFT 2006/FSE-14 ). Portland, Oregon, November 10-11, 2006.
Corina Pasareanu: Program Committee Member.

14th ACM SIGSOFT Symposium on Foundations of Software Engineering. (FSE 06). Portland, Oregon, November 5-11, 2006.
Dimitra Giannakopoulou, Corina Pasareanu: Program Committee Members.

21st IEEE/ACM Int'l Conf. on Automated Software Engineering. (ASE 06). Tokyo, Japan, September 18-22, 2006.
Dimitra Giannakopoulou, Willem Visser: Program Committee Members.

2nd IEEE Int'l Conf. on Intelligent Computer Communication and Processing (ICCP 06). Cluj-Napoca, Romania, September 1-2, 2006.
Corina Pasareanu: Program Committee Member.

User Interfaces for Theorem Provers (UITP '06). Seattle, Washington, August 21, 2006.
Ewen Denney: Program Committee Member.

18th Int'l Conf. on Computer-Aided Verification (CAV 06). Seattle, Washington, August 17-20, 2006.
Corina Pasareanu: Program Committee Member.

The 9th Int'l SIGSOFT Symposium on Component-Based Software Engineering. (CBSE 2006). Stockholm, Sweden, June 29th- July 1st, 2006.
Dimitra Giannakopoulou: Program Committee Member.

28th Int'l Conf. on Software Engineering (ICSE 06). Shanghai, China, May 20-28, 2006.
Tom Pressburger: Experience Track Committee Member.

13th Int'l SPIN Workshop on Model Checking of Software (SPIN 05). Vienna, Austria, March 30 - April 1, 2006.
Willem Visser: Program Committee Member.

The 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005). Heyderabad, India, December 15-18, 2005.
Dimitra Giannakopoulou: Program Committee Member.

20th IEEE/ACM Int'l Conf. on Automated Software Engineering. (ASE 05). Long Beach, CA, November 7-11, 2005.
Dimitra Giannakopoulou, Willem Visser: Program Committee Members.

20th IEEE/ACM International Conference on Automated Software Engineering. (ASE 05). November 7-11, 2005.
Bernd Fischer: Program Committee Member.

The 7th Int'l Conf. on Formal Engineering Methods (ICFEM 2005). Manchester, UK, November 1-4, 2005.
Dimitra Giannakopoulou: Program Committee Member.

1st Int'l Workshop on Services Engineering (SEIW 2005). Melbourne, Australia, September 19-21, 2005.
Dimitra Giannakopoulou: Program Committee Member.

The 4th Workshop on Specification and Verification of Component-Based Systems (In affiliation with ESEC/FSE 2005). Lisbon, Portugal, September 5-6, 2005.
Corina Pasareanu: Program Committee Member.

31th Euromicro Conf. on Software Engineering and Advanced Applications (Euromicro). Porto, Portugal, August 30th - September 3rd, 2005.
Dimitra Giannakopoulou: Program Committee Member.

Sixteenth International Conference on Concurrency Theory (CONCUR 2005). August 2005.
Dimitra Giannakopoulou: Program Committee Member.

7th Int'l Workshop on Verification of Infinite-State Systems (Infinity 05). San Francisco, CA, August 27, 2005.
Willem Visser: Program Committee Member.

12th Int'l SPIN Workshop on Model Checking of Software (SPIN 05). San Francisco, CA, August 22-24, 2005.
Willem Visser: Program Committee Member.

3rd Workshop on Software Model Checking (SoftMC 05). Edinburgh, Scotland, July 11, 2005.
Willem Visser: Program Committee Member.

4th Int'l Workshop on Parallel and Distributed Model Checking (PDMC 05). Lisboa, Portugal, July 11-15, 2005.
Willem Visser: Program Committee Member.

27th International Conference on Software Engineering (ICSE 2005). May 2005.
Dimitra Giannakopoulou, Willem Visser: Program Committee Members.

International Symposium on Component-Based Software Engineering (CBSE 2005). April 2005.
Dimitra Giannakopoulou: Program Committee Member.

Constructive Logic for Automated Software Engineering (CLASE 2005). April 2005.
Ewen Denney: Program Committee Member.

Foundations of Software Engineering (FSE 2004). October 2004.
Willem Visser: Program Committee Member

19th IEEE International Conference on Automated Software Engineering (ASE 2004). September 2004.
Charles Pecheur: Program Committee Member

Workshop on Intelligent Technologies for Software Engineering (WITSE'04). September 2004.
Dimitra Giannakopoulou: Program Committee Member.

International Workshop on Parallel and Distributed Model Checking (PDMC 2004). September 2004.
Willem Visser: Program Committee Member

Infinity 2004. September 2004.
Willem Visser: Program Committee Member

International Conference on Software Engineering (ICSE'04). May 2004.
Corina Pasareanu: Program Committee Member.

International Symposium on Component-Based Software Engineering (CBSE7). May 2004.
Dimitra Giannakopoulou: Program Committee Member.

18th IEEE International Conference on Automated Software Engineering (ASE 2003). October 2003.
Dimitra Giannakopoulou, Charles Pecheur, Willem Visser: Program Committee Members.

Service-Based Software Engineering (SBSE). September 2003.
Dimitra Giannakopoulou: Program Committee Member.

Workshop on Intelligent Technologies for Software Engineering (WITSE'03). September 2003.
Dimitra Giannakopoulou: Program Committee Member.

2003 Symposium on Logic of Program Synthesis and Transformation (LOPSTR 2003). August 2003.
Julian Richardson: Program Committee Member

Workshop on Model Checking and Artificial Intelligence (MoChArt 03). August 2003.
Dimitra Giannakopoulou: Program Committee Member.

International Workshop on Parallel and Distributed Model Checking (PDMC 2003). July 2003.
Willem Visser: Program Committee Member

Workshop on Software Model Checking (SoftMC 2003). July 2003.
Willem Visser: Program Committee Member.

6th Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction. May 2003.
Dimitra Giannakopoulou: Program Committee Member.

Tools and Algorithms for Construction and Analysis of Systems (TACAS 2003). April 2003.
Willem Visser: Program Committee Members.

2nd International Workshop on Refinement of Critical Systems: Methods, Tools and Developments (RCS'2003). March 2003.
Julian Richardson: Committee Member

17th International Conference on Automated Software Engineering (ASE 2002). September 2002.
Charles Pecheur, John Penix, Willem Visser: Program Committee Members.

Seventh International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2002). July 2002.
Willem Visser: Program Committee Member.

Model Checking and Artificial Intelligence Workshop (MoChArt 2002). July 2002.
Willem Visser: Program Committee Member.

5th ICSE Workshop on Component-Based Software Engineering (CBSE'2002). May 2002.
Dimitra Giannakopoulou, John Penix: Program Committee Members.

The 9th International SPIN Workshop on Model Checking of Software (SPIN 2002). April 2002.
Willem Visser: Program Committee Member.

16th International Conference on Automated Software Engineering (ASE 2001). November 2001.
Guillaume Brat, Charles Pecheur, John Penix, Willem Visser: Program Committee Members.

Workshop on Software Model Checking. July 2001.
Willem Visser: Program Committee Member.

RIACS Workshop on the Verification and Validation of Autonomous and Adaptive Systems. June 2001.
Charles Pecheur, Willem Visser: Program Committee Members.

Tools and Algorithms for Construction and Analysis of Systems (TACAS 2001). April 2001.
Willem Visser: Program Committee Members.

15th IEEE International Conference on Automated Software Engineering (ASE 2000). September 2000.
Charles Pecheur, John Penix: Program Committee Members

The Software Risk Management Conference (ISACC 2000). September 2000.
John Penix: Program Committee Member

ACM Workshop on Formal Methods in Software Practice. August 2000.
John Penix: Program Committee Member

The First International Workshop on Automated Program Analysis, Testing and Verification. June 2000.
John Penix, Willem Visser: Program Committee Members.

Les onziemes Journees Francophones des Langages Applicatifs. January 2000.
Klaus Havelund: Program Committee Member

-->

14th IEEE International Conference on Automated Software Engineering (ASE 99). October 1999.
John Penix: Program Committee Member

Back to Top

Last modified: Apr. 23, 2010 by Faisal Shaik.



First Gov logo
NASA Logo - nasa.gov