41 results on '"Soeanu, Andrei"'
Search Results
2. Security enhancement of time synchronization and fault identification in WAMS using a two-layer blockchain framework
3. Spatial-Temporal Data-Driven Model for Load Altering Attack Detection in Smart Power Distribution Networks
4. Separation linearization approach for the capacitated facility location problem under disruption
5. Multi-depot vehicle routing problem with risk mitigation: Model and solution algorithm
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. Protocols for secure multi-party private function evaluation
32. Control Flow Based Pointcuts for Security Hardening Concerns
33. Model checking based service delivery planning
34. Mechanism design for decentralized vehicle routing problem
35. A decentralized heuristic for multi-depot split-delivery vehicle routing problem
36. Synergistic verification and validation of systems and software engineering models
37. Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité
38. Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
39. BackMatter.
40. FrontMatter.
41. 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.