Verisim: Formal Analysis of Network Simulations (English)
- New search for: Bhargavan, K.
- New search for: Gunter, C. A.
- New search for: Kim, M.
- New search for: Lee, I.
- New search for: Obradovic, D.
- New search for: Sokolsky, O.
- New search for: Viswanathan, M.
- New search for: Bhargavan, K.
- New search for: Gunter, C. A.
- New search for: Kim, M.
- New search for: Lee, I.
- New search for: Obradovic, D.
- New search for: Sokolsky, O.
- New search for: Viswanathan, M.
In:
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
;
28
;
129-145
;
2002
-
ISSN:
- Article (Journal) / Print
-
Title:Verisim: Formal Analysis of Network Simulations
-
Contributors:Bhargavan, K. ( author ) / Gunter, C. A. ( author ) / Kim, M. ( author ) / Lee, I. ( author ) / Obradovic, D. ( author ) / Sokolsky, O. ( author ) / Viswanathan, M. ( author )
-
Published in:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING ; 28 ; 129-145
-
Publisher:
- New search for: IEEE INSTITUTE OF ELECTRICAL AND ELECTRONICS
-
Publication date:2002-01-01
-
Size:17 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.1 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 28
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Editortial: New EIC IntroductionAndrews, A.A. et al. | 2002
- 1
-
PAPERS - EditorialAndrews, A. et al. | 2002
- 3
-
EditorialKnight, J. et al. | 2002
- 4
-
A hierarchical model for object-oriented design quality assessmentBansiya, J. / Davis, C.G. et al. | 2002
- 4
-
PAPERS - A Hierarchical Model for Object-Oriented Design Quality AssessmentBansiya, J. et al. | 2002
- 18
-
PAPERS - An Efficient Distributed Deadlock Avoidance Algorithm for the AND ModelWu, H. et al. | 2002
- 18
-
An efficient distributed deadlock avoidance algorithm for the AND modelHui Wu, / Wei-Ngan Chin, / Jaffar, J. et al. | 2002
- 30
-
Engineering dynamic real-time distributed systems: architecture, system description language, and middlewareRavindran, B. et al. | 2002
- 30
-
PAPERS - Engineering Dynamic Real-Time Distributed Systems: Architecture, System Description Language, and MiddlewareRavindram, B. et al. | 2002
- 58
-
PAPERS - A Formal Specification and Verification Framework for Time Warp-Based Parallel SimulationFrey, P. et al. | 2002
- 58
-
A formal specification and verification framework for Time Warp-based parallel simulationFrey, P. / Radhakrishnan, R. / Carter, H.W. / Wilsey, P.A. / Alexander, P. et al. | 2002
- 79
-
A testbed for configuration management policy programmingvan der Hoek, A. / Carzaniga, A. / Heimbigner, D. / Wolf, A.L. et al. | 2002
- 79
-
PAPERS - A Testbed for Configuration Management Policy ProgrammingHoek, A.van der et al. | 2002
- 100
-
Stack and queue integrity on hostile platformsDevanbu, P.T. / Stubblebine, S.G. et al. | 2002
- 100
-
PAPERS - Stack and Queue Integrity on Hostile PlatformsDevanbu, P.T. et al. | 2002
- 109
-
A test generation strategy for pairwise testingKuo-Chung Tai, / Yu Lei, et al. | 2002
- 109
-
SHORT PAPERS - A Test Generation Strategy for Pairwise TestingTai, K.-C. et al. | 2002
- 112
-
Erratum: Annual Index| 2002
- 113
-
Guest Editors' Introduction: 2000 International Symposium on Software Testing and AnalysisHarrold, M.J. / Bertolino, A. et al. | 2002
- 113
-
2000 International Symposium on Software Testing and AnalysisHarrold, M. J. / Bertolino, A. et al. | 2002
- 113
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Guest Editors' Introduction: 2000 International Symposium on Software Testing and AnalysisHarrold, M.J. et al. | 2002
- 115
-
Improving the precision of INCA by eliminating solutions with spurious cyclesSiegel, S.F. / Avrunin, G.S. et al. | 2002
- 115
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Improving the Precision of INCA by Eliminating Solutions with Spurious CyclesSiegel, S.F. et al. | 2002
- 129
-
Verisim: formal analysis of network simulationsBhargavan, K. / Gunter, C.A. / Moonjoo Kim, / Insup Lee, / Obradovic, D. / Sokolsky, O. / Viswanathan, M. et al. | 2002
- 129
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Verisim: Formal Analysis of Network SimulationsBhargavan, K. et al. | 2002
- 146
-
Requirements-based monitors for real-time systemsPeters, D.K. / Parnas, D.L. et al. | 2002
- 146
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Requirements-Based Monitors for Real-Time SystemsPeters, D.K. et al. | 2002
- 159
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Test Case Prioritization: A Family of Empirical StudiesElbaum, S. et al. | 2002
- 159
-
Test case prioritization: a family of empirical studiesElbaum, S. / Malishevsky, A.G. / Rothermel, G. et al. | 2002
- 183
-
SPECIAL SECTION ON THE 2000 INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS - Simplifying and Isolating Failure-Inducing InputZeller, A. et al. | 2002
- 183
-
Simplifying and isolating failure-inducing inputZeller, A. / Hildebrandt, R. et al. | 2002
- 201
-
REGULAR PAPERS - Multiphase StabilizationGouda, M.G. et al. | 2002
- 201
-
Multiphase stabilizationGouda, M.G. et al. | 2002
- 209
-
AE IntroductionKnight, John et al. | 2002
- 210
-
PAPERS - A Classification of Noncircular Attribute Grammars Based on the Look-Ahead BehaviorYang, W. et al. | 2002
- 210
-
A classification of noncircular attribute grammars based on the look-ahead behaviorWuu Yang, et al. | 2002
- 228
-
PAPERS - Knowledge-Based Automation of a Design Method for Concurrent SystemsMills, K.L. et al. | 2002
- 228
-
Knowledge-based automation of a design method for concurrent systemsMills, K.L. / Gomaa, H. et al. | 2002
- 256
-
An authentication logic with formal semantics supporting synchronization, revocation, and recencyStubblebine, S.G. / Wright, R.N. et al. | 2002
- 256
-
PAPERS - An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and RecencyStubblebine, S.G. et al. | 2002
- 286
-
Models of parallel applications with large computation and I/O requirementsRosti, E. / Serazzi, G. / Smirni, E. / Squillante, M.S. et al. | 2002
- 286
-
PAPERS - Models of Parallel Applications with Large Computation and I-O RequirementsRosti, E. et al. | 2002
- 308
-
Formal methods application: an empirical tale of software developmentSobel, A.E.K. / Clarkson, M.R. et al. | 2002
- 308
-
PAPERS - Formal Methods Application: An Empirical Tale of Software DevelopmentKelley Sobel, A.E. et al. | 2002
- 321
-
PAPERS - Logical Clock Requirements for Reverse Engineering Scenarios from a Distributed SystemHrischuk, C.E. et al. | 2002
- 321
-
Logical clock requirements for reverse engineering scenarios from a distributed systemHrischuk, C.E. / Woodside, C.M. et al. | 2002
- 340
-
Success and failure factors in software reuseMorisio, M. / Ezran, M. / Tully, C. et al. | 2002
- 340
-
PAPERS - Success and Failure Factors in Software ReuseMorisio, M. et al. | 2002
- 358
-
Modular operational test plans for inferences on software reliability based on a Markov modelRajgopal, J. / Mazumdar, M. et al. | 2002
- 358
-
PAPERS - Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov ModelRajgopal, J. et al. | 2002
- 364
-
An automated verification method for distributed systems software based on model extractionHolzmann, G.J. / Smith, M.H. et al. | 2002
- 364
-
PAPERS - An Automated Verification Method for Distributed Systems Software Based on Model ExtractionHolzmann, G.J. et al. | 2002
- 378
-
e-Transactions: end-to-end reliability for three-tier architecturesFrolund, S. / Guerraoui, R. et al. | 2002
- 378
-
PAPERS - e-Transactions: End-to-End Reliability for Three-Tier ArchitecturesFrølund, S. et al. | 2002
- 396
-
Visualizing software changesEick, S.G. / Graves, T.L. / Karr, A.F. / Mockus, A. / Schuster, P. et al. | 2002
- 396
-
PAPERS - Visualizing Software ChangesEick, S.G. et al. | 2002
- 413
-
PAPERS - Automatic Model Transformations Using Extended UML Object Diagrams in Modeling EnvironmentsMilicev, D. et al. | 2002
- 413
-
Automatic model transformations using extended UML object diagrams in modeling environmentsMilicev, D. et al. | 2002
- 432
-
Call for papersOffutt, J. / Jezequel, J. et al. | 2002
- 432
-
ERRATUM - AE IntroductionKnight, John et al. | 2002
- 433
-
Tracking mobile units for dependable message deliveryMurphy, A.L. / Roman, G.-C. / Varghese, G. et al. | 2002
- 433
-
REGULAR PAPERS - Tracking Mobile Units for Dependable Message DeliveryMurphy, A.L. et al. | 2002
- 449
-
A state-of-the-art survey on software mergingMens, T. et al. | 2002
- 449
-
REGULAR PAPERS - A State-of-the-Art Survey on Software MergingMens, T. et al. | 2002
- 463
-
The effectiveness of control structure diagrams in source code comprehension activitiesHendrix, D. / Cross, J.H. / Maghsoodloo, S. et al. | 2002
- 463
-
REGULAR PAPERS - The Effectiveness of Control Structure Diagrams in Source Code Comprehension ActivitiesHendrix, D. et al. | 2002
- 478
-
A distributed parallel programming frameworkStankovic, N. / Kang Zhang, et al. | 2002
- 478
-
REGULAR PAPERS - A Distributed Parallel Programming FrameworkStankovic, N. et al. | 2002
- 494
-
The optimal class size for object-oriented softwareEl Emam, K. / Benlarbi, S. / Goel, N. / Melo, W. / Lounis, H. / Rai, S.N. et al. | 2002
- 494
-
REGULAR PAPERS - The Optimal Class Size for Object-Oriented SoftwareEmam, K.El et al. | 2002
- 510
-
REGULAR PAPERS - Bayesian Graphical Models for Software TestingWooff, D.A. et al. | 2002
- 510
-
Bayesian graphical models for software testingWooff, D.A. / Goldstein, M. / Coolen, F.P.A. et al. | 2002
- 526
-
SHORT PAPERS - Comments on "On the Applicability of Weyuker Property 9 to Object-Oriented Structural Inheritance Complexity Metrics"Zhang, L. et al. | 2002
- 526
-
Comments on "On the applicability of Weyuker property 9 to object-oriented structural inheritance complexity metrics"Lu Zhang, / Dan Xie, et al. | 2002
- 529
-
A methodology for architecture-level reliability risk analysisYacoub, S.M. / Ammar, H.H. et al. | 2002
- 529
-
PAPERS - A Methodology for Architecture-Level Reliability Risk AnalysisYacoub, S.M. et al. | 2002
- 548
-
A logical theory of interfaces and objectsAlencar, P.S.C. / Cowan, D.D. / Lucena, C.J.P. et al. | 2002
- 548
-
PAPERS - A Logical Theory of Interfaces and ObjectsAlencar, P.S.C. et al. | 2002
- 576
-
PAPERS - Testing Homogeneous Spreadsheet Grids with the "What You See Is What You Test" MethodologyBurnett, M. et al. | 2002
- 576
-
Testing homogeneous spreadsheet grids with the "what you see is what you test" methodologyBurnett, M. / Sheretov, A. / Bing Ren, / Rothermel, G. et al. | 2002
- 595
-
Two controlled experiments assessing the usefulness of design pattern documentation in program maintenancePrechelt, L. / Unger-Lamprecht, B. / Philippsen, M. / Tichy, W.F. et al. | 2002
- 595
-
PAPERS - Two Controlled Experiments Assessing the Usefulness of Design Pattern Documentation in Program MaintenancePrechelt, L. et al. | 2002
- 607
-
PAPERS - Incremental Integration Testing of Concurrent ProgramsKoppol, P.V. et al. | 2002
- 607
-
Incremental integration testing of concurrent programsKoppol, P.V. / Carver, R.H. / Kuo-Chung Tai, et al. | 2002
- 624
-
Corrections to "the effectiveness of control structure diagrams in source code comprehension activities"Hendrix, D. / Cross, J.H. / Maghsoodloo, S. et al. | 2002
- 624
-
ERRATUM - Corrections to "The Effectiveness of Control Structure Diagrams in Source Code Comprehension Activities"Hendrix, D. et al. | 2002
- 625
-
PAPERS - Using Version Control Data to Evaluate the Impact of Software Tools: A Case Study of the Version EditorAtkins, D.L. et al. | 2002
- 625
-
Using version control data to evaluate the impact of software tools: a case study of the Version EditorAtkins, D.L. / Ball, T. / Graves, T.L. / Mockus, A. et al. | 2002
- 638
-
A survey on software architecture analysis methodsDobrica, L. / Niemela, E. et al. | 2002
- 638
-
PAPERS - A Survey on Software Architecture Analysis MethodsDobrica, L. et al. | 2002
- 654
-
CCFinder: a multilinguistic token-based code clone detection system for large scale source codeKamiya, T. / Kusumoto, S. / Inoue, K. et al. | 2002
- 654
-
PAPERS - CCFinder: A Multilinguistic Token-Based Code Clone Detection System for Large Scale Source CodeKamiya, T. et al. | 2002
- 671
-
PAPERS - Rapid Software Development through Team CollocationTeasley, S.D. et al. | 2002
- 671
-
Rapid software development through team collocationTeasley, S.D. / Covi, L.A. / Krishnan, M.S. / Olson, J.S. et al. | 2002
- 684
-
A dynamic coordination policy for software system constructionMookerjee, V.S. / Chiang, I.R. et al. | 2002
- 684
-
PAPERS - A Dynamic Coordination Policy for Software System ConstructionMookerjee, V.S. et al. | 2002
- 695
-
Reducing inspection interval in large-scale software developmentPerry, D.E. / Porter, A. / Wade, M.W. / Votta, L.G. / Perpich, J. et al. | 2002
- 695
-
PAPERS - Reducing Inspection Interval in Large-Scale Software DevelopmentPerry, D.E. et al. | 2002
- 706
-
Assessing the applicability of fault-proneness models across object-oriented software projectsBriand, L.C. / Melo, W.L. / Wust, J. et al. | 2002
- 706
-
PAPERS - Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software ProjectsBriand, L.C. et al. | 2002
- 721
-
Preliminary guidelines for empirical research in software engineeringKitchenham, B.A. / Pfleeger, S.L. / Pickard, L.M. / Jones, P.W. / Hoaglin, D.C. / El Emam, K. / Rosenberg, J. et al. | 2002
- 735
-
Watermarking, tamper-proofing, and obfuscation - tools for software protectionCollberg, C.S. / Thomborson, C. et al. | 2002
- 747
-
Formalizing and integrating the dynamic model for object-oriented modelingCheng, B.H.C. / Wang, E.Y. et al. | 2002
- 763
-
Automatic detection and exploitation of branch constraints for timing analysisHealy, C.A. / Whalley, D.B. et al. | 2002
- 782
-
A formal model of the software test processCangussu, J.W. / DeCarlo, R.A. / Mathur, A.P. et al. | 2002
- 797
-
CTTE: support for developing and analyzing task models for interactive system designMori, G. / Paterno, F. / Santoro, C. et al. | 2002
- 814
-
The reference model for smooth growth of software systems revisitedTurski, W.M. et al. | 2002
- 814
-
SHORT PAPERS - The Reference Model for Smooth Growth of Software Systems RevisitedTurski, W.M. et al. | 2002
- 816
-
Call for Papers for the Special Issue on Software Engineering for the Wireless Internet| 2002
- 817
-
An introduction to rapid system prototypingKordon, F. / Luqi, et al. | 2002
- 817
-
SPECIAL SECTION ON RAPID SYSTEM PROTOTYPING - Guest Editors' IntroductionKordon, F. et al. | 2002
- 822
-
SPECIAL SECTION ON RAPID SYSTEM PROTOTYPING - Combining a Performance Estimation Methodology with a Hardware-Software Codesign Flow Supporting Multiprocessor SystemsBaghdadi, A. et al. | 2002
- 822
-
Combining a performance estimation methodology with a hardware/software codesign flow supporting multiprocessor systemsBaghdadi, A. / Zergainoh, N.-E. / Cesario, W.O. / Jerraya, A.A. et al. | 2002
- 832
-
Virtual benchmarking and model continuity in prototyping embedded multiprocessor signal processing systemsJanka, R.S. / Wills, L.M. / Baumstark, L.B. et al. | 2002
- 832
-
SPECIAL SECTION ON RAPID SYSTEM PROTOTYPING - Virtual Benchmarking and Model Continuity in Prototyping Embedded Multiprocessor Signal Processing SystemsJanka, R.S. et al. | 2002
- 847
-
Reconfigurable instruction set processors from a hardware/software perspectiveBarat, F. / Lauwereins, R. / Deconinck, G. et al. | 2002
- 847
-
SPECIAL SECTION ON RAPID SYSTEM PROTOTYPING - Reconfigurable Instruction Set Processors from a Hardware-Software PerspectiveBarat, F. et al. | 2002
- 863
-
Measurement programs in software development: determinants of successGopal, A. / Krishnan, M.S. / Mukhopadhyay, T. / Goldenson, D.R. et al. | 2002
- 876
-
Quality, productivity, and learning in framework-based development: an exploratory case studyMorisio, M. / Romano, D. / Stamelos, I. et al. | 2002
- 889
-
On object systems and behavioral inheritanceHarel, D. / Kupferman, O. et al. | 2002
- 904
-
An enhanced neural network technique for software risk analysisNeumann, D.E. et al. | 2002
- 913
-
Introduction to the special section on petri nets and performance modelsCiardo, G. / German, R. / Haverkort, B.R. et al. | 2002
- 913
-
SPECIAL SECTION ON PETRI NETS AND PERFORMANCE MODELS - Guest Editors' IntroductionCiardo, G. et al. | 2002
- 915
-
SPECIAL SECTION ON PETRI NETS AND PERFORMANCE MODELS - Product Form Solution for Generalized Stochastic Petri NetsBalbo, G. et al. | 2002
- 915
-
Product form solution for generalized stochastic Petri netsBalbo, G. / Bruell, S.C. / Sereno, M. et al. | 2002
- 933
-
SPECIAL SECTION ON PETRI NETS AND PERFORMANCE MODELS - Time Domain Analysis of Non-Markovian Stochastic Petri Nets with PRI TransitionsHorváth, A. et al. | 2002
- 933
-
Time domain analysis of non-Markovian stochastic Petri nets with PRI transitionsHorvath, A. / Telek, M. et al. | 2002
- 944
-
Fluid stochastic Petri nets augmented with flush-out arcs: a transient analysis techniqueGribaudo, M. / Horvath, A. et al. | 2002
- 944
-
SPECIAL SECTION ON PETRI NETS AND PERFORMANCE MODELS - Fluid Stochastic Petri Nets Augmented with Flush-Out Arcs: A Transient Analysis TechniqueGribaudo, M. et al. | 2002
- 956
-
The Mobius framework and its implementationDeavours, D.D. / Clark, G. / Courtney, T. / Daly, D. / Derisavi, S. / Doyle, J.M. / Sanders, W.H. / Webster, P.G. et al. | 2002
- 956
-
SPECIAL SECTION ON PETRI NETS AND PERFORMANCE MODELS - The Möbius Framework and Its ImplementationDeavours, D.D. et al. | 2002
- 970
-
Recovering traceability links between code and documentationAntoniol, G. / Canfora, G. / Casazza, G. / De Lucia, A. / Merlo, E. et al. | 2002
- 984
-
Compositional schedulability analysis of real-time systems using time Petri netsDianxiang Xu, / Xudong He, / Yi Deng, et al. | 2002
- 997
-
Better reliability assessment and prediction through data clusteringTian, J. et al. | 2002
- 1008
-
Obituary| 2002
- 1009
-
Disaggregating and calibrating the CASE tool variable in COCOMO IIJongmoon Baik, / Boehm, B. / Steece, B.M. et al. | 2002
- 1023
-
Timed Wp-method: testing real-time systemsEn-Nouaary, A. / Dssouli, R. / Khendek, F. et al. | 2002
- 1039
-
Engineering mobile agent applications via context-dependent coordinationCabri, G. / Leonardi, L. / Zambonelli, F. et al. | 2002
- 1056
-
Behavior protocols for software componentsPlasil, F. / Visnovsky, S. et al. | 2002
- 1077
-
An efficient distributed online algorithm to detect strong conjunctive predicatesLoon-Been Chen, / I-Chen Wu, et al. | 2002
- 1085
-
A temporal approach for testing distributed systemsKhoumsi, A. et al. | 2002
- 1105
-
Editorial: AE Introduction-FarewellKnight, J. et al. | 2002
- 1106
-
An operational process for goal-driven definition of measuresBriand, L.C. / Morasca, S. / Basili, V.R. et al. | 2002
- 1106
-
An Operation Process for Goal-Driven Definition of MeasuresBriand, L.C. et al. | 2002
- 1126
-
Optimum Control Limits for Employing Statistical Process Control in Software ProcessesJalote, P. et al. | 2002
- 1126
-
Optimum control limits for employing statistical process control in software processJalote, P. / Saxena, A. et al. | 2002
- 1135
-
Explaining software developer acceptance of methodologies: a comparison of five theoretical modelsRiemenschneider, C.K. / Hardgrave, B.C. / Davis, F.D. et al. | 2002
- 1146
-
An empirical analysis of c preprocessor useErnst, M.D. / Badros, G.J. / Notkin, D. et al. | 2002
- 1171
-
Ethical issues in empirical studies of software engineeringSinger, J. / Vinson, N.G. et al. | 2002
- 1181
-
Is it possible to decorate graphical software design and architecture models with qualitative Information?-An experimentBratthall, L. / Wohlin, C. et al. | 2002
- 1194
-
Annual Index| 2002
- 1194
-
Author index| 2002
- 1196
-
Subject index| 2002