Andrei Soeanu

According to our database1, Andrei Soeanu authored at least 23 papers between 2006 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
CPID: Insider threat detection using profiling and cyber-persona identification.
Comput. Secur., September, 2023

2021
Separation linearization approach for the capacitated facility location problem under disruption.
Expert Syst. Appl., 2021

2020
Multi-depot vehicle routing problem with risk mitigation: Model and solution algorithm.
Expert Syst. Appl., 2020

2019
Evolutionary learning algorithm for reliable facility location under disruption.
Expert Syst. Appl., 2019

2018
Efficient sensor network management for asset localization.
Comput. Oper. Res., 2018

2016
Hierarchy aware distributed plan execution monitoring.
Expert Syst. Appl., 2016

2015
Transportation risk analysis using probabilistic model checking.
Expert Syst. Appl., 2015

2014
The multi-depot split-delivery vehicle routing problem: Model and solution algorithm.
Knowl. Based Syst., 2014

2013
Gossiping Based Distributed Plan Monitoring.
Proceedings of the 4th International Conference on Ambient Systems, 2013

Towards a Distributed Plan Execution Monitoring Framework.
Proceedings of the 4th International Conference on Ambient Systems, 2013

2012
Mechanism design for decentralized vehicle routing problem.
Proceedings of the ACM Symposium on Applied Computing, 2012

A Learning Based Evolutionary Algorithm For Distributed Multi-Depot VRP.
Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012

Model checking based service delivery planning.
Proceedings of the 25th IEEE Canadian Conference on Electrical and Computer Engineering, 2012

2011
A decentralized heuristic for multi-depot split-delivery vehicle routing problem.
Proceedings of the IEEE International Conference on Automation and Logistics, 2011

2010
Verification and Validation in Systems Engineering - Assessing UML / SysML Design Models.
Springer, ISBN: 978-3-642-15227-6, 2010

2009
Nouveaux points de coupure et primitives pour les préoccupations de renforcement de sécurité.
Tech. Sci. Informatiques, 2009

Synergistic verification and validation of systems and software engineering models.
Int. J. Gen. Syst., 2009

New aspect-oriented constructs for security hardening concerns.
Comput. Secur., 2009

2007
Control Flow Based Pointcuts for Security Hardening Concerns.
Proceedings of the Trust Management, 2007

Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams.
Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006
Towards a Unified Paradigm for Verification and Validation of Systems Engineering Design Models.
Proceedings of the IASTED International Conference on Software Engineering, 2006

A Unified Approach for Verification and Validation of Systems and Software Engineering Models.
Proceedings of the 13th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2006), 2006

On the verification and validation of uml structural and behavioral diagrams.
Proceedings of the IASTED International Conference on Advances in Computer Science and Technology, 2006


  Loading...