Conferences
Editorial Boards
Journal of Automated Software
Engineering
Michael Lowry: Board Member
International Journal of Software and
Information
Technologies.
Klaus Havelund: Board Member
Conference Organizers/Conference Chairs
Haifa Verification Conference 2008.
Haifa, Israel, October 27-30,
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 (MaxEmt
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.
1st Workshop on Verification and
Validation of Model-Based Planning and
Scheduling Systems (VVPS'05). June 6-7,
2005.
Allen Goldberg, Klaus Havelund:
Conference Chairs.
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.
Fourth
Workshop on Runtime Verification
(RV'04). April
2004.
Klaus Havelund: 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
Second
Workshop on Runtime Verification
(RV'02). July
2002.
Klaus Havelund, Grigore Rosu:
Organizers
Component-Based
Software Development, IEEE Aerospace
Conference. March
2002.
John Penix: Session Chair
First
Workshop on Runtime Verification
(RV'01). July
2001.
Klaus Havelund, Grigore Rosu:
Organizers
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
The
7th International SPIN Workshop on
Model Checking Software (SPIN 2000).
September 2000.
Klaus Havelund, John Penix, and Willem
Visser: Organizers
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
Steering Committees
18th IEEE International Conference on
Automated Software Engineering (ASE
2003). October 2003.
John Penix, Julian Richardson: Steering
Committee Members
Program Committees
31st International Conference on
Software Engineering, Vancouver,
Canada, May 16-24,
2009.
Corina Pasareanu: 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.
Corina Pasareanu: Program Committee
Member.
Automated
Software Engineering (ASE '08).
L'Aquila, Italy, September 15-19,
2008.
Ewen Denney, Corina Pasareanu: 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.
30th
International Conference on Software
Engineering. Leipzig, Germany, May 10 -
18 2008.
Corina Pasareanu: 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: Program Committee
Member.
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.
Corina Pasareanu: Program Committee
Member.
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.
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.
The International Conference on
Dependable Systems and Networks (DSN
2005). June 2005.
Klaus Havelund: Program Committee
Member
The Third International Workshop on
Verification and Validation of
Enterprise Information Systems
(VVEIS-2005). May
2005.
Klaus Havelund: 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
International
Conference on Informatics (ICI-2004).
September 2004.
Klaus Havelund: 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
16th
International Conference on Computer
Aided Verification (CAV 2004). July
2004.
Klaus Havelund: 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.
Semantic Foundations of Engineering
Design Languages (SFEDL). April
2004.
Klaus Havelund: Program Committee
Member
Dynamic Aspects Workshop (DAW). March
2004.
Klaus Havelund: Program Committee
Member
18th IEEE International Conference on
Automated Software Engineering (ASE
2003). October
2003.
Dimitra Giannakopoulou, Charles
Pecheur, Willem Visser: Program
Committee Members.
European
Software Engineering Conference
(ESEC/FSE 2003). September
2003.
Klaus Havelund: Program Committee
Member
Workshop on Requirements Engineering
and Open Systems (REOS). September
2003.
Klaus Havelund: Program Committee
Member
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.
1st Workshop on Advancing the
State-of-the-Art in Run-Time
Inspection. July
2003.
Klaus Havelund: 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.
8th International Workshop on Formal
Methods for Parallel Programming:
Theory and Applications (FMPPTA 2003).
April 2003.
Klaus Havelund: Program Committee
Member
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.
Workshop
on Real-Time Tools (RT-Tools 2002).
August 2002.
Klaus Havelund: Program Committee
Member
Conference
on Computer-Aided Verification (CAV
2002). July 2002.
Klaus Havelund: Program Committee
Member
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.
7th International Workshop on Formal
Methods for Parallel Programming:
Theory and Applications (FMPPTA 2002).
April 2002.
Klaus Havelund: Program Committee
Member
9th International SPIN Workshop on
Model Checking of Software (SPIN 2002).
April 2002.
Klaus Havelund: 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.
The 8th International SPIN Workshop on
Model Checking of Software (SPIN 2001).
May 2001.
Klaus Havelund, Willem Visser: Program
Committee Members.
6th International Workshop on Formal
Methods for Parallel Programming:
Theory and Applications (FMPPTA 2001).
April 2001.
Klaus Havelund: Program Committee
Member
Tools and Algorithms for Construction
and Analysis of Systems (TACAS 2001).
April 2001.
Willem Visser: Program Committee
Members.
Model-based
Validation of Intelligence. March
2001.
Klaus Havelund: Program Committee
Member
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 22nd
International Conference on Software
Engineering (ICSE 2000). June
2000.
Klaus Havelund: Program Committee
Member
The
First International Workshop on
Automated Program Analysis, Testing and
Verification. June
2000.
John Penix, Willem Visser: Program
Committee Members.
Fifth NASA Langley Formal Methods
Workshop (LFM 2000). June
2000.
Klaus Havelund: Program Committee
Member
>
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
Last modified: Feb. 05, 2007 by Hamed Jafari.