42 results on '"Soeanu, Andrei"'
Search Results
2. Security enhancement of time synchronization and fault identification in WAMS using a two-layer blockchain framework
3. Separation linearization approach for the capacitated facility location problem under disruption
4. Multi-depot vehicle routing problem with risk mitigation: Model and solution algorithm
5. Spatial-Temporal Data-Driven Model for Load Altering Attack Detection in Smart Power Distribution Networks
6. Evolutionary learning algorithm for reliable facility location under disruption
7. Efficient sensor network management for asset localization
8. Hierarchy aware distributed plan execution monitoring
9. Introduction
10. Probabilistic Model Checking of SysML Activity Diagrams
11. Automatic Approach for Synergistic Verification and Validation
12. Verification and Validation of UML Behavioral Diagrams
13. Software Engineering Metrics in the Context of Systems Engineering
14. Unified Modeling Language
15. Systems Modeling Language
16. Architecture Frameworks, Model-Driven Architecture, and Simulation
17. Conclusion
18. Verification, Validation, and Accreditation
19. Soundness of the Translation Algorithm
20. Semantic Foundations of SysML Activity Diagrams
21. Performance Analysis of Time-Constrained SysML Activity Diagrams
22. Transportation risk analysis using probabilistic model checking
23. The multi-depot split-delivery vehicle routing problem: Model and solution algorithm
24. Control Flow Based Pointcuts for Security Hardening Concerns
25. Optimization of DND Multi-Depot Split-Load Pickup-Delivery Problem
26. Towards a Distributed Plan Execution Monitoring Framework
27. Gossiping Based Distributed Plan Monitoring
28. Verification and Validation in Systems Engineering
29. New aspect-oriented constructs for security hardening concerns
30. Optimization of DND Multi-Depot Split-Load Pickup-Delivery Problem.
31. Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité
32. New aspect-oriented constructs for security hardening concerns
33. Protocols for secure multi-party private function evaluation
34. Model checking based service delivery planning
35. Mechanism design for decentralized vehicle routing problem
36. A decentralized heuristic for multi-depot split-delivery vehicle routing problem
37. Synergistic verification and validation of systems and software engineering models
38. Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité
39. Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
40. BackMatter.
41. FrontMatter.
42. Control Flow Based Pointcuts for Security Hardening Concerns.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.