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.

    </p> 
    <p> 
        <strong><a target="_blank" href="https://www.se.auckland.ac.nz/conferences/ase09/">Automated Software Engineering (ASE '09), Auckland, New Zealand, November 16-20, 2009.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee Member.
        <br/> 
        Corina Pasareanu: Expert Review Panel Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.iist.unu.edu/facs09/">Formal Aspects of Component Software (FACS 2009), Eindhoven, The Netherlands, November 2-3, 2009.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://flightsoftware.jhuapl.edu/fsw09.html">2009 Workshop on Spacecraft Flight Software (FSW '09), Pasadena, CA, November 4, 2009.</a></strong> 
        <br/> 
        Karen Gundy-Burlet: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://users.dsic.upv.es/workshops/fmics2009/">14th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2009), Eindhoven, The Netherlands, November 2-3, 2009.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www-verimag.imag.fr/EMSOFT09/committees.shtml">International Conference on Embedded Software (EMSOFT09), Grenoble, France, October 12-16, 2009.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.esec-fse-2009.ewi.tudelft.nl/">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.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program Committee Member.
    </p> 
    <!-- <p>
    <strong><a target="_blank" href="http://www.cse.msu.edu/issta09/">
    2009 International Conference on Software Testing and Analysis (ISSTA). Chicago, Illinois, July 19-23, 2009.</a></strong>
    <br/>
    Dimitra Giannakopoulou: Program Committee Member.
    </p>--> 
    <p> 
        <strong><a target="_blank" href="http://people.cis.ksu.edu/%7Eab/FTfJP09/ftfjp09.html">Formal Techniques for Java-like Programs (FTfJP 2009). Genova, Italy, July 6, 2009.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cs.uoregon.edu/events/icse2009/home/">31st International Conference on
                Software Engineering, Vancouver,
                Canada, May 16-24,
                2009.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee Member.
        <br/> 
        Dimitra Giannakopoulou: NIER Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cs.york.ac.uk/etaps09/">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.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://workshops.inf.ed.ac.uk/pcc08/">2nd
                International Workshop on
                Proof-Carrying Code(PCC '08).
                Pittsburgh, Pennsylvania, June 22,
                2008.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://lcs.ios.ac.cn/%7Eapsec08">15th
                Asia-Pacific Software Engineering
                Conference (APSEC '08). Beijing, China,
                December 3-5, 2008.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cc.gatech.edu/conferences/fse16/">16th International Symposium on
                Foundations of Software Engineering.
                Atlanta, GA, November 9-14
                2008.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou, Corina Pasareanu: Program Committee
        Members.
    </p> 
    <p> 
    <strong><a target="_blank" href="http://comparch2008.ipd.uka.de/CBSE2008">Conference on Component-Based Software Engineering 
            (CBSE 2008), Karlsruhe, Germany, October 14th-17th, 2008.</a></strong> 
    <br/> 
    Dimitra Giannakopoulou: Program Committee Member.
    <p> 
    <p> 
        <strong><a target="_blank" href="http://www.di.univaq.it/ase2008/">Automated
                Software Engineering (ASE '08).
                L'Aquila, Italy, Sept. 15-19,
                2008.</a></strong> 
        <br/> 
        Ewen Denney, Dimitra Giannakopoulou, Corina Pasareanu: Program Committee Members.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://facs08.lcc.uma.es/">5th Workshop on Formal Aspects of Component Systems
                (FACS 08), Málaga, Spain, September 10-12, 2008.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://cv.utcluj.ro/iccp2008/index.php/home.html">IEEE International Conference on
                Intelligent Computer Communication and
                Processing 2008. Cluj-Napoca, Romania,
                August 28 - 30,
                2008.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.ags.uni-sb.de/%7Eomega/workshops/UITP08/">User Interfaces for Theorem Provers
                (UITP '08). Qu&eacute;bec, Canada,
                August 22, 2008.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cse.yorku.ca/concur08/">19th
                International Conference on Concurrency
                Theory. Toronto, Canada, August 19-22,
                2008.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://compilers.cs.ucla.edu/spin08/">15th International SPIN Workshop on
                Model Checking of Software. Los
                Angeles, California, August 10-12,
                2008.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://issta08.rutgers.edu/">International
                Symposium on Software Testing and
                Analysis Seattle, WA, July 20-24
                2008.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://fm.csl.sri.com/AFM08/">Automated
                Formal Methods (AFM08). Princeton, New
                Jersey, July 14,
                2008.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.princeton.edu/cav2008/">20th
                International Conference on Computer
                Aided Verification (CAV 2008)
                Princeton, New Jersey , July 7 &ndash;
                14, 2008.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.fm2008.abo.fi/">15th International Symposium on Formal Methods 
                (FM’08), Turku, Finland, May 26-30, 2008.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://icse08.upb.de/">30th
                International Conference on Software
                Engineering. Leipzig, Germany, May 10 -
                18 2008.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cs.le.ac.uk/events/fase2008/">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.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cse.iitd.ac.in/sigse/isec2008/">1st India Software Engineering
                Conference (ISEC2008). Hyderabad,
                India, Feb 19-22,
                2008.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://apsec2007.fuka.info.waseda.ac.jp/">14th Asia-Pacific Software Engineering
                Conference (APSEC '07). Nagoya, Japan,
                December 3-4 2007.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cse.msu.edu/ase2007/">Automated
                Software Engineering (ASE '07).
                Atlanta, Georgia, November 5-9,
                2007.</a></strong> 
        <br/> 
        Ewen Denney, Dimitra Giannakopoulou: Program Committee Members.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.iist.unu.edu/facs07/">Fourth
                International Workshop on Formal
                Aspects of Component Software
                (FACS'07), Sophia-Antipolis, France,
                September 19-21,
                2007.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://cs-gw.utcluj.ro/~iccp07/">IEEE
                3rd International Conference on
                Intelligent Computer Communication and
                Processing. Cluj-Napoca, Romania,
                September 6-8, 2007.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.idt.mdh.se/esec-fse-2007/">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.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou, Corina Pasareanu: Program Committee Members.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.sbmf2007.ufop.br/">10th
                Brazilian Symposium on Formal Methods.
                Ouro Preto, Brazil, August 29-31,
                2007.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.see.ed.ac.uk/bliss07/">2007
                ECSIS Symposium on Bio-inspired,
                Learning, and Intelligent Systems for
                Security (BLISS-2007). Edinburgh, UK,
                August 9-10, 2007.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="https://www.cs.auckland.ac.nz/iceccs07/index.php/ICECCS07">12th IEEE International Conference on
                Engineering ofComplex Computer Systems
                (ICECCS '07). Auckland, New Zealand,
                July 11 &ndash; 14,
                2007.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee Member.
    </p> 
    <p> 
        <strong><a href="http://www.cse.unl.edu/issta07/">The
                5th International Symposium on Software
                Testing and Analysis (ISSTA'07).
                London, United Kingdom, July 9-12,
                2007.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://ls5-www.cs.uni-dortmund.de/~edelkamp/spin/">14th International SPIN Workshop on
                Model Checking Software Berlin (SPIN
                2007). Germany, July 1-3, 2007
                .</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.risc.uni-linz.ac.at/about/conferences/WING2007/index.html">1st International Workshop on Invariant
                Generation (WING '07). Hagenberg,
                Austria, June 25-26
                2007.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee Member.
    </p> 
    <strong><a target="_blank" href="http://web4.cs.ucl.ac.uk/icse07/">29th
            Int'l Conf. on Software Engineering.
            (ICSE 07). Minneapolis, MN, May 20-26,
            2007.</a></strong> 
    <br/> 
    Dimitra Giannakopoulou, Willem Visser:
    Program Committee Members.
    <br/> 
    <p> 
        <strong><a target="_blank" href="http://www.eecs.ucf.edu/SAVCBS/2006/index.shtml">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.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cs.uoregon.edu/fse-14/">14th
                ACM SIGSOFT Symposium on Foundations of
                Software Engineering. (FSE 06).
                Portland, Oregon, November 5-11,
                2006.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou, Corina
        Pasareanu: Program Committee
        Members.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.ase-conference.jp/">21st
                IEEE/ACM Int'l Conf. on Automated
                Software Engineering. (ASE 06). Tokyo,
                Japan, September 18-22,
                2006.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou, Willem Visser:
        Program Committee Members.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://cs-gw.utcluj.ro/~iccp06/">2nd
                IEEE Int'l Conf. on Intelligent
                Computer Communication and Processing
                (ICCP 06). Cluj-Napoca, Romania,
                September 1-2, 2006.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.ags.uni-sb.de/%7Eomega/workshops/UITP06/">User Interfaces for Theorem Provers
                (UITP '06). Seattle, Washington, August
                21, 2006.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.informatik.uni-trier.de/~ley/db/conf/cav/cav2006.html">18th Int'l Conf. on Computer-Aided
                Verification (CAV 06). Seattle,
                Washington, August 17-20,
                2006.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.sei.cmu.edu/pacc/CBSE2006/">The 9th Int'l SIGSOFT Symposium on
                Component-Based Software Engineering.
                (CBSE 2006). Stockholm, Sweden, June
                29th- July 1st,
                2006.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.isr.uci.edu/icse-06/cfp/experience.html">28th Int'l Conf. on Software
                Engineering (ICSE 06). Shanghai, China,
                May 20-28, 2006.</a></strong> 
        <br/> 
        Tom Pressburger: Experience Track
        Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cs.tut.fi/SPIN2006/">13th
                Int'l SPIN Workshop on Model Checking
                of Software (SPIN 05). Vienna, Austria,
                March 30 - April 1,
                2006.</a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.imsc.res.in/~fsttcs/">The
                25th Conference on Foundations of
                Software Technology and Theoretical
                Computer Science (FSTTCS 2005).
                Heyderabad, India, December 15-18,
                2005.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://ase.cs.uni-essen.de/ase/past/ase2005/">20th IEEE/ACM Int'l Conf. on Automated
                Software Engineering. (ASE 05). Long
                Beach, CA, November 7-11,
                2005.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou, Willem Visser:
        Program Committee Members.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://ase.cs.uni-essen.de/ase/past/ase2005/">20th IEEE/ACM International Conference
                on Automated Software Engineering. (ASE
                05). November 7-11,
                2005.</a></strong> 
        <br/> 
        Bernd Fischer: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.iist.unu.edu/icfem06/">The
                7th Int'l Conf. on Formal Engineering
                Methods (ICFEM 2005). Manchester, UK,
                November 1-4, 2005.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.ict.swin.edu.au/conferences/seiw2005/">1st Int'l Workshop on Services
                Engineering (SEIW 2005). Melbourne,
                Australia, September 19-21,
                2005.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.cs.iastate.edu/~leavens/SAVCBS/2005/">The 4th Workshop on Specification and
                Verification of Component-Based Systems
                (In affiliation with ESEC/FSE 2005).
                Lisbon, Portugal, September 5-6,
                2005.</a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.icsy.de/conferences/euromicro2005/index.html">31th Euromicro Conf. on Software
                Engineering and Advanced Applications
                (Euromicro). Porto, Portugal, August
                30th - September 3rd,
                2005.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a name="August 2005"><a target="_blank" href="http://www.soe.ucsc.edu/concur05/">Sixteenth
                    International Conference on Concurrency
                    Theory (CONCUR 2005). August
                    2005.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.brics.dk/infinity05/">7th
                Int'l Workshop on Verification of
                Infinite-State Systems (Infinity 05).
                San Francisco, CA, August 27,
                2005.</a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://cm.bell-labs.com/cm/cs/what/spin2005/">12th Int'l SPIN Workshop on Model
                Checking of Software (SPIN 05). San
                Francisco, CA, August 22-24,
                2005.</a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <p> 
        <strong>3rd Workshop on Software Model Checking
            (SoftMC 05). Edinburgh, Scotland, July
            11, 2005.</strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://pdmc.informatik.tu-muenchen.de/">4th Int'l Workshop on Parallel and
                Distributed Model Checking (PDMC 05).
                Lisboa, Portugal, July 11-15,
                2005.</a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://2005.dsn.org/">The International Conference on
    Dependable Systems and Networks (DSN
    2005). June 2005.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--><!--<p>
    <strong><a name="May 2005"><a target="_blank" href="http://www.iceis.org/iceis2005/workshops/vveis/vveis2005-cfp.html">The Third International Workshop on
    Verification and Validation of
    Enterprise Information Systems
    (VVEIS-2005). May
    2005.</a></a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member.
    </p>--> 
    <p> 
        <strong><a name="May 2005"><a target="_blank" href="http://www.cs.wustl.edu/icse05/Home/index.shtml">27th International Conference on
                    Software Engineering (ICSE 2005). May
                    2005.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou, Willem Visser:
        Program Committee Members.
    </p> 
    <p> 
        <strong><a href="http://www.eventseye.com/fairs/trade_fair_event_3902.html">International Symposium on
                Component-Based Software Engineering
                (CBSE 2005). April
                2005.</a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.csse.monash.edu.au/clase/">Constructive
                Logic for Automated Software
                Engineering (CLASE 2005). April
                2005.</a></strong> 
        <br/> 
        Ewen Denney: Program Committee
        Member.
        <br/> 
    </p> 
    <p> 
        <strong><a href="http://www.isical.ac.in/~fse2004/">Foundations
                of Software Engineering (FSE 2004).
                October 2004.</a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.ase-conference.org/">19th
                IEEE International Conference on
                Automated Software Engineering (ASE
                2004). September
                2004.</a></strong> 
        <br/> 
        Charles Pecheur: Program Committee
        Member
    </p> 
    <!--<p>
    <strong><a name="September 2004"><a target="_blank" href="http://www.ikss.org/ici-2004/ici-2004/index.htm">International
    Conference on Informatics (ICI-2004).
    September 2004.</a></a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member.
    </p>--> 
    <p> 
        <strong><a name="September 2004"><a target="_blank" href="http://www-dse.doc.ic.ac.uk/Events/witse-04/">Workshop on Intelligent Technologies
                    for Software Engineering (WITSE'04).
                    September 2004.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.fi.muni.cz/~brim/PDMC04/">International
                Workshop on Parallel and Distributed
                Model Checking (PDMC 2004). September
                2004.</a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member
    </p> 
    <p> 
        <strong><a target="_blank" href="http://homepages.inf.ed.ac.uk/jcb/Infinity04/">Infinity 2004. September
                2004.</a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://www.dcs.warwick.ac.uk/CAV/">16th
    International Conference on Computer
    Aided Verification (CAV 2004). July
    2004.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a name="May 2004"><a target="_blank" href="http://www.icse-conferences.org/2004/index.html">International Conference on Software
                    Engineering (ICSE'04). May
                    2004.</a></a></strong> 
        <br/> 
        Corina Pasareanu: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.sei.cmu.edu/pacc/CBSE7/CBSE7_cfp.htm">International Symposium on
                    Component-Based Software Engineering
                    (CBSE7). May
                    2004.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://www.uni-bamberg.de/~ba7gi99/sfedl04/">Semantic Foundations of Engineering
    Design Languages (SFEDL). April
    2004.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--><!--<p>
    <strong><a target="_blank" href="http://www.aosd.net/2004/workshops/daw.php">Dynamic Aspects Workshop (DAW). March
    2004.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://ase.cs.uni-essen.de/ase/past/ase2003/">18th IEEE International Conference on
                    Automated Software Engineering (ASE
                    2003). October
                    2003.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou, Charles
        Pecheur, Willem Visser: Program
        Committee Members.
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://esecfse.cs.helsinki.fi/">European
    Software Engineering Conference
    (ESEC/FSE 2003). September
    2003.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--><!--<p>
    <strong><a target="_blank" href="http://www.cs.uoregon.edu/~fickas/REOS/">Workshop on Requirements Engineering
    and Open Systems (REOS). September
    2003.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a name= "http://www4.in.tum.de/~sbse/"><a target="_blank" href="">Service-Based
                    Software Engineering (SBSE). September
                    2003.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://witse.soi.city.ac.uk/">Workshop
                    on Intelligent Technologies for
                    Software Engineering (WITSE'03).
                    September 2003.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a name="August 2003"><a target="_blank" href="http://www.cs.kuleuven.ac.be/~dtai/lopstr03/">2003 Symposium on Logic of Program
                    Synthesis and Transformation (LOPSTR
                    2003). August
                    2003.</a></a></strong> 
        <br/> 
        Julian Richardson: Program Committee
        Member
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.csc.liv.ac.uk/~mjw/mochart/">Workshop
                    on Model Checking and Artificial
                    Intelligence (MoChArt 03). August
                    2003.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://www.st.informatik.tu-darmstadt.de/pages/workshops/ASARTI03/index.html">1st Workshop on Advancing the
    State-of-the-Art in Run-Time
    Inspection. July
    2003.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a target="_blank" href="http://www.fi.muni.cz/~brim/PDMC03/">International
                Workshop on Parallel and Distributed
                Model Checking (PDMC 2003). July
                2003.</a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member
    </p> 
    <p> 
        <strong>Workshop on Software Model Checking
            (SoftMC 2003). July
            2003.</strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.sei.cmu.edu/pacc/CBSE6/">6th
                    Workshop on Component-Based Software
                    Engineering: Automated Reasoning and
                    Prediction. May
                    2003.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou: Program
        Committee Member.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.inrialpes.fr/vasy/tacas03/">Tools and Algorithms for Construction
                    and Analysis of Systems (TACAS 2003).
                    April 2003.</a></a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Members.
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://www.cs.unh.edu/~charpov/FMPPTA/">8th International Workshop on Formal
    Methods for Parallel Programming:
    Theory and Applications (FMPPTA 2003).
    April 2003.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a name="March 2003"><a target="_blank" href="http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/03/030603-rcs.html">2nd International Workshop on
                    Refinement of Critical Systems:
                    Methods, Tools and Developments
                    (RCS'2003). March
                    2003.</a></a></strong> 
        <br/> 
        Julian Richardson: Committee Member
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://ase.cs.uni-essen.de/ase/past/ase2002/">17th International Conference on
                    Automated Software Engineering (ASE
                    2002). September
                    2002.</a></a></strong> 
        <br/> 
        Charles Pecheur, John Penix, Willem
        Visser: Program Committee Members.
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://floc02.diku.dk/RT-TOOLS/">Workshop
    on Real-Time Tools (RT-Tools 2002).
    August 2002.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--><!--<p>
    <strong><a target="_blank" href="http://floc02.diku.dk/CAV/">Conference
    on Computer-Aided Verification (CAV
    2002). July 2002.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.inrialpes.fr/vasy/fmics/workshop-7/">Seventh International Workshop on
                    Formal Methods for Industrial Critical
                    Systems (FMICS 2002). July
                    2002.</a></a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.csc.liv.ac.uk/~mjw/mochart/">Model Checking and Artificial
                    Intelligence Workshop (MoChArt 2002).
                    July 2002.</a></a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.sei.cmu.edu/pacc/CBSE5/CBSE5-CFP.html">5th ICSE Workshop on Component-Based
                    Software Engineering (CBSE'2002). May
                    2002.</a></a></strong> 
        <br/> 
        Dimitra Giannakopoulou, John Penix:
        Program Committee Members.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.informatik.uni-trier.de/~ley/db/conf/spin/spin2002.html">The 9th International SPIN Workshop on
                    Model Checking of Software (SPIN 2002).
                    April 2002.</a></a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://www.cs.unh.edu/~charpov/FMPPTA/">7th International Workshop on Formal
    Methods for Parallel Programming:
    Theory and Applications (FMPPTA 2002).
    April 2002.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--><!--<p>
    <strong><a target="_blank" href="http://www.informatik.uni-trier.de/~ley/db/conf/spin/spin2002.html">9th International SPIN Workshop on
    Model Checking of Software (SPIN 2002).
    April 2002.</a></a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://ase.cs.uni-essen.de/ase/past/ase2001/">16th International Conference on
                    Automated Software Engineering (ASE
                    2001). November
                    2001.</a></a></strong> 
        <br/> 
        Guillaume Brat, Charles Pecheur, John
        Penix, Willem Visser: Program Committee
        Members.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.cs.sunysb.edu/~stoller/softmc01/">Workshop on Software Model Checking.
                    July 2001.</a></a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Member.
    </p> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.aaai.org/ojs/index.php/aimagazine/article/view/1583">RIACS Workshop on the Verification and
                    Validation of Autonomous and Adaptive
                    Systems. June
                    2001.</a></a></strong> 
        <br/> 
        Charles Pecheur, Willem Visser: Program
        Committee Members.
    </p> 
    <!--<p>
    <strong>The 8th International SPIN Workshop on
    Model Checking of Software (SPIN 2001).
    May 2001.</a></a></strong>
    <br/>
    Klaus Havelund, Willem Visser: Program
    Committee Members.
    </p>--><!--<p>
    <strong><a target="_blank" href="http://www.cs.unh.edu/~charpov/FMPPTA">6th International Workshop on Formal
    Methods for Parallel Programming:
    Theory and Applications (FMPPTA 2001).
    April 2001.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.disi.unige.it/etaps2001/TACAS/">Tools and Algorithms for Construction
                    and Analysis of Systems (TACAS 2001).
                    April 2001.</a></a></strong> 
        <br/> 
        Willem Visser: Program Committee
        Members.
    </p> 
    <!--<p>
    <strong>Model-based
    Validation of Intelligence. March
    2001.</strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a target="_blank" href="http://ase.informatik.uni-essen.de/ase/past/ase2000/">15th IEEE International Conference on
                Automated Software Engineering (ASE
                2000). September
                2000.</a></strong> 
        <br/> 
        Charles Pecheur, John Penix: Program
        Committee Members
    </p> 
    <p> 
        <strong><a target="_blank" href="http://www.iis.sinica.edu.tw/isaac00/">The
                Software Risk Management Conference
                (ISACC 2000). September
                2000.</a></strong> 
        <br/> 
        John Penix: Program Committee
        Member
    </p> 
    <p> 
        <strong>ACM Workshop on Formal
            Methods in Software Practice. August
            2000.</strong> 
        <br/> 
        John Penix: Program Committee
        Member
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://www.ul.ie/~icse2000/">The 22nd
    International Conference on Software
    Engineering (ICSE 2000). June
    2000.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--> 
    <p> 
        <strong><a name=""><a target= "_blank" href="http://www.ul.ie/~icse2000/">The
                    First International Workshop on
                    Automated Program Analysis, Testing and
                    Verification. June
                    2000.</a></a></strong> 
        <br/> 
        John Penix, Willem Visser: Program
        Committee Members.
    </p> 
    <!--<p>
    <strong><a target="_blank" href="http://techreports.larc.nasa.gov/ltrs/refer/2000/cp/NASA-2000-cp210100.refer.html">Fifth NASA Langley Formal Methods
    Workshop (LFM 2000). June
    2000.</a></strong>
    <br/>
    Klaus Havelund: Program Committee
    Member
    </p>--><!--<p>
    <strong><a target="_blank" href=""<!--href="http://pauillac.inria.fr/jfla/2000/"-->Les onziemes Journees Francophones des Langages Applicatifs. January
    2000.
    </a> 
</strong> 
<br/> 
Klaus Havelund: Program Committee
Member
</p> 
-->
<p> 
    <strong><a target="_blank" href="http://ase.cs.uni-essen.de/ase/past/ase99/">14th IEEE International Conference on
            Automated Software Engineering (ASE
            99). October 1999.</a></strong> 
    <br/> 
    John Penix: Program Committee
    Member
</p> 
<p> 
    <a href="#top">Back to Top</a> 
</p>

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



+NASA Home

+Ames Home

+Intelligent Systems Division

Professional Activities
First Gov logo
NASA Logo - nasa.gov