Pasha Shabalin

2007
7	EE	Pasha Shabalin, Bernd Laqua, Alexander Pikovsky: Improved Rules for the Resource Allocation Design. CEC/EEE 2007: 323-330
6	EE	Jan Jürjens, Pasha Shabalin: Tools for secure systems development with UML. STTT 9(5-6): 527-544 (2007)
2006
5	EE	Alexander Pikovsky, Pasha Shabalin, Martin Bichler: Iterative Combinatorial Auctions with Linear Prices: Results of Numerical Experiments. CEC/EEE 2006: 39
2005
4	EE	Jan Jürjens, Pasha Shabalin: Tools for Secure Systems Development with UML: Security Analysis with ATPs. FASE 2005: 305-309
2004
3	EE	Jan Jürjens, Pasha Shabalin: A Foundation for Tool-Supported Critical Systems Development with UML. ECBS 2004: 398-405
2	EE	Jan Jürjens, Pasha Shabalin: Automated Verification of UMLsec Models for Security Requirements. UML 2004: 365-379
1	EE	Jan Jürjens, Pasha Shabalin: Tools for Critical Systems Development with UML (Tool Demo). UML Satellite Activities 2004: 250-253

Coauthor Index

1	Martin Bichler	[5]
2	Jan Jürjens	[1] [2] [3] [4] [6]
3	Bernd Laqua	[7]
4	Alexander Pikovsky	[5] [7]

Colors in the list of coauthors