Aleksandr A. Kerzhner

According to our database, Aleksandr A. Kerzhner authored at least 6 papers between 2010 and 2012.

Collaborative distances:

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

2012

Using logic-based approaches to explore system architectures for systems engineering.

Aleksandr A. Kerzhner

PhD thesis, 2012

Integrating Models and Simulations of Continuous Dynamics Into SysML.

Thomas Johnson, Aleksandr A. Kerzhner, Christiaan J. J. Paredis, Roger Burkhart

J. Comput. Inf. Sci. Eng., 2012

2011

A formal framework for capturing knowledge to transform structural models into analysis models.

Aleksandr A. Kerzhner, Jonathan M. Jobe, Christiaan J. J. Paredis

J. Simulation, 2011

Combining SysML and Model Transformations to Support Systems Engineering Analysis.

Aleksandr A. Kerzhner, Christiaan J. J. Paredis

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

Model-Based System Verification: A Formal Framework for Relating Analyses, Requirements, and Tests.

Aleksandr A. Kerzhner, Christiaan J. J. Paredis

Proceedings of the Models in Software Engineering, 2010

Multi-view Modeling to Support Embedded Systems Engineering in SysML.

Aditya A. Shah, Aleksandr A. Kerzhner, Dirk Schaefer, Christiaan J. J. Paredis

Proceedings of the Graph Transformations and Model-Driven Engineering, 2010