default search action

combined dblp search
author search
venue search
publication search

ask others

ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 9

> Home > Journals > ACM Transactions on Software Engineering and Methodology (TOSEM)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 9, Number 1, January 2000

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/BultanGL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/BultanGL00
Tevfik Bultan, Richard Gerber, Christopher League:
Composite model-checking: verification with type-specific symbolic representations. 3-50
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Corbett00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Corbett00
James C. Corbett:
Using shape analysis to reduce finite-state models of concurrent Java programs. 51-93
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/Gunter00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/Gunter00
Carl A. Gunter:
Abstracting dependencies between software configuration items. 94-131

Volume 9, Number 2, April 2000

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/SistlaGE00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/SistlaGE00
A. Prasad Sistla, Viktor Gyuris, E. Allen Emerson:
SMC: a symmetry-based model checker for verification of safety and liveness properties. 133-166
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/CiancariniFM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/CiancariniFM00
Paolo Ciancarini, Francesco Franzè, Cecilia Mascolo:
Using a coordination language to specify and analyze systems containing mobile components. 167-198
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/LouridasL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/LouridasL00
Panagiotis Louridas, Pericles Loucopoulos:
A generic model for reflective design. 199-237

Volume 9, Number 3, July 2000

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/InverardiWY00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/InverardiWY00
Paola Inverardi, Alexander L. Wolf, Daniel Yankelevich:
Static checking of system behaviors using derived component assumptions. 239-272
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/MinskyU00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/MinskyU00
Naftaly H. Minsky, Victoria Ungureanu:
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. 273-305
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/MillsG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/MillsG00
Kevin L. Mills, Hassan Gomaa:
A knowledge-based method for inferring semantic concepts from visual models of system behavior. 306-337

Volume 9, Number 4, October 2000

- view
  authority control:
- export record
  dblp key:
  - journals/tosem/WallachAF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/WallachAF00
Dan S. Wallach, Andrew W. Appel, Edward W. Felten:
SAFKASI: a security mechanism for language-based systems. 341-378
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/FongC00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/FongC00
Philip W. L. Fong, Robert D. Cameron:
Proof linking: modular verification of mobile programs in the presence of lazy, dynamic linking. 379-409
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/MyersL00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/MyersL00
Andrew C. Myers, Barbara Liskov:
Protecting privacy using the decentralized label model. 410-442
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/ClarkeJM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/ClarkeJM00
Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero:
Verifying security protocols with Brutus. 443-487
- view
  authority control:
- export record
  dblp key:
  - journals/tosem/DuranteFG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tosem/DuranteFG00
Antonio Durante, Riccardo Focardi, Roberto Gorrieri:
A compiler for analyzing cryptographic protocols using noninterference. 488-528

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.