Mona Vajihollahi

According to our database, Mona Vajihollahi authored at least 13 papers between 2004 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2010

Identity Management Architecture.

Uwe Glässer, Mona Vajihollahi

Proceedings of the Security Informatics, 2010

Identifying high risk crime areas using topology.

Richard Frank, Andrew J. Park, Patricia L. Brantingham, Joseph Clare, Kathryn Wuschke, Mona Vajihollahi

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2010

2008

Modeling and Validation of Aviation Security.

Uwe Glässer, Sarah Rastkar, Mona Vajihollahi

Proceedings of the Intelligence and Security Informatics, Techniques and Applications, 2008

High Level Analysis, Design and Validation of Distributed Mobile Systems with CoreASM.

Roozbeh Farahbod, Uwe Glässer, Piper J. Jackson, Mona Vajihollahi

Proceedings of the Leveraging Applications of Formal Methods, 2008

Identity management architecture.

Uwe Glässer, Mona Vajihollahi

Proceedings of the IEEE International Conference on Intelligence and Security Informatics, 2008

Computational Modeling of Criminal Activity.

Uwe Glässer, Mona Vajihollahi

Proceedings of the Intelligence and Security Informatics, 2008

2006

An abstract machine architecture for web service based business process management.

Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi

Int. J. Bus. Process. Integr. Manag., 2006

Computational Modeling and Experimental Validation of Aviation Security Procedures.

Uwe Glässer, Sarah Rastkar, Mona Vajihollahi

Proceedings of the Intelligence and Security Informatics, 2006

2005

A Formal Semantics for the Business Process Execution Language for Web Services.

Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi

Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

A computational model for simulating spatial aspects of crime in urban environments.

Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi

Proceedings of the IEEE International Conference on Systems, 2005

Modeling Urban Crime Patterns: Viewing Multi-Agent Systems as Abstract State Machines.

Patricia L. Brantingham, Uwe Glässer, B. Kinney, Komal Singh, Mona Vajihollahi

Proceedings of the 12th International Workshop on Abstract State Machines, 2005

2004

Engineering Concurrent and Reactive Systems with Distributed Real-Time Abstract State Machines.

Uwe Glässer, Mona Vajihollahi

Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Specification and Validation of the Business Process Execution Language for Web Services.

Roozbeh Farahbod, Uwe Glässer, Mona Vajihollahi

Proceedings of the Abstract State Machines 2004. Advances in Theory and Practice, 2004