Publications

Export 53 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Title is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
B
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Style-Based Modeling and Refinement of Service-Oriented Architectures", Journal of Software and Systems Modelling, vol. 5, no. 2, pp. 187–207, June, 2006. Abstract
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Style-Based Refinement of Dynamic Software Architectures", Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society, pp. 155-164, 2004. Abstract
Acceptance rate: 30%
Bajkai, D V., and Hajdu, Á., "Software Model Checking with a Combination of Explicit Values and Predicates", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019. Abstract