2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
| 1264 | C. Artho. Modbat: A model-based API tester for event-driven systems. Proceedings of the 10th JSSST Dependable System Workshop (DSW 2012), pages electronical, 2013. |
| 1307 | W. Beer, H. Stummer, M. Winterer. Maschinen wie eine App bedienen: Anforderungen an Multitouch-Bedienung in der Industrie. OBJEKTspektrum, number 2, pages 67-70, 2013. |
| 1303 | C. Brown, K. Hammond, M. Danelutto, P. Kilpatrick, H. Schöner, T. Breddin. Paraphrasing: Generating parallel programs using refactoring.
In B. Beckert, F. Damiani, F.S. de Boer, M.M. Bonsangue (editors).
Formal Methods for Components and Objects - Proc. FMCO 2011, Lecture Notes in Computer Science, pages 237-256, Springer. 2013. |
| 1302 | G. Chasparis, B. Moser. Architecture for modeling and optimization of agro-silvo-pastoral (ASP) systems. Technical Report, Software Competence Center Hagenberg, 2013. |
| 1252 | M. Felderer, R. Ramler. Experiences and challenges of introducing risk-based testing in an industrial project.
In D. Winkler, S. Biffl, J. Bergsmann (editors).
Software Quality – Increasing Value in Software and Systems Development - Proc. SWQD 2013, Lecture Notes in Business Information Processing, pages 10-29, Springer. 2013. |
| 1269 | H. Kosorus, T. Natschläger, B. Freudenthaler, J. Küng. On the relevance of graphical causa models for failure detection for industrial machinery.
In A. Quesada-Arencibia et al. (editor).
EUROCAST 2013 Computer Aided Systems Theory Extended Abstracts, pages 85-86, IUCTC Universidad Las Palmas. 2013. |
| 1260 | D. Looser, H. Ma, K. Schewe. Using formal concept analysis for ontology maintenance in human resource recruitment. Proceedings of the 9th Asia-Pacific Conference on Conceptual Modelling (APCCM 2013), CRPIT - Conferences in Research and Practice in Information Technology, pages 61-68, Australian Computer Society. 2013. |
| 1220 | H. Ma, R. Noack, K. Schewe, B. Thalheim, Q. Wang. Complete conceptual schema algebras. Fundamenta Informaticae, volume 123, pages 1-26, 2013. |
| 1279 | B. Moser, F. Eibensteiner, J. Kogler, G. Stübl. On the relevance of discrepancy norm for similarity-based clustering of delta-event-sequences.
In A. Quesada-Arencibia et al. (editor).
EUROCAST 2013 Computer Aided Systems Theory Extended Abstracts, pages 22-23, IUCTC Universidad Las Palmas. 2013. |
| 1313 | C. Natschläger, F. Kossak, K. Schewe. Deontic BPMN: A powerful extension of BPMN with a trusted model transformation. Software and Systems Modeling, volume online first article, pages DOI 10.1007/s10270-013-0329-5, 2013. |
| 1259 | K. Schewe, B. Thalheim (editors). Semantics in Data and Knowledge Systems – Proceedings SDKB 2011. Lecture Notes in Computer Science, volume 7693, Springer, 2013. |
| 1275 | F. Stallinger, R. Neumann. Software product management best practices: Guidance towards excellence in product-oriented software engineering. Software Quality Days 2013, KonferenzJournal, pages 16-22, 2013. |
| 1274 | F. Stallinger, R. Plösch, R. Neumann, S. Horn, J. Vollmar. Development and evaluation of systems engineering strategies: An assessment-based approach.
In D. Winkler, S. Biffl, J. Bergsmann (editors).
Software Quality. Increasing Value in Software and Systems Development - Proc. SWQD 2013, Lecture Notes in Business Information Processing, pages 215-229, Springer. 2013. |
| 1280 | G. Stübl, B. Moser, J. Scharinger. On approximate nearest neighbor field algorithms in template matching for surface quality inspection.
In A. Quesada-Arencibia et al. (editor).
EUROCAST 2013 Computer Aided Systems Theory Extended Abstracts, pages 100-101, IUCTC Universidad Las Palmas. 2013. |
| 1272 | M. Zhariy, K. Bredies . A discrepancy-based parameter adaptation and stopping rule for minimization algorithms aiming at Tikhonov-type regularization. Inverse Problems, volume 29 025008, number 2, pages doi:10.1088/0266-5611/29/2/025008, 2013. |