MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Myla Archer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

21 documents found, showing 1 through 10. Next 10 →

ATOM

Proving Correctness of the Basic TESLA Multicast Stream Authentication Protocol with TAME
by Myla Archer — 2002 — In Workshop on Issues in the Theory of Security
… Presented at WITS '02, Portland, OR, January 14-15, 2002 Myla Archer Code 5546, Naval Research Laboratory…
Cited by 11 (1 self) – Add To MetaCart

TAME: A Specialized Specification and Verification System for Timed Automata
by Myla Archer, Constance Heitmeyer — 1996 — Work In Progress (WIP) Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS'96
…TAME: A Specialized Specification and Verification System for Timed Automata Myla Archer…
Cited by 8 (3 self) – Add To MetaCart

Verifying Hybrid Systems Modeled as Timed Automata: A Case Study
by Myla Archer, Constance Heitmeyer — 1997 — In Hybrid and Real-Time Systems (HART'97), volume 1201 of Lect. Notes in Comp. Sci
…, Grenoble, France, March 26-28, 1997 Myla Archer and Constance Heitmeyer Code 5546, Naval Research…
Cited by 18 (5 self) – Add To MetaCart

Human-Style Theorem Proving Using PVS
by Myla Archer, Constance Heitmeyer — 1997 — Theorem Proving in Higher Order Logics (TPHOLs'97), volume 1275 of Lect. Notes in Comp. Sci
…-22, 1997 Myla Archer and Constance Heitmeyer Code 5546, Naval Research Laboratory, Washington, DC 20375…
Cited by 11 (4 self) – Add To MetaCart

Mechanical Verification of Timed Automata: A Case Study
by Myla Archer, Constance Heitmeyer — 1996 — In Proc. 1996 IEEE Real-Time Technology and Applications Symp. (RTAS'96). IEEE Computer
…/MR/5546--98-8180 Myla Archer and Constance Heitmeyer Code 5546, Naval Research Laboratory, Washington, DC…
Cited by 32 (10 self) – Add To MetaCart

TAME: A Specialized Specification and Verification System for Timed Automata
by Presented In, Myla Archer, Constance Heitmeyer — 1996 — Work In Progress (WIP) Proceedings of the 17th IEEE Real-Time Systems Symposium (RTSS'96
… in the Work In Progress session at RTSS '96, Washington, DC, December 4-6, 1996 Myla Archer and Constance…
Add To MetaCart

Proving invariants of I/O automat with TAME
by Myla Archer, Constance Heitmeyer, Elvinia Riccobene — 2002
… in The Netherlands. Proving Invariants of I/0 Automata with TAME* MYLA ARCHER CONSTANCE HEITMEYER Naval Research…
Add To MetaCart

Applying TAME to I/O Automata: A User's Perspective
by Elvinia Riccobene, Myla Archer, Constance Heitmeyer — 2000
…Applying TAME to I/O Automata: A User's Perspective ? Elvinia Riccobene 1 , Myla Archer 2…
Cited by 1 (0 self) – Add To MetaCart

Towards a Methodology and Tool for the Analysis of Security-Enhanced Linux Security Policies
by Myla Archer, Elizabeth Leonard, Matteo Pradella — 2002 — 95051,. iPSC/2 and iPSC/860 User's Guide
… of Security-Enhanced Linux Security Policies Myla Archer Elizabeth Leonard Code 5546, Naval Research…
Cited by 4 (2 self) – Add To MetaCart

TAME: A PVS Interface to Simplify Proofs for Automata Models
by Myla Archer, Constance Heitmeyer, Steve Sims — 1998 — In Proc. User Interfaces for Theorem Provers 1998 (UITP '98
…, Netherlands, July 13-15, 1998 Myla Archer, Constance Heitmeyer, and Steve Sims Code 5546, Naval Research…
Cited by 32 (10 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB