243 results on '"Ana R. Cavalli"'
Search Results
102. A Statistical Approach to Test Stochastic and Probabilistic Systems.
103. Modeling, Validation, and Verification of PCEP Using the IF Language.
104. An Automated Passive Testing Approach for the IMS PoC Service.
105. Security Protocol Testing Using Attack Trees.
106. A formal approach for specification and verification of fault injection process.
107. Observability and Controllability Issues in Conformance Testing of Web Service Compositions.
108. A Formal Passive Testing Approach to test a MANET Routing Protocol.
109. Interoperability testing of presence service on IMS platform.
110. Analysis of the OLSR Protocol by Using Formal Passive Testing.
111. A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification.
112. A passive conformance testing approach for a MANET routing protocol.
113. Network protocol interoperability testing based on contextual signatures and passive testing.
114. Efficient time synchronization mechanism for wireless multi hop networks.
115. Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.
116. A Reactive Wireless Mesh Network Architecture.
117. Security Rules Specification and Analysis Based on Passive Testing.
118. Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations.
119. Automatic Timed Test Case Generation for Web Services Composition.
120. Context Ontology for Secure Interoperability.
121. Interoperability of Context Based System Policies Using O2O Contract.
122. Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study.
123. Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints.
124. Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines.
125. A formal approach for testing security rules.
126. Specification of Timed EFSM Fault Models in SDL.
127. Testing Security Rules with Decomposable Activities.
128. Timed Modeling of Web Services Composition for Automatic Testing.
129. Regression and Performance Testing of an e-Learning Web Application: dotLRN.
130. Towards an Automated Test Generation with Delayed Transitions for Timed Systems.
131. MSP: A Novel Session Maintenance Protocol.
132. Application of Two Test Generation Tools to an Industrial Case Study.
133. Experimental Evaluation of FSM-Based Testing Methods.
134. A Comparison between Two Maintenance Session Protocols.
135. Passive Testing - A Constrained Invariant Checking Approach.
136. An EFSM-Based Intrusion Detection System for Ad Hoc Networks.
137. A Validation Model for the DSR Protocol.
138. Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks.
139. Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.
140. A Testing Methodology for an Open Software E-learning Platform.
141. A Multi-service and Multi-protocol Validation Platform-Experimentation Results.
142. Automated test scenarios generation for an e-barter system.
143. Validation of a Trust Approach in Multi-Organization Environments.
144. QoE Prediction for Multimedia Services: Comparing Fuzzy and Logic Network Approaches.
145. A Distributed and Collaborative Intrusion Detection Architecture for Wireless Mesh Networks.
146. TestNet: Let's Test Together!.
147. Fast Testing of Critical Properties through Passive Testing.
148. A New Algorithm for Service Interaction Detection.
149. Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols.
150. A Service-Component Testing Method and a Suitable CORBA Architecture.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.