2010 Archives by subject

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...

Starting: Sun Feb 7 08:14:49 EST 2010
Ending: Thu Dec 16 12:11:49 EST 2010
Messages: 52

• [sae-aadl] (Forward to attendees) Meeting invitation: AS-2C Test Meeting (UNCLASSIFIED)   Sha, Lui Raymond
• [sae-aadl] [aadl]: Telecon info and updated agenda for Oct 18-21 (UNCLASSIFIED)   Peter Feiler
• [sae-aadl] [aadl]: Telecon info and updated agenda for Oct 18-21 (UNCLASSIFIED)   Myron J Hecht
• [sae-aadl] RE: ERTS² & AADL WG (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] approval of proposed corrections to five Errata to AADL V2   Peter Feiler
• [sae-aadl] Calling in by Skype to AADL Tokyo meeting (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] FW: AADL User Day presentations from Tokyo   Peter Feiler
• [sae-aadl] Lost voice connection   Myron J Hecht
• [sae-aadl] Lost voice connection (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] major update to AADL Wiki   Peter Feiler
• [sae-aadl] more homework for error model discussion   Peter Feiler
• [sae-aadl] Research Stipend for Brian Larson and Steve Vestal from Boston Scientific   Larson, Brian (STP)
• [sae-aadl] Tokyo meeting material   Peter Feiler
• [sae-aadl] AADL Draft agenda for May 17-19 (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] AADL meeting in Denver cancelled, will do Netmeeting. (UNCLASSIFIED)   Peter Feiler
• [sae-aadl] AADL Meeting Jan 24-27 Draft Agenda (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] AADL Metamodel Documentation   Lutz Wrage
• [sae-aadl] AADL netmeeting, testing connection (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] AADL netmeeting, testing connection (UNCLASSIFIED)   Myron J Hecht
• [sae-aadl] AADL netmeeting, testing connection (UNCLASSIFIED)   Dorothy Lloyd
• [sae-aadl] ARINC653 for Editorial read (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Behavior Annex limited reballot   Peter Feiler
• [sae-aadl] BLESS is ill-described as an annex to Behavior Annex; it's more like a leech   Brian R Larson
• [sae-aadl] CALL FOR PAPERS : ICECCS 2011   isabelle.perseil at inserm.fr
• [sae-aadl] CALL FOR PAPERS : UML&AADL’2011   isabelle.perseil at inserm.fr
• [sae-aadl] DARPA META AVM Proposer's Day (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] DDD.aadl finally pushed through BLESS proof checker to generate 998 theorems   Brian R Larson
• [sae-aadl] Draft Agenda for AADL Webmeeting Oct 18-21, DARPA META AVM opportunity (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Draft Agenda for AADL Webmeeting Oct 18-21, DARPA META AVM opportunity (UNCLASSIFIED)   Pierre Dissaux
• [sae-aadl] Extended deadline/CALL FOR PAPERS : UML&AADL’2011   isabelle.perseil at inserm.fr
• [sae-aadl] Final agenda, AADL meeting May 17-19, meeting info (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Final agenda, AADL meeting May 17-19, meeting info (UNCLASSIFIED)   Myron J Hecht
• [sae-aadl] Final recommendation, AADL meeting May 17-19, meeting info (UNCLASSIFIED)   Marc Pantel
• [sae-aadl] FW: (Forward to attendees) Meeting invitation: AS-2CTest Meeting (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] FW: (Forward to attendees) Meeting invitation: AS-2C Test Meeting (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] FW: (Forward to attendees) Meeting invitation: AS-2C Test Meeting (UNCLASSIFIED)   Myron J Hecht
• [sae-aadl] FW: (Forward to attendees) Meeting invitation: AS-2C Test Meeting (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] FW: IEEE Workshop on Architectures and Applications for Mixed-Criticality Systems, March 31, 2011, Newport Beach, CA (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] FW: Virtual integration workshop (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Fwd: Three Priceless Photos   frammis at aim.com
• [sae-aadl] Limited attendnace on 10/20   Myron J Hecht
• [sae-aadl] Next AADL Meeting, Jan 24-27 (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Oct meeting presentation material   Peter Feiler
• [sae-aadl] public presentations and material from Oct 2010 AADL Online Meeting   Peter Feiler
• [sae-aadl] Telecon info and updated agenda for Oct 18-21 (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Telecon info and updated agenda for Oct 18-21 (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Telecon info and updated agenda for Oct 18-21 (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Teleconference number/web/agenda for AADL meeting, May 17-19. (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Teleconference number/web/agenda for AADL meeting, May 17-19. (UNCLASSIFIED)   Myron J Hecht
• [sae-aadl] testing connection for AADL meeting (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] TOPCASED workshop (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)
• [sae-aadl] Web meeting information for the AADL meeting, May 17-19. (UNCLASSIFIED)   Lewis, Bruce (AMRDEC)

Last message date: Thu Dec 16 12:11:49 EST 2010
Archived on: Thu Dec 16 12:12:16 EST 2010

• Messages sorted by: [ thread ] [ author ] [ date ]
• More info on this list...