586 results on '"Alessandro Cimatti"'
Search Results
102. Towards adaptive MILS System: Model- Based Design, Verification and Run-Time Adaptation: Slides.
103. Towards Efficient Anytime Computation and Execution of Decoupled Robustness Envelopes for Temporal Plans.
104. Temporal Planning with Intermediate Conditions and Effects.
105. Formal Design and Safety Analysis of AIR6110 Wheel Brake System.
106. Efficient Anytime Techniques for Model-Based Safety Analysis.
107. Combining MILS with Contract-Based Design for Safety and Security Requirements.
108. HyComp: An SMT-Based Model Checker for Hybrid Systems.
109. Formal Verification of Infinite-State BIP Models.
110. Comparing Different Functional Allocations in Automated Air Traffic Control Design.
111. Strong Temporal Planning with Uncontrollable Durations: A State-Space Approach.
112. SMT-Based Validation of Timed Failure Propagation Graphs.
113. Infinite-state invariant checking with IC3 and predicate abstraction.
114. Dynamic controllability via Timed Game Automata.
115. Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation.
116. An Integrated Process for FDIR Design in Aerospace.
117. Verifying LTL Properties of Hybrid Systems with K-Liveness.
118. The nuXmv Symbolic Model Checker.
119. IC3 Modulo Theories via Implicit Predicate Abstraction.
120. Formal Design of Fault Detection and Identification Components Using Temporal Epistemic Logic.
121. Formal Safety Assessment via Contract-Based Design.
122. Towards Pareto-optimal parameter synthesis for monotonic cost functions.
123. Using Timed Game Automata to Synthesize Execution Strategies for Simple Temporal Networks with Uncertainty.
124. SMT-based satisfiability of first-order LTL with event freezing functions and metric operators.
125. Satisfiability Modulo Transcendental Functions via Incremental Linearization.
126. Invariant Checking of NRA Transition Systems via Incremental Reduction to LRA with EUF.
127. Scalable Design Space Exploration for the Synthesis of Redundant Architectures
128. A Formal IDE for Railways: Research Challenges
129. Solving strong controllability of temporal problems with uncertainty using SMT.
130. An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty.
131. HRELTL: A temporal logic for hybrid systems.
132. Contracts-refinement proof system for component-based embedded systems.
133. Safety assessment of AltaRica models via symbolic model checking.
134. Automated Analysis of Reliability Architectures.
135. Efficient Analysis of Reliability Architectures via Predicate Abstraction.
136. OCRA: A tool for checking the refinement of temporal contracts.
137. A Modular Approach to MaxSAT Modulo Theories.
138. The MathSAT5 SMT Solver.
139. Time-aware relational abstractions for hybrid systems.
140. Parameter synthesis with IC3.
141. Timelines with Temporal Uncertainty.
142. Software Model Checking via IC3.
143. Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System.
144. A Property-Based Proof System for Contract-Based Design.
145. Solving Temporal Problems Using SMT: Strong Controllability.
146. Verification of parametric system designs.
147. A quantifier-free SMT encoding of non-linear hybrid automata.
148. Solving Temporal Problems Using SMT: Weak Controllability.
149. Symbolic Synthesis of Observability Requirements for Diagnosability.
150. SMT-Based Verification of Hybrid Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.