Publikationen
K. Schewe, F. Ferrarotti, L. Tec. A behavioural theory for reflective sequential algorithms. In A. Petrenko, A. Voronkov (editors), Perspectives of Systems Informatics - PSI 2017, Revised Selected Papers, Lecture Notes in Computer Science, volume 10742, pages 117-131, DOI 10.1007/978-3-319-74313-4_10, Springer, January, 2018.
A. Buga, S. Nemes, K. Schewe, P. Songprasop. A conceptual model for systems engineering and its formal foundation. In V. Sornlertlamvanich, P. Chawakitchareon, A. Hansuebsai, C. Koopipat, B. Thalheim, Y. Kiyoki, H. Jaakkola, N. Yoshida (editors), Information Modelling and Knowledge Bases XXIX - Proc. EJC2017, Frontiers in Artificial Intelligence and Applications, volume 301, pages 1-20, DOI 10.3233/978-1-61499-834-1-1, IOS Press, January, 2018.
G. Buchgeher, R. Weinreich, H. Huber. A Platform for the automated provisioning of architecture information for large-scale service-oriented software systems. In C. Cuesta, D. Garlan, J. Pérez (editors), Software Architecture - Proc. ECSA 2018, Lecture Notes in Computer Science, volume 11048, pages 203-218, DOI 10.1007/978-3-030-00761-4_14, Springer, September, 2018.
P. Luoma, T. Natschläger, B. Malli, M. Pawliczek, M. Brandstetter. Additive partial least squares for efficient modelling of independent variance sources demonstrated on practical case studies. Analytica Chimica Acta, volume 1077, number 5, pages 10-15, DOI: 10.1016/j.aca.2017.12.027, January, 2018.
A. Buga, S. Nemes, A. Mashkoor. Addressing client needs for cloud computing using formal foundations. Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday, Tributes, volume 34, pages 264-285, College Publications, April, 2018.
A. Buga, A. Mashkoor, S. Nemes, K. Schewe, P. Songprasop. An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Computer Languages, Systems & Structures, volume 54, pages 297-315, DOI: 10.1016/j.cl.2018.07.004, December, 2018.
S. Bonfanti, A. Gargantini, A. Mashkoor. AsmetaA: Animator for abstract state machines. In M. Butler, A. Raschke, T. Son Hoang, K. Reichl (editors), Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2018, Lecture Notes of Computer Science, volume 10817, pages 369-373, DOI 10.1007/978-3-319-91271-4_25, Springer, June, 2018.
H. Eghbal-zadeh, L. Fischer, N. Popitsch, F. Kromp, S. Taschner-Mandl, K. Koutini, T. Gerber, E. Bozsaky, P. Ambros, I. Ambros, G. Widmer, B. Moser. Deep SNP: An End-to-end Deep Neural Network with Attention-based Localization for Break-point Detection in SNP Array Genomic data. pages Poster, July, 2018.
F. Ferrarotti, S. González Cornejo, K. Schewe. Efficient SPARQL evaluation on stratified RDF data with meta-data. In A. Benczúr, B. Thalheim, T. Horváth (editors), Advances in Databases and Information Systems - Proc. ADBIS 2018, Lecture Notes in Computer Science, volume 11019, pages 99-112, DOI 10.1007/978-3-319-98398-1_7, Springer, September, 2018.
S. Khan, O. Hasan, A. Mashkoor. Formal verification and safety assessment of a hemodialysis machine. In A. Tjoa, L. Bellatreche, S. Biffl, J. Leeuwen, J. Wiedermann (editors), SOFSEM 2018: Theory and Practice of Computer Science - Proc. SOFSEM 2018, Lecture Notes in Computer Science, volume 10706, pages 241-254, DOI 10.1007/978-3-319-73117-9_17, Edizioni della Normale, January, 2018.
M. Exler, M. Moser, J. Pichler, G. Fleck, B. Dorninger. Grammatical inference from data exchange files: An experiment on engineering software. In R. Oliveto, M. Di Penta, D. Shepherd (editors), Proceedings of the 25th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2018), pages 557-561, IEEE, March, 2018.
V. Geist, F. Kossak, C. Natschläger, C. Illibauer, T. Ziebermayr, A. Mashkoor. Hagenberg Business Process Modelling Method - Towards a homogeneous framework for integrating process, actor, dialogue, and data models. In A. Mashkoor, Q. Wang, B. Thalheim (editors), Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday, Tributes, volume 34, pages 220-241, College Publications, April, 2018.
S. Benyagoub, M. Ouederni, Y. Ait-Ameur, A. Mashkoor. Incremental construction of realizable choreographies. In A. Dutle, C. Munoz, A. Narkawicz (editors), NASA Formal Methods - Proc. NFM 2018, Lecture Notes in Computer Science, volume 10811, pages 1-19, DOI 10.1007/978-3-319-77935-5_1, Springer, April, 2018.
Journal of Software: Evolution and Process, Special Issue: Selected functional safety and cybersecurity concerns in system, software, and service process improvement and innovation,. In A. Mashkoor, M. Biró, R. Messnarz, R. Colomo-Palacios (editors), volume 30, May, 2018.
A. Mashkoor, F. Kossak, M. Biró, A. Egyed. Model-driven re-engineering of a pressure sensing system: An experience report. In A. Pierantonio, S. Trujillo (editors), Modelling Foundations and Applications - Proc. ECMFA 2018, Lecture Notes in Computer Science, volume 10890, pages 264-278, Springer, June, 2018.
Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday. In A. Mashkoor, Q. Wang, B. Thalheim (editors), Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday, Tributes, volume 34, College Publications, April, 2018.
F. Ferrarotti, L. Tec, J. Turull-Torres. Polynomially bounded valuations in higher-order logics over relational databases. In A. Mashkoor, Q. Wang, B. Thalhiemn (editors), Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday, Tributes, volume 34, pages 92-121, College Publications, April, 2018.
B. Dorninger, M. Moser, A. Kern. Reengineering an industrial HMI : Approach, objectives and challenges. In R. Oliveto, M. Di Penta, D. Shepherd (editors), Proceedings of the 25th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2018), pages 547-551, IEEE, March, 2018.
D. Mishkin, F. Radenović, J. Matas. Repeatability is not enough: Learning affine regions via discriminability. In V. Ferrari, M. Hebert, C. Sminchisescu, Y. Weiss (editors), Computer Vision - ECCV 2018, Part IX, Lecture Notes in Computer Science, volume 11213, pages 287-304, DOI 10.1007/978-3-030-01240-3_18, Springer, September, 2018.
A. Mashkoor, M. Biró, R. Messnarz, R. Colomo-Palacios. Selected functional safety and cybersecurity concerns in system, software, and service process improvement and innovation (editorial). Journal of Software: Evolution and Process, volume 30, number 5, pages e1955, DOI: 10.1002/smr.1955, May, 2018.
G. Buchgeher, M. Cuénez, G. Czech, B. Dorninger, M. Exler, M. Moser, M. Pfeiffer, J. Pichler. Software Analytics and Evolution Team Report 2017. Technical Report, number SCCH-TR-18040, May, 2018.
F. Ferrarotti, S. González Corenjo, K. Schewe, J. Turull-Torres. Systematic refinement of abstract state machines with higher-order logic. In M. Butler, A. Raschke, T. Son Hoang, K. Reichl (editors), Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2018, Lecture Notes of Computer Science, volume 10817, pages 204-2018, DOI 10.1007/978-3-319-91271-4_14, Springer, June, 2018.
J. Jacquot, A. Mashkoor. The role of validation in refinement-based formal software development. In A. Mashkoor, Q. Wang, B. Thalheim (editors), Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday, Tributes, volume 34, pages 202-219, College Publications, April, 2018.
L. Ehrlinger, T. Grubinger, B. Varga, M. Pichler, T. Natschläger, J. Zeindl. Treating missing data in Industrial Data Analytics. In P. Pichappan, A. Florea, M. Naeem (editors), Proceedings of the 13th International Conference on Digital Information Management (ICDIM 2018), pages 148-155, IEEE, September, 2018.
T. Hoch, X. Tan, R. Leser, A. Baca, B. Moser. A knowledge discovery framework for the assessment of tactical behaviour in soccer based on spatiotemporal data. Mathematical and Computer Modelling of Dynamical Systems, volume 23, number 4, pages 384-398, DOI: 10.1080/13873954.2017.1336634, June, 2017.
R. Ramler, M. Felderer, M. Leitner. A lightweight approach for estimating probability in risk-based software testing. In J. Großmann, M. Felderer, F. Seehusen (editors), Risk Assessment and Risk-Driven Quality Assurance - RISK 2016, Revised Selected Papers, Lecture Notes in Computer Science, volume 10224, pages 115-128, DOI 10.1007/978-3-319-57858-3_9, Springer, April, 2017.
C. Natschläger, F. Kossak, C. Lettner, V. Geist, A. Denkmayr, B. Käferböck. A practical approach for process mining in production processes. In F. Piazolo, V. Geist, L. Brehm, R. Schmidt (editors), Innovations in Enterprise Information Systems Management and Engineering - ERP Future 2016 - Research, Revised Papers, Lecture Notes in Business Information Processing, volume 285, pages 87-95, DOI 0.1007/978-3-319-58801-8_8, Springer, May, 2017.
D. Kotsur, R. Leube, R. Windoffer, J. Mattes. Active contour models for individual keratin filament tracking. In P. Roth, M. Vincze, W. Kubinger, A. Müller, B. Blaschitz, S. Stolc (editors), Proceedings of the OAGM&ARW Joint Workshop on Vision, Automation and Robotic (OAGM&ARW 2017), pages 109-110, Verlag der Technischen Universität Graz, May, 2017.
S. Baumbach, J. Binder, A. Synek, F. Mück, Y. Chevalier, E. Euler, G. Langs, L. Fischer. Analysis of the three-dimensional anatomical variance of the distal radius using 3D shape models. BMC Med Imaging, volume 17, number 1, DOI: 10.1186/s12880-017-0193-9, March, 2017.
S. Bonfanti, M. Carissoni, A. Gargantini, A. Mashkoor. Asm2C++: A tool for code generation from abstract state machines to Arduino. In C. Barrett, M. Davies, T. Kahsai (editors), NASA Formal Methods - Proc. NFM 2017, ecture Notes in Computer Science, volume 10227, pages 295-301, DOI 10.1007/978-3-319-57288-8_21, Springer, April, 2017.
J. Martinez-Gil, B. Freudenthaler, T. Natschläger. Automatic recommendation of prognosis measures for mechanical components based on massive text mining. In M. Indrawan-Santiago, I. Salvadori, M. Steinbauer, I. Khalil, G. Anderst-Kotsis (editors), Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services (iiWAS 2017), pages 32-39, DOI 10.1145/3151759.3151774, ACM, December, 2017.
A. Buga, A. Mashkoor, S. Nemes, K. Schewe, P. Songprasop. Conceptual modelling of hybrid systems - Structure and behaviour. Model and Data Engineering - MEDI 2017, Lecture Notes in Computer Science, volume 10563, pages 277-290, DOI 10.1007/978-3-319-66854-3_21, Springer, September, 2017.
B. Bielesz, J. Patsch, L. Fischer, M. Bojic, W. Winnicki, M. Weber, D. Cejka. Cortical porosity not superior to conventional densitometry in identifying hemodialysis patients with fragility fracture. PLOS ONE, volume 12, number 2, DOI: 10.1371/journal.pone.0171873, February, 2017.
S. Haselböck, R. Weinreich, G. Buchgeher. Decision guidance models for microservices – Service discovery and fault tolerance. In O. Rysavý, V. Vranic, G. Papadopoulos (editors), Proceedings of the 5th European Conference on the Engineering of Computer-Based Systems (ECBS 2017), pages 4:1-4:10, DOI 10.1145/3123779.3123804, ACM, August, 2017.
S. Haselböck, R. Weinreich, G. Buchgeher. Decision models for microservices: Design areas, stakeholders, use cases, and requirements. In A. Lopes, R. de Lemos (editors), Software Architecture - Proc. ECSA 2017, Lecture Notes in Computer Science, volume 10475, pages 155-170, DOI 10.1007/978-3-319-65831-5 11, Springer, September, 2017.
B. Shahzad, I. Lali, M. Nawaz, W. Aslam, R. Mustafa, A. Mashkoor. Discovery and classification of user interests on social media. Information Discovery and Delivery, volume 45, number 3, pages 130-138, DOI: 10.1108/IDD-03-2017-0023, November, 2017.
G. Chasparis, M. Roßbory, V. Janjic. Efficient dynamic pinning of parallelized applications by reinforcement learning with applications. In F. Rivera, T. Pena, J. Cabaleiro (editors), uro-Par 2017: Parallel Processing - Proc. Euro-Par 2017, Lecture Notes in Computer Science, volume 10417, pages 164-176, Springer, August, 2017.
M. Biró, F. Kossak, J. Klespitz, L. Kovács. Graceful integration of process capability improvement, formal modeling and web technology for traceability. In J. Stolfa, S. Stolfa, R. O'Connor, R. Messnarz (editors), Software and Services Process Improvement - Proc. EuroSPI 2017, Communications in Computer and Information Science, volume 748, pages 381-398, DOI 10.1007/978-3-319-64218-5_32, Springer, August, 2017.
A. Kogler, P. Traxler. Health monitoring of large amounts of photovoltaic systems - A case study. In M. Indrawan-Santiago, I. Salvadori, M. Steinbauer, I. Khalil, G. Anderst-Kotsis (editors), Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services (iiWAS 2017), pages 385-389, DOI 10.1145/3151759.3151828, ACM, December, 2017.
J. Irujo, A. Bialas, M. Bimpas, M. Biró, G. Canet, V. Cuomo, L. Atucha, J. Główka, C. Goodchild, S. Iacob, A. Heikkilä, D. Hiller, M. Kowalski, A. Krukowski, I. Linde-Frech, I. Linde-Frech, M. Manso, F. Soldovieri. IMG-S – EARTO Joint Position Paper on Resilience in Security Research. pages http://www.imgs-eu.org/home/public-documents/img-seartojointpositionpaperonresilienceinsecurityresearch, March, 2017.
Innovations in Enterprise Information Systems Management and Engineering: 5th International Conference, ERP Future 2016 - Research, Hagenberg, Austria, November 14, 2016, Revised Papers. In F. Piazolo, V. Geist, L. Brehm, R. Schmidt (editors), Lecture Notes in Business Information Processing, volume 285, DOI 10.1007/978-3-319-58801-8, Springer, May, 2017.
A. Kogler, P. Traxler. Locating faults in photovoltaic systems data. In W. Woon, Z. Aung, O. Kramer, S. Madnick (editors), Data Analytics for Renewable Energy Integration - Proc. 4th ECML PKDD Workshop, DARE 2016, Lecture Notes in Artificial Intelligence, volume 10097, pages 1-9, DOI 10.1007/978-3-319-50947-1_1, January, 2017.
A. Buga, B. Freudenthaler, J. Martinez Gil, S. Nemes, L. Paoletti. Management of accurate profile matching using multi-cloud service interaction. In M. Indrawan-Santiago, I. Salvadori, M. Steinbauer, I. Khalil, G. Anderst-Kotsis (editors), Proceedings of the 19th International Conference on Information Integration and Web-based Applications & Services (iiWAS 2017), pages 161-165, DOI 10.1145/3151759.3151831, ACM, December, 2017.
G. Buchgeher, M. Winterer, R. Weinreich, J. Luger, R. Wingelhofer, M. Aistleitner. Microservices in a small development organization: An industrial experience report. In A. Lopes, R. de Lemos (editors), Software Architecture - Proc. ECSA 2017, Lecture Notes in Computer Science, volume 10475, pages 208-215, DOI 10.1007/978-3-319-65831-5_15, Springer, September, 2017.
B. Dorninger, M. Moser, J. Pichler. Multi-language re-documentation to support a COBOL to Java migration project. In M. Pinzger, G. Bavota, A. Marcus (editors), Proceedings of the 2017 IEEE 24th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017), pages 536-540, DOI 10.1109/SANER.2017.7884669, February, 2017.
R. Messnarz, A. Much, C. Kreiner, M. Biró, J. Gorner. Need for the continuous evolution of systems engineering practices for modern vehicle engineering. In J. Stolfa, S. Stolfa, R. O'Connor, R. Messnarz (editors), Systems, Software and Services Process Improvement - Proc. EuroSPI 2017, Communications in Computer and Information Science, volume 748, pages 439-452, DOI 10.1007/978-3-319-64218-5_36, Springer, August, 2017.
F. Ferrarotti, S. González Cornejo, J. Turull-Torres. On fragments of higher order logics that on finite structures collapse to second order. Logic, Language, Information, and Computation - Proc. WoLLIC 2017, Lecture Notes in Computer Science, volume 10388, pages 125-139, DOI 10.1007/978-3-662-55386-2_9, Springer, July, 2017.
G. Povsil, A. Tzika, J. Vogt, V. Haunschmid, L. Messiaen, J. Zschocke, G. Klambauer, S. Hochreiter, K. Wimmer. panelcn.MOPS: Copy-number detection in targeted NGS panel data for clinical diagnostics. Human Mutation, volume 38, number 7, pages 889-897, DOI: 10.1002/humu.23237, July, 2017.
A. Kogler, P. Traxler. Parallel and robust empirical risk minimization via the median trick. In J. Blömer, I. Kotsiraes, T. Kutsia, D. Simos (editors), Mathematical Aspects of Computer and Information Sciences - Poc. MACIS 2017, Lecture Notes in Computer Science, volume 10693, pages 378-391, DOI 10.1007/978-3-319-72453-9_31, Springer, December, 2017.
R. Ramler, R. Hoschek. Process and tool support for internationalization and localization testing in software product development. In M. Felderer, D. Méndez-Fernández, B. Turhan, M. Kalinowski, F. Sarro, D. Winkler (editors), Product-Focused Software Process Improvement - Proc. PROFES 2017, Lecture Notes in Computer Science, volume 10611, pages 385-393, DOI 10.1007/978-3-319-69926-4_27, Springer, November, 2017.
X. Tan, V. Wieser, S. Lustig, B. Moser. Riemannian manifold approach to scheimpflug camera calibration for embedded laser-camera application. In P. Roth, M. Vincze, W. Kubinger, A. Müller, B. Blaschitz, S. Stolc (editors), Proceedings of the OAGM&ARW Joint Workshop on Vision, Automation and Robotic (OAGM&ARW 2017), pages 123,124, Verlag der Technischen Universität Graz, May, 2017.
K. Leonhartsberger, M. Meisel, M. Pichler, S. Schidler, L. Fotiadis, E. Xypolytou, A. Werner. System relevant applications for battery storage systems. Proceedings of the 33rd PLEA International Conference (PLEA 2017), volume III, pages 4595-4602, July, 2017.
R. Ramler, C. Salomon, G. Buchgeher, M. Lusser. Tool support for change-based regression testing: An industry experience report. In D. Winkler, S. Biffl, J. Bergsmann (editors), Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies - Proc. SWQD 2017, Lecture Notes in Business Information Processing, volume 269, pages 133-152, DOI 10.1007/978-3-319-49421-0_10, January, 2017.
C. Illibauer, C. Natschläger. Towards flexible business processes by supporting self-organizing groups. In F. Piazolo, V. Geist, L. Brehm, R. Schmidt (editors), Innovations in Enterprise Information Systems Management and Engineering - ERP Future 2016 - Research, Revised Papers, Lecture Notes in Business Information Processing, volume 285, pages 57-65, DOI 10.1007/978-3-319-58801-8_5, Springer, May, 2017.
C. Salomon, R. Ramler, A. Mayrhofer, G. Sperrer. Towards information management support in testing and piloting of complex mechatronic systems: An industry case study. In F. Piazolo, V. Geist, L. Brehm, R. Schmidt (editors), Innovations in Enterprise Information Systems Management and Engineering - ERP Future 2016 - Research, Revised Papers, Lecture Notes in Business Information Processing, volume 285, pages 69-76, DOI 10.1007/978-3-319-58801-8_6, Springer, Mayr, 2017.
M. Moser, M. Pfeiffer, J. Pichler. Towards reverse engineering of intermediate code for documentation generators. In M. Pinzger, G. Bavota, A. Marcus (editors), Proceedings of the 2017 IEEE 24th International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017), pages 553-554, DOI 10.1109/SANER.2017.7884673, February, 2017.
F. Ferrarotti, K. Schewe, L. Tec, Q. Wang. A logic for non-deterministic parallel abstract state machines. In M. Gyssens, G. Simari (editors), Foundations of Information and Knowledge Systems - Proc. FoIKS 2016, Lecture Notes in Computer Science, volume 9616, pages 334-354, DOI 10.1007/978-3-319-30024-5_18, Springer, March, 2016.
J. Martinez Gil, L. Paoletti, K. Schewe. A smart approach for matching, learning and querying information from the human resources domain. New Trends in Databases and Information Systems - Proc. ADBIS 2016 Short Papers and Workshops, Communications in Computer and Information Science, volume 637, pages 157-167, DOI 10.1007/978-3-319-44066-8_17, Springer, August, 2016.
Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016. In M. Butler, K. Schewe, A. Mashkoor, M. Biró (editors), Lecture Notes in Computer Science, volume 9675, DOI 10.1007/978-3-319-33600-8, Springer, May, 2016.
T. Hoch. An ensemble learning approach for the kaggle taxi travel time prediction challenge. In A. Martínez-Usó, J. Mendes-Moreira, L. Moreira-Matias, M. Kull, N. Lachiche (editors), Proceedings of the ECML/PKDD 2015 Discovery Challenges, CEUR Workshop Proceedings, volume 1526, pages http://ceur-ws.org/Vol-1526/paper22.pdf, CEUR, January, 2016.
J. Klespitz, M. Biró, L. Kovács. Cross-tool interoperability in heterogeneous application lifecycle management systems. New Trends in Software Methodologies, Tools and Techniques - Proc. SOMET 2016, Frontiers in Artificial Intelligence and Applications, volume 286, pages 213-220, DOI 10.3233/978-1-61499-674-3-213, IOS Press, September, 2016.
M. Pichler, M. Rutzinger, N. Houbé, H. Neiß, C. Blank, R. Bergmair, M. Anfang. Einsichten in Verhaltensweisen von Touristen, Analysemöglichkeiten für Touristiker. Tourismus Wissen - quarterly, volume 5, pages 191-196, July, 2016.
M. Moser, J. Pichler, G. Fleck, M. Witlatschil, W. Kirchmayr, L. Nocke, R. Tober. Experience report on building ASTM based tools for multi-language reverse engineering. Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2016), pages 683-687, DOI 10.1109/SANER.2016.33, IEEE, March, 2016.
M. Felderer, R. Ramler. Exploring expectations about risk-based Testing: Towards increasing effectiveness and efficiency. In P. Abrahamsson, A. Jedlitschka, A. Nguyen Duc, M. Felderer, S. Amasaki, T. Mikkonen (editors), Product-Focused Software Process Improvement - Proc. PROFES 2016, Lecture Notes in Computer Science, volume 10027, pages 683-688, Springer, November, 2016.
L. Ma, C. Artho, C. Zhang, H. Sato, J. Gmeiner, R. Ramler. Guiding random test generation with program analysis. Software Engineering 2016 Fachtagung des GI-Fachbereichs Softwaretechnik - Proc. SE 2016, Lecture Notes in Informatics, volume 252, pages 15-16, Gesellschaft für Informatik, February, 2016.
P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene. How to assure correctness and safety of medical software: The hemodialysis machine case study. In M. Butler, K. Schewe, A. Mashkoor, M. Biró (editors), Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016, Lecture Notes in Computer Science, volume 9676, pages 344-359, DOI 10.1007/978-3-319-33600-8_30, Springer, May, 2016.
F. Kossak, A. Mashkoor. How to select the suitable formal method for an industrial application: A survey. In M. Butler, K. Schewe, A. Mashkoor, M. Biró (editors), Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016, Lecture Notes in Computer Science, volume 9676, pages 213-228, DOI 10.1007/978-3-319-33600-8_13, Springer, May, 2016.
J. Martínez Gil, M. Pichler, L. Paoletti. Looking for the best historical window for assessing semantic similarity using human literature. In T. Palpanas, K. Stefanidis (editors), Proceedings of the Workshops of the EDBT/ICDT 2016 Joint Conference (EDBT/ICDT 2016), CEUR Workshop Proceedings, volume 1558, pages http://ceur-ws.org/Vol-1558/paper29.pdf, CEUR, March, 2016.
J. Martínez Gil, L. Paoletti, G. Rácz, A. Sali, K. Schewe. Maintenance of profile matchings in knowledge bases. Model and Data Engineering - Proc. MEDI 2016, Lecture Notes in Computer Science, volume 9893, pages 132-141, DOI 10.1007/978-3-319-45547-1_11, Springer, September, 2016.
C. Natschläger, V. Geist, C. Illibauer, R. Hutter. Modelling business process variants using graph transformation rules. In S. Hammoudi, L. Pires, B. Selic, P. Desfray (editors), Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), pages 65-74, SCITEPRESS, February, 2016.
New Trends in Databases and Information Systems - Proc. ADBIS 2016 Short Papers and Workshops, BigDap, DCSA, DC. In M. Ivanovic, B. Thalheim, B. Catania, K. Schewe, M. Kirikova, P. Saloun, A. Dahanayake, T. Cerquitelli, E. Baralis, P. Michiardi (editors), Communications in Computer and Information Science, volume 637, DOI 10.1007/978-3-319-44066-8, Springer, August, 2016.
Science of Computer Programming, Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2014) Selected and extended papers from ABZ 2014. In Y. Ait-Ameur, K. Schewe (editors), volume 131, pages 1-150, Elsevier, December, 2016.
G. Rácz, A. Sali, K. Schewe. Semantic matching strategies for job recruitment: A comparison of new and known approaches. In M. Gyssens, G. Simari (editors), Foundations of Information and Knowledge Systems - Proc. FoIKS 2016, Lecture Notes in Computer Science, volume 9616, pages 149-168, DOI 10.1007/978-3-319-30024-5_9, Springer, March, 2016.
A. Kinz, H. Biedermann, P. Traxler, B. Freudenthaler, J. Isopp, W. Schröder, A. Schlegl. Smart Maintenance - Ressourcenintelligente antizipative Instandhaltung durch Condition Monitoring, Datenanalyse und Störungsprognostik. volume 49, pages 20-24, January, 2016.
A. Mashkoor. The hemodialysis machine case study. In M. Butler, K. Schewe, A. Mashkoor, M. Biró (editors), Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016, Lecture Notes in Computer Science, volume 9676, pages 329-343, DOI 10.1007/978-3-319-33600-8_29, Springer, May, 2016.
L. Paoletti, J. Martinez Gil, K. Schewe. Top-k matching queries for filter-based profile matching in knowledge bases. Database and Expert Systems Applications - Proc. DEXA 2016, Part II, Lecture Notes in Computer Science, volume 9828, pages 295-302, DOI 10.1007/978-3-319-44406-2_23, Springer, September, 2016.
K. Schewe, F. Ferrarotti, L. Tec, Q. Wang. Towards a behavioural theory for random parallel computing. In C. Beierle, G. Brewka, M. Thimm (editors), Computational Models of Rationality. Essays Dedicated to Gabriele Kern-Isberner on the occasion of her 60th birthday, pages 365-376, College Publications, January, 2016.
F. Ferrarotti, L. Tec, J. Turull Torres. Towards an ASM thesis for reflective sequential algorithms. In M. Butler, K. Schewe, A. Mashkoor, M. Biró (editors), Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016, Lecture Notes in Computer Science, volume 9676, pages 244-249, DOI 10.1007/978-3-319-33600-8_16, Springer, May, 2016.
M. Biró, J. Klespitz, J. Gmeiner, C. Illibauer, L. Kovács. Towards automated traceability assessment through augmented lifecycle space. Systems, Sofware and Services Process Improvement - Proc. EuroSPI 2016, Communications in Computer and Information Science, volume 633, pages 94-105, DOI 10.1007/978-3-319-44817-6_8, Springer, September, 2016.
C. Illibauer, T. Ziebermayr, V. Geist. Towards rigid actor assignment in dynamic workflows. In M. Felderer, F. Piazolo, W. Ortner, L. Brehm, H. Hof (editors), Innovations in Enterprise Information Systems Management and Engineering - ERP Future 2015 Revised Papers, Lecture Notes in Business Information Processing, volume 245, pages 62-69, DOI 10.1007/978-3-319-32799-0, Springer, April, 2016.
P. Arcaini, S. Bonfanti, M. Dausend, A. Gargantini, A. Mashkoor, A. Raschke, E. Riccobene, P. Scandurra, M. Stegmaier. Unified syntax for ASM. In M. Butler, K. Schewe, A. Mashkoor, M. Biró (editors), Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2016, Lecture Notes in Computer Science, volume 9676, pages 231-236, DOI 10.1007/978-3-319-33600-8_14, Springer, May, 2016.
P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene. Visual notation and patterns for Abstract State Machines. In P. Milazzo, D. Várro, M. Wimmer (editors), Software Technologies: Applications and Foundations - STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Revised Selected Papers, Lecture Notes in Computer Science, volume 9949, pages 163-178, DOI 10.1007/978-3-319-50230-4, Springer, November, 2016.
R. Ramler, M. Felderer. A process for risk-based test strategy development and its industrial evaluation. In P. Abrahamsson, L. Corral, M. Oivo, B. Russo (editors), Product-Focused Software Process Improvement - Proc. PROFES 2015, pages 355-371, DOI 10.1007/978-3-319-26844-6_26, Springer, December, 2015.
F. Kossak, C. Illibauer, V. Geist, J. Kubovy, C. Natschläger, T. Ziebermayr, T. Kopetzky, B. Freudenthaler, K. Schewe. A rigorous semantics for BPMN 2.0 process diagrams. Springer, January, 2015.
B. Freudenthaler, R. Stumptner. Adaptive flood forecasting for small catchment areas. In R. Moreno-Diaz, F. Pichler, A. Quesada-Arencibia (editors), Computer Aided Systems Theory - EUROCAST 2015 Revised Selected Papers, Lecture Notes in Computer Science, volume 9520, pages 211-218, DOI 10.1007/978-3-319-27340-2_27, Springer, December, 2015.
F. Kossak, V. Geist. An enhanced communication concept for business processes. In J. Kolb, H. Leopold, J. Mendling (editors), Enterprise Modelling and Information Systems Architectures - Proc. EMISA 2015, Lecture Notes in Informatics, volume 248, pages 77-91, Gesellschaft für Informatik, September, 2015.
B. Malli, T. Natschläger, M. Pawliczek, T. Reischer, W. Kantner, M. Brandstetter, W. Märzinger, J. Kowalski. Application-oriented standard-free methods for calibration transfer. 11. Kolloquium Prozessanalytik Wien 2015, pages Posterprogram P08, December, 2015.
B. Malli, T. Natschläger, M. Pawliczek, T. Reischer, W. Kantner, M. Brandstetter, W. Märzinger, J. Kowalski. Application-oriented standard-free methods for calibration transfer. Lenzinger Berichte, volume 92, pages 33-46, November, 2015.
M. Dorfer, T. Kazmar, M. Šmíd, S. Sanchit, J. Kneißl, S. Keller, O. Debeir, B. Luber, J. Mattes. Associating approximate paths and temporal sequences of noisy detections: Application to the recovery of spatio-temporal cancer cell trajectories. Medical Image Analysis (in press, available online), DOI: http://dx.doi.org/10.1016/j.media.2015.03.007, April, 2015.
B. Thalheim, K. Schewe. Co-design of web information systems. In B. Thalheim, K. Schewe, A. Prinz, B. Buchberger (editors), Correct Software in Web Applications and Web Services, Texts and Monographs in Symbolic Computation, pages 293-332, Springer, June, 2015.
R. Stumptner, C. Lettner, B. Freudenthaler. Combining relational and NoSQL database systems for processing sensor data in disaster management. In R. Moreno-Diaz, F. Pichler, A. Quesada-Arencibia (editors), Computer Aided Systems Theory - EUROCAST 2015 Revised Selected Papers, Lecture Notes in Computer Science, volume 9520, pages 663-670, DOI 10.1007/978-3-319-27340-2_82, Springer, December, 2015.
T. Grubinger, A. Birlutiu, H. Schöner, T. Natschläger, T. Heskes. Domain generalization based on transfer component analysis. In I. Rojas, G. Joya, A. Catala (editors), Advances in Computational Intelligence - Proc. IWANN 2015, Part I, Lecture Notes in Computer Science, volume 9094, pages 325-334, Springer, June, 2015.
R. Leser, B. Moser, T. Hoch, J. Stöger, G. Kellermayr, S. Reinsch, A. Baca. Expert-oriented modelling of a 1vs1-situation in football. International Journal of Performance Analysis in Sport, volume 15, number 3, pages 949-966, December, 2015.
A. Bögl, M. Karlinger, M. Schrefl, G. Pomberger. Exploiting semantic activity labels to facilitate consistent specialization of abstract process activities. In G. Italiano, T. Margaria-Steffen, J. Pokorný, J. Quisquate, R. Wattenhofer (editors), SOFSEM 2015: Theory and Practice of Computer Science - Proc. SOFSEM 2015, Lecture Notes in Computer Science, volume 8939, pages 475-485, DOI 10.1007/978-3-662-46078-8_39, Springer, January, 2015.
L. Paoletti, J. Martinez-Gil, K. Schewe. Extending knowledge-based profile matching in the human resources domain. In Q. Chen, A. Hameuerlain, F. Toumani, R. Wagner, H. Decker (editors), Database and Expert Systems Applications - Proc. DEXA 2015, Part II, Lecture Notes of Computer Science, volume 9262, pages 21-34, DOI 10.1007/978-3-319-22852-5, Springer, September, 2015.
L. Ma, C. Artho, C. Zhang, H. Sato, J. Gmeiner, R. Ramler. GRT: An automated test generator using orchestrated program analysis. Proceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), pages 842-847, DOI 10.1109/ASE.2015.102, IEEE, November, 2015.
L. Ma, C. Artho, C. Zhang, H. Sato, J. Gmeiner, R. Ramler. GRT: Program-analysis-guided random testing. Proceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), pages 212-223, DOI 10.1109/ASE.2015.49, IEEE, November, 2015.
K. Schewe, V. Geist, C. Illibauer, F. Kossak, C. Natschläger, T. Kopetzky, J. Kubovy, B. Freudenthaler, T. Ziebermayr. Horizontal business process model integration. In A. Hameurlain, J. Küng, R. Wagner, H. Decker, L. Lhotska (editors), Transactions in Large-Scale Data and Knowledge-Centered Systems XVIII, Lecture Notes in Computer Science, volume 8980, pages 30-52, DOI 10.1007/978-3-662-46485-4_2, Springer, February, 2015.
T. Wetzlmaier, R. Ramler. Improving manual change impact analysis with tool support: A study in an industrial project. In D. Winkler, S. Biffl, J. Bergsmann (editors), Software Quality. Software and Systems Quality in Distributed and Mobile Environments - Proc. SWQD 2015, Lecture Notes in Business Information Processing, volume 200, pages 47-66, DOI 10.1007/978-3-319-13251-8_4, Springer, January, 2015.
T. Hoch, M. Dorfer, R. Leser, G. Stelzhammer, A. Baca. Kamerabasierte Bestimmung der Puck-Position im Eishockey. Sportinformatik X, Schriften der Deutschen Vereinigung für Sportwissenschaft, volume 244, pages 36-41, Feldhaus, June, 2015.
R. Stumptner, C. Lettner, B. Freudenthaler, J. Pichler, W. Kirchmayr, E. Traxler. Maintaining and analyzing production process definitions using a tree-based similarity measure. In E. Hüllermeier, M. Minor (editors), Case-Based Reasoning Research and Development - Proc. ICCBR 2015, Lecture Notes in Artificial Intelligence, volume 9343, pages 366-380, DOI 10.1007/978-3-319-24586-7_25, Springer, September, 2015.
C. Artho, M. Seidl, Q. Gros, E. Choi, T. Kitamura, A. Mori, R. Ramler, Y. Yamagata. Model-based testing of stateful APIs with Modbat. Proceddings of the 2015 30th IEEE/ACM International Conference on Automated Software Engineering (ASE 2015), pages 858-863, DOI 10.1109/ASE.2015.95, IEEE, November, 2015.
K. Schewe, Q. Wang, W. Wang. Provenance-aware entity resolution: Leveraging provenance to improve quality. In M. Renz, C. Shahabi, X. Zhou, M. Cheema (editors), Database Systems for Advanced Applications - Proc. DASFA 2015, Part I, Lecture Notes in Computer Science, volume 9049, pages 474-490, Springer, April, 2015.
M. Moser, J. Pichler, G. Fleck, M. Witlatschil. RbG: A documentation generator for scientific and engineering software. In Y. Guéhéneuc, B. Adams, A. Serebrenik (editors), Proceedings of the 22nd IEEE International Conference on Software Analysis, Evolution (SANER'15), pages 464-468, IEEE, March, 2015.
A. Maschkoor, M. Biró, M. Dolgos, P. Timar. Refinement-based development of software-controlled safety-critical active medical devices. In D. Winkler, S. Biffl, J. Bergsmann (editors), Software Quality. Software and Systems Quality in Distributed and Mobile Environments - Proc. SWQD 2015, Lecture Notes in Business Information Processing, volume 200, pages 120-132, DOI 10.1007/978-3-319-13251-8_8, Springer, January, 2015.
V. Geist, A. Mashkoor, F. Kossak, C. Natschläger, C. Illibauer, T. Ziebermayr. Towards a homogeneous framework for integrating process, actor, dialogue, and data models. Technical Report, October, 2015.
A. Serafini, R. Leser, T. Hoch, B. Moser, A. Baca. Towards data-based assessment of individual tactics skills in team sports based on Fuzzy Petri Nets. In F. Breitenecker, A. Kugi, I. Troch (editors), Abstract volume of the 8th Vienna International Conference on Mathematical Modelling - MATHMOD 2015, Argesim Report No. 44, pages 303-304, ARGESIM, February, 2015.
K. Schewe, Q. Wang. What constitutes a service on the web? - Towards a theory of services. In B. Thalheim, K. Schewe, A. Prinz, B. Buchberger (editors), Correct Software in Web Applications and Web Services, Texts and Monographs in Symbolic Computation, pages 257-292, Springer, June, 2015.
R. Leser, B. Moser, T. Hoch, O. Drachta, G. Stelzhammer, A. Baca. Wissensbasierte Modellierung der individuellen Spielleistung von LeistungssportlerInnen in Mannschaftsportarten. Sportinformatik X, Schriften der Deutschen Vereinigung für Sportwissenschaft, volume 244, pages 125-129, Feldhaus, June, 2015.
G. Regan, M. Biró, F. Mc Caffery, K. Mc Daid, D. Flood. A traceability process assessment model for the medical device domain. In B. Barafort, R. O'Connor, A. Poth, R. Messnarz (editors), Systems, Software and Services Process Improvement - Proc. EuroSPI 2014, ommunications in Computer and Information Science, volume 425 2014, pages 206-216, Springer, June, 2014.
T. Schweigert, D. Vohwinkel, M. Korsaa, R. Nevalainen, M. Biró. Agile maturity model: Analyzing agile maturity characteristics from the SPICE perspective. Journal of Software: Evolution and Process, Special Issue: Software process improvement leveraged in various application domains, volume 26, number 5, pages 513-520 DOI: 10.1002/smr.1617, May, 2014.
C. Brown, V. Janjic, K. Hammond, H. Schöner, K. Idrees, C. Glass. Agricultural reform: More efficient farming using advanced parallel refactoring tools. Proceedings ot the 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing - PDP 2014, pages 36-43, DOI: 10.1109/PDP.2014.94, September, 2014.
F. Stallinger, R. Schossleitner. Aligning software engineering activities with business needs and strategy: Scalable product management processes for high-quality, sustainable products. In D. Wuksch, B. Peischl, C. Kop (editors), ASQT 2013 - Selected Topics to the User Conference on Software Quality, Test and Innovation 2013, books@ocg.at, volume 303, pages 42-45, OCG, May, 2014.
C. Lettner, R. Stumptner, K. Bokesch. An approach on ETL attached data quality management. In L. Bellatreche, M. Mohania (editors), Data Warehousing and Knowledge Discovery - Proc. DaWaK 2014, Lecture Notes in Computer Science, volume 8646, pages 1-8, Springer, September, 2014.
F. Stallinger, R. Neumann, R. Schoßleitner. Assessment-based innovation system customization for software product line organizations. In A. Mitasiunas, T. Rout, R. O'Connor, A. Dorling (editors), Software Process Improvement and Capability Determination - Proc. SPICE 2014, Communications in Computer and Information Science, volume 477, pages 131-143, Springer, November, 2014.
R. Ramler, W. Putschögl, D. Winkler. Automated testing of industrial automation software: Practical receipts and lessons learned. In A. Nair, H. Prähofer, A. Zoitl, R. Jetley, A. Dubey, A. Kumar (editors), Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation (MoSEMInA 2014), pages 7-16, May/June, 2014.
T. Steinmaurer, P. Traxler, M. Zwick, R. Stumptner, L. Christian. Combining stream processing engines and big data storages for data analysis. In T. Andreasen, H. Christiansen, J. Cubero, Z. Ras (editors), Foundations of Intelligent Systems - Proc. ISMIS 2014, Lecture Notes in Computer Science, volume 8502, pages 476-485, Springer, June, 2014.
B. Thalheim, H. Jaakkola, T. Nakanishi, S. Sasaki, K. Schewe. Conceptual modelling of collaboration for information systems. In T. Tokuda, Y. Kiyoki, H. Jaakkola, N. Yoshida (editors), Information Modelling and Knowledge Bases XXV, Frontiers in Artificial Intelligence and Applications, volume 250, pages 272-305, IOS Press, February, 2014.
M. Moser, M. Pfeiffer, J. Pichler. Domain-specific modeling in industrial automation: Challenges and experiences. In A. Nair, H. Prähofer, A. Zoitl, R. Jetley, A. Dubey, A. Kumar (editors), Proceedings of the 1st International Workshop on Modern Software Engineering Methods for Industrial Automation (MoSEMInA 2014), pages 42-51, May/June, 2014.
A. Bögl, C. Natschläger, M. Karlinger, M. Schrefl. Exploiting process patterns and process instances to support adaptability of dynamic business processes. In F. Morvan, R. Wagner, A. Tjoa (editors), Proceedings of the 25th International Workshop on Database and Expert Systems Applications - DEXA 2014, pages 173-177, CPS, September, 2014.
M. Tropmann-Frick, B. Thalheim, D. Leber, C. Liehr, G. Czech. Generic workflows - A utility to govern disastrous situations. In B. Thalheim, H. Jaakkola, Y. Kiyoki (editors), Proceedings of the International Conference on Information Modelling and Knowledge Bases (EJC 2014), Kiel Computer Science Series (KCSS), volume 2014/4, pages 473-485, June, 2014.
F. Kossak. Landing gear system: An ASM-based solution for the ABZ case study. In F. Boniol, V. Wiels, Y. Ait-Ameur, K. Schewe (editors), ABZ 2014: The Landing Gear Case Study - Case Study Track at ABZ 2014, Communications in Computer and Information Science, volume 433, pages 142-147, Springer, June, 2014.
M. Biró. Open services for software process compliance engineering (invited paper). In V. Geffert, B. Preneel, B. Rovan, J. Štuller, A. Tjoa (editors), SOFSEM 2014: Theory and Practice of Computer Science, Lecture Notes in Computer Science, volume 8327, pages 1-6, Springer, January, 2014.
H. Ma, K. Schewe. Query handling in geometric conceptual modelling. In T. Tokuda, Y. Kiyoki, H. Jaakkola, N. Yoshida (editors), Information Modelling and Knowledge Bases XXV, Frontiers in Artificial Intelligence and Applications, volume 250, pages 174-189, IOS Press, February, 2014.
J. Martínez Gil, G. Chasparis, B. Freudenthaler, T. Natschläger. Realistic user behavior modeling for energy saving in residential buildings. In F. Morvan, R. Wagner, A. Tjoa (editors), Proceedings of the 25th International Workshop on Database and Expert Systems Applications - DEXA 2014, pages 121-125, CPS, September, 2014.
T. Kriechbaum, G. Buchgeher, R. Weinreich. Service development and architecture management for an enterprise SOA. In P. Avgeriou, U. Zdun (editors), Software Architecure - Proc. ECSA 2014, Lecture Notes of Computer Science, volume 8627, pages 186-201, Springer, August, 2014.
C. Salomon, G. Buchgeher, R. Ramler, M. Lusser. Sherlock: A tool prototype for change-based regression testing. In D. Wuksch, B. Peischl, C. Kop (editors), ASQT 2013 - Selected Topics to the User Conference on Software Quality, Test and Innovation 2013, books@ocg.at, volume 303, pages 33-36, OCG, May, 2014.
R. Messnarz, M. Sicilia, M. Biró, E. García-Barriocanal, M. Garre-Rubio, K. Siakas, A. Clarke. Social responsibility aspects supporting the success of SPI. Journal of Software: Evolution and Process, Special Issue: Software Process Assessment and Improvement (EuroSPI 2011), volume 26, number 3, pages 284-294, March, 2014.
E. Börger, K. Schewe. Specifying transaction control to serialize concurrent program executions. In Y. Ait-Ameur, K. Schewe (editors), Abstract State Machines, Alloy, B, TLA, VDM, and Z - Proc. ABZ 2014, Lecture Notes of Computer Science, volume 8477, pages 142-157, DOI 10.1007/978-3-662-43652-3 13, Springer, June, 2014.
F. Stallinger, R. Plösch. Towards methodological support for the engineering of process reference models for product software. In A. Mitasiunas, T. Rout, R. O'Connor, A. Dorling (editors), Software Process Improvement and Capability Determination - Proc. SPICE 2014, Communications in Computer and Information Science, volume 477, pages 24-35, November, 2014.
C. Klammer, J. Pichler. Towards tool support for analyzing legacy systems in technical domains. In S. Demeyer, D. Binkley, F. Ricca (editors), Proceedings of the IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE), pages 371-374, IEEE, February, 2014.
I. Philipp, W. Platz, R. Ramler. Value-driven testing: The inner value of test cases. In D. Wuksch, B. Peischl, C. Kop (editors), ASQT 2013 - Selected Topics to the User Conference on Software Quality, Test and Innovation 2013, books@ocg.at, volume 303, pages 70-72, OCG, May, 2014.
R. Ramler, T. Kopetzky, W. Platz. A business view on testing ERP Systems with value-based requirements coverage. In F. Piazolo, M. Felderer (editors), Innovation and Future of Enterprise Information Systems - Proc. ERP Future 2012 (Revised Papers), Lecture Notes in Information Systems and Organisation, volume 4, pages 219-234, Springer, June, 2013.
T. Schweigert, D. Vohwinkel, M. Korsaa, R. Nevalainen, M. Biró. Agile maturity model: A synopsis as a first step to synthesis. In F. McCaffery, R. O'Connor, R. Messnarz (editors), Systems, Software and Services Process Improvement - Proc. EuroSPI 2013, Communications in Computer and Information Science, volume 364, pages 214-227, Springer, June, 2013.
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, volume 133, pages 215-229, Springer, Januray, 2013.
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, volume 133, pages 10-29, Springer, January, 2013.
C. Artho, A. Biere, M. Hagiya, R. Potter, R. Ramler, Y. Tanabe, F. Weitl, M. Yamamoto. Modbat: A model-based API tester for event-driven systems. Proceedings of the 10th JSSST Dependable System Workshop (DSW 2012), pages electronical, January, 2013.
G. Stübl, B. Moser, J. Scharinger. On approximate nearest neighbor field algorithms in template matching for surface quality inspection. In R. Moreno-Díaz, F. Pichler, A. Quesada-Arencibia (editors), Computer Aided Systems Theory - EUROCAST 2013, Revised Selected Papers, Part II, Lecture Notes in Computer Science, volume 8112, pages 79-86, Springer, December, 2013.
B. Moser, F. Eibensteienr, J. Kogler, G. Stübl. On the relevance of discrepancy norm for similarity-based clustering of delta-event-sequences. In R. Moreno-Díaz, F. Pichler, A. Quesada-Arencibia (editors), Computer Aided Systems Theory - EUROCAST 2013, Revised Selected Papers, Part I, Lecture Notes in Computer Science, volume 8111, pages 84-91, Springer, December, 2013.
A. Kosorus, M. Zhariy, T. Natschläger, B. Freudenthaler, J. Küng. On the relevance of graphical causal models for failure detection for industrial machinery. In R. Moreno-Díaz, F. Pichler, A. Quesada-Arencibia (editors), Computer Aided Systems Theory - EUROCAST 2013, Revised Selected Papers, Part I, Lecture Notes in Computer Science, volume 8111, pages 174-181, Springer, December, 2013.
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. de Boer, M. Bonsangue (editors), Formal Methods for Components and Objects - Proc. FMCO 2011, Lecture Notes in Computer Science, volume 7542, pages 237-256, Springer, January, 2013.
G. Stübl, P. Haslinger, V. Wieser, J. Scharinger, B. Moser. Periodicity estimation of nearly regular textures based on discrepancy norm. In P. R. Bingham, E. Y. Lam (editors), Proceedings SPIE 8661, Image Processing: Machine Vision Applications VI, pages 866106 doi:10.1117/12.2002396, SPIE, March, 2013.
A. Köhlein, B. Böhm, J. Elger, N. Gewald, F. Stallinger, R. Neumann, R. Plösch, P. Hehenberger. Potentials of mechatronic objects for improving mechatronic engineering: Results and insights from an online survey. Proceedings of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA2012), pages DOI: 10.1109/ETFA.2012.6489666, IEEE Xplore, May, 2013.
C. Lettner, M. Pichler, W. Kirchmayr, F. Kokert, M. Habringer. RDFreduce: Customized aggregations with provenance for RDF data based on an industrial use case. In E. Weippl, M. Indrawan-Santiago, M. Steinbauer, G. Kotsis, I. Khalil I. (editors), Proceedings of the 5th International Conference on Information Integration and Web-based Applications & Services - iiWAS 2013, pages 336-340, December, 2013.
M. Karsaa, J. Johansen, T. Schweigert, D. Vohwinkel, R. Messnarz, R. Nevalainen, M. Biró. The people aspects in modern process improvement management approaches. Journal of Software: Evolution and Process, Special Issue: Selected Industrial Experience Papers of EuroSPI 2010, volume 25, number 4, pages 381-391 DOI: 10.1002/smr.570, April, 2013.
D. Auer, D. Draheim, T. Kopetzky, V. Geist, J. Küng, C. Natschläger. Towards a framework and platform for mobile, distributed workflow enactment services on a possible future of ERP infrastructure. In F. Piazolo, M. Felderer (editors), Innovation and Future of Enterprise Information Systems - Proc. ERP Future 2012 (Revised Papers), Lecture Notes in Information Systems and Organisation, volume 4, pages 201-215, Springer, June, 2013.
K. Schewe, Q. Wang. A simplified parallel ASM thesis. In J. Derrick et al. (editors), Abstract State Machines, Alloy, B, VDM, and Z - Proc. ABZ 2012, Lecture Notes in Computer Science, volume 7316, pages 341-344, Springer, June, 2012.
J. Bouchot, G. Stübl, B. Moser. A template matching approach based on the discrepancy norm for defect detection on regularly textured surfaces. In J. Pinoli, J. Debayle, Y. Gavet, F. Gruy, C. Lambert (editors), Proceedings of the 10th International Conference on Quality Control by Artificial Vision (QCAV'2011), volume 800, pages DOI: 10.1117/12.889865, SPIE, May, 2012.
J. Ma, K. Schewe. A temporalised belief logic for reasoning about authentication protocols. In G. Min, Y. Wu, L. Liu, X. Jin, S. Jarvis, A. Al-Dubai (editors), Proceedings of the 11th IEEE International Conference on Ubiquitous Computing and Communications (IUCC 2012), pages 1721-1728, IEEE, June, 2012.
R. Nevalainen, T. Schweigert, D. Vohwinkel, M. Korsaa, M. Biró. Agile maturity model: Oxymoron or the next level of understanding. In A. Mas, A. Mesquida, T. Rout, R. O'Connor, A. Dorling (editors), Software Process Improvement and Capability Determination - Proc. SPICE 2012, Communications in Computer and Information Science, volume 290, pages 289-297, Springer, May, 2012.
R. Ramler, T. Kaspar. Applicability and benefits of mutation analysis as an aid for unit testing. In K. D. Kwack, S. Kawata, S. Hwang, D. Han, F. Ko (editors), Proceedings of the 7th International Conference on Computing and Convergence Technology ICCCT2012 (ICCIT, ICEI and ICACT), pages 920-925, IEEE, December, 2012.
R. Ramler, T. Natschläger. Applying heuristic approaches for predicting defect-prone software components. In R. Moreno-Diaz, F. Pichler, A. Quesada (editors), Computer Aided Systems Theory - Proc. EUROCAST 2011, Part I, Lecture Notes in Computer Science, volume 6927, pages 384-391, Springer, February, 2012.
R. Stumptner, B. Freudenthaler, M. Krenn. BIAccelerator - A template-based approach for rapid ETL development. In L. Chen, A. Felfernig, J. Liu, Z. Ras (editors), Foundations of Intelligent Systems - Proc. ISMIS 2012, Lecture Notes in Computer Science, volume 7661, pages 435-444, Springer, December, 2012.
V. Wieser, B. Moser, S. Scholz, S. Herhut, J. Guo. Combining high productivity and high performance in image processing using single assignment C. In J. Pinoli, J. Debayle, Y. Gavet, F. Gruy, C. Lambert (editors), Proceedings of the 10th International Conference on Quality Control by Artificial Vision (QCAV'2011), volume 8000, pages DOI: 10.1117/12.890920, SPIE, May, 2012.
V. Wieser, C. Grelck, J. Guo, P. Haslinger, F. Korzeniowski, B. Moser, S. Scholz. Combining high productivity and high performance in image processing using single assignment C on multi-core CPUs and many-core GPUs. Journal of Electronic Imaging, volume 21, number 2, pages DOI: 10.1117/1.JEI.21.2.021116, July, 2012.
A. Düsterhöft, M. Klettke, K. Schewe. Dedication to a theory of modelling. In A. Düsterhöft, M. Klettke, K. Schewe (editors), Conceptual Modelling and Its Theoretical Foundations - Essays Dedicated to Bernhard Thalheim on the Occasion of his 60th Birthday, Lecture Notes in Computer Science, volume 7260, pages 1-6, Springer LNCS Festschrift, February, 2012.
G. Stübl, J. Bouchot, P. Haslinger, B. Moser. Discrepancy norm as fitness function for defect detection on regularly textured surfaces. In A. Prinz, T. Pock, H. Bischof, F. Leberl (editors), Pattern Recognition - Proc. DAGM and OAGM 2012, Lecture Notes in Computer Science, volume 7476, pages 428-437, Springer, August, 2012.
B. Scheuermann, K. Hammond, A. Shaferenko, C. Jesshope, H. Hertlein, V. Wieser, P. Hölzenspies, R. Kirner, T. Iraneus. Engineering concurrent software guided by statistical performance analysis. In K. De Bosschere, E. D'Hollander, G. Joubert, D. Padua, F. Peters (editors), Applications, Tools and Techniques on the Road to Exascale Computing, Advances in Parallel Computing, volume 22, pages 385-394, IOS Press, May, 2012.
J. Mattes, A. Chemelli, M. Wick, D. Soimu, C. Pontow, A. Lopez, M. Netzer, I. Chemelli-Steingruber. Evaluation of a new computerized analysis system developed for the processing of CT follow-up scans after EVR of infrarenal aneurysm. European journal of radiology, volume 81, number 3, pages 496-501, March, 2012.
F. Kossak, C. Illibauer, V. Geist. Event-based gateways: Open questions and inconsistencies. In J. Mendling, M. Weidlich (editors), Business Process Model and Notation - Proc. BPMN 2012, Lecture Notes in Business Information Processing, volume 125, pages 53-67, Springer, September, 2012.
F. Stallinger, R. Neumann. Extending ISO/IEC 12207 with software product management: A process reference model proposal. In A. Mas, A. Mesquida, T. Rout, R. O'Connor, A. Dorling (editors), Software Process Improvement and Capability Determination - Proc. SPICE 2012, Communications in Computer and Information Science, volume 290, pages 93-106, Springer, May, 2012.
G. Buchgeher, R. Weinreich, C. Miesbauer, T. Kriechbaum. Extracting and facilitating architectures in service-oriented software systems. In G. Buchgeher, R. Weinreich, C. Miesbauer, T. Kriechbaum (editors), Proceedings of the 2012 Joint 10th Working Conference on Software Architectures & 6th European Conference on Software Architecture (WICSA/ECSA 2012), pages 81-90, IEEE Computer Society, August, 2012.
V. Wieser, C. Grelck, H. Schöner, P. Haslinger, K. Bosa, B. Moser. GPU-based image processing unse cases: A high-level approach. In K. De Bosschere, E. D'Hollander, G. Joubert, D. Padua, F. Peters (editors), Applications, Tools and Techniques on the Road to Exascale Computing, Advances in Parallel Computing, volume 22, pages 199-206, IOS Press, May, 2012.
H. Schöner, F. Bauer, A. Dorrington, B. Heise, V. Wieser, A. Payne, M. Cree, B. Moser. Image processing for 3D-scans generated by time of flight range cameras. SPIE Journal of Electronic Imaging, volume 21, number 2, pages http://dx.doi.org/10.1117/1.JEI.21.2.023012, May, 2012.
D. Winkler, M. Schmidt, R. Ramler, S. Biffl. Improving unfamiliar code with unit tests: An empirical investigation on tool-supported and human-based testing. In O. Dieste, A. Jedlitschka, N. Juristo (editors), Product-Focused Software Process Improvement - Proc. PROFES 2012, volume 7373, pages 290-304, Springer, June, 2012.
M. Felkl, T. Kazmar, M. Šmid, J. Mattes, R. Windoffer, R. Leube. Monitoring the cytoskeletal EGF response in live gastric carcinoma cells. PLoS ONE, volume 7, number 9, pages doi:10.1371/journal.pone.0045280, September, 2012.
K. Matouše, P. Kremen, J. Küng, R. Stumptner, S. Anderlik, B. Freudenthaler. On transforming a knowledge base from topic maps to OWL. In R. Moreno-Diaz, F. Pichler, A. Quesada (editors), Computer Aided Systems Theory - Proc. EUROCAST 2011, Part I, Lecture Notes in Computer Science, volume 6927, pages 208-215, Springer, February, 2012.
C. Natschläger, V. Geist, F. Kossak, B. Freudenthaler. Optional activities in process flows. In S. Rinderle-Ma, M. Weske (editors), Proceedings of EMISA 2012 Der Mensch im Zentrum der Modellierung, volume P-206, pages 67-80, Gesellschaft für Informatik e.V., September, 2012.
B. Böhm, N. Gewald, A. Köhlein, J. Elger, F. Stallinger, R. Neumann, R. Plösch, P. Hehenberger. Roadmap für die Entwicklung Mechatronischer Objekte: Ergebnisse einer Expertenumfrage. Proceedings of the 13. Branchentreff der Mess- und Automatisierungstechnik (Automation 2012), volume VDI-Berichte 2171, pages 15-18, VDI Verlag, June, 2012.
R. Ramler, H. Lacheiner, A. Kern. Rule-based detection of process conformance violations in application lifecycle management. In D. Winkler, R. O'Connor, R. Messnarz (editors), Systems, Software and Service Process Improvement - Proc. EuroSPI 2012, Communications in Computer and Information Science, volume 301, pages 37-48, Springer, June, 2012.
K. Schewe, Q. Wang. Synchronous parallel database transformations. In T. Lukasiewicz, A. Sali (editors), Foundations of Data and Knowledge Systems, Proc. FoIKS 2012, Lecture Notes in Computer Science, volume 7153, pages 370-383, Springer, March, 2012.
M. Korsaa, M. Biró, R. Messnarz, J. Johansen, D. Vohwinkel, R. Nevalainen, T. Schweigert. The SPI manifesto and the ECQA SPI manager certification scheme. Journal of Software: Evolution and Process, Special Issue: Software, Systems and Service Process Improvement (EuroSPI 2009), volume 24, number 5, pages 525-540 DOI: 10.1002/smr.502, August, 2012.
Third International Workshop on Conceptual. In K. Schewe, Q. Wang (editors), Advances in Conceptual Modeling - Proc. ER 2012 Workshops CMS, ECDM-NoCoDA, MODIC, MORE-BI, RIGIM, SeCoGIS, WISM, Lecture Notes in Computer Science, volume 7518, pages 1-2, Springer, October, 2012.
Using GPS trajectories to create a dynamic network of significant locations as an abstraction of road maps. In R. Moreno-Diaz, F. Pichler, A. Quesada (editors), Computer Aided Systems Theory - Proc. EUROCAST 2011, Part I, Lecture Notes in Computer Science, volume 6927, pages 161-168, Springer, February, 2012.
B. Scheuermann, K. Hammond, A. Shafarenko, C. Jesshope, H. Hertlein, V. Wieser, H. Schöner, B. Moser, R. Kirner, T. Boekhorst Iraneus. Concurrent software engineering on multicore systems supported by statistical performance analysis. Technical Report, KVS, September, 2011.
C. Natschläger. Deontic BPMN. In A. Hameurlain, S. W. Liddle, K. Schewe, X. Zhou (editors), Database and Expert Systems Applications (Proceedings DEXA 2011), Lecture Notes in Computer Science, volume 6861, pages 264-278, Springer, August/September, 2011.
B. Moser, G. Stübl, J. Bouchot. On a non-monotonicity effect of similarity measures. In M. Pelillo, E. R. Hancock (editors), Similarity-Based Pattern Recognition, 1st International Workshop, SIMBAD 2011, Lecutre Notes in Computer Science, volume 7005, pages 46-60, Springer, September, 2011.
F. Stallinger, R. Neumann, J. Vollmar, R. Ploesch. Reuse and product-orientation as key elements for systems engineering: Aligning a reference model for the industrial solutions business with ISO/IEC 15288. In D. Raffi, D. Pfhal, L. Zhang (editors), Proceedings of the International Conference on Software and Systems Process (ICSSP 2011), pages 120-128, ACM, May, 2011.
W. Beer, A. Wagner. Smart Books - Adding context-awareness and interaction to electronic books. In D. Taniar, E. Pardede, H. Nguyen, W. Rahayu, I. Khalil (editors), Proceedings of the 9th International Conference on Advances in Mobile Computing & Multimedia (MoMM-2011), pages 218-222, ACM, December, 2011.
K. Schewe, B. Thalheim. Web information systems protfolio - A contribution to pragmatics. In J. Filipe, J. Cordeiro (editors), Proceedings of the 6th International Conference Web Information Systems and Technologies (WEBIST 2010), Revised Selected Papers, Lecture Notes in Business Information Processing, volume 75, pages 147-161, Springer, August, 2011.
S. Anderlik, R. Stumptner, B. Freudenthaler, M. Fritz. A proposal on ontology-based integration of heterogeneous decision support systems for structural health monitoring. In G. Kotsis, D. Taniar, E. Pardede, I. Saleh, I. Khalil (editors), Proceedings of the The 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS2010), pages 166-173, ACM, November, 2010.
G. Pirklbauer. Empirical evaluation of strategies to detect logical change dependencies. In J. Leeuwen, A. Muscholl, D. Peleg, J. Pokorny, B. Rumpe (editors), SOFSEM 2010: Theory and Practice of Computer Science, volume 5901, pages 651-662, Springer, January, 2010.
T. Natschläger, T. Steinmaurer, B. Freudenthaler, B. Moser, W. Traunmüller, R. Spolwind, M. Wallnöfer. Energieeffizienz durch Prozess- und Datenanalyse in verteilten mechatronischen Systemen. Tagungsband Industrielles Symposium Mechatronik Automatisierung (ISM 2010), pages on CD, Mechatronik-Cluster, November, 2010.
W. Beer. GeoPointer - Approaching tangible augmentation of the real world. In G. Kotsis, D. Taniar, E. Pardede, I. Awan, I. Saleh, I. Khalil (editors), Proceedings of the 8th International Conference on Advances in Mobile Computing & Multimedia (MoMM2010), pages 229-233, ACM, November, 2010.
R. Weinreich, G. Buchgeher. Integrating requirements and design decisions in architecture representation. In M. Ali Babar, I. Gorton (editors), Software Architecture, Proceedings ECSA 2010, Lecture Notes in Computer Science, volume 6285, pages 86-101, Springer, August, 2010.
W. Putschögl, B. Dorninger. Modelling interactions for automatic execution using UML activity diagrams. In G. Engels, D. Karamiannis, H. C. Mayr (editors), Proceegings of Modellierung 2010, GI-Edition Lecture Notes in Informatics, GI-Edition Lecture Notes in Informatics, volume P-161, pages 179-194, Gesellschaft für Informatik, March, 2010.
K. Rohr, W. Godinez, N. Harder, S. Wörz, J. Mattes, W. Tvaruskó, R. Eils. Tracking and quantitative analysis of dynamic movements of cells and particles. Cold Spring Harbor Protocol, volume 2010, number 6, pages doi:10.1101/pdb.top80, June, 2010.
H. Ma, K. Schewe. Using XML for cloud specification and Xquery for service discovery. In G. Kotsis, D. Taniar, E. Pardede, I. Saleh, I. Khalil (editors), Proceedings of the The 12th International Conference on Information Integration and Web-based Applications & Services (iiWAS2010), pages 124-131, ACM, November, 2010.
H. Ma, K. Schewe, B. Thalheim, Q. Wang. A Service-Oriented Approach to Web Warehousing. In G. Kotsis, D. Taniar, E. Pardede, I. Khalil (editors), Proceedings of the 11th International Conference on Information Integration and Web-based Applications and Services, pages 94-101, ACM and Austrian Computer Society, 2009.
W. Beer, W. Kurschl, F. Matusek, S. Mitsch, B. Moser, T. Natschläger, J. Schönböck, S. Sutor. Application development and management of smart camera networks. In A. Belbachir (editor), Smart Cameras, pages 259-266, Springer Berlin Heidelberg, November, 2009.
F. Stallinger, R. Plösch, G. Pomberger, J. Vollmar. Bridging the gap between ISO/IEC 15504 conformant process assessment and organizational reuse enhancement. In T. Rout, I. Porres, R. Nevalainen, B. Barafort (editors), Proceedings of the 9th International Conference on Software Process Improvement and Capability Determination (SPICE 2009), pages 7-14, TUCS General Publication No 54, May, 2009.
E. Klement, E. Lughofer, J. Himmelbauer, B. Moser. Data-driven and knowledge-based modeling. In B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (editors), pages 237-280, Springer, June, 2009.
H. Ma, K. Schewe, B. Thalheim. Geometrically Enhanced Conceptual Modelling. In A. Laender, S. Castano, U. Dayal, F. Casati, J. P. Moreira de Oliveira (editors), Conceptual Modeling - ER 2009, Lecture Notes in Computer Science, volume 5829, pages 219-233, Springer, 2009.
Hagenberg Reserach. In B. Buchberger, M. Affenzeller, A. Ferscha, M. Halller, T. Jebelean, E. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (editors), volume 1st Edition, Springer Dodrecht Heidelberg London New York, June, 2009.
Information and semantics in database and on the web. In B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (editors), pages 281-332, Springer, June, 2009.
R. Ramler, K. Wolfmaier, E. Stauder, F. Kossak, T. Natschläger. Key questions in building defect prediction models in practice. In F. Bomarius, M. Oivo, P. Jaring, P. Abrahamsson (editors), Key Questions in Building Defect Prediction Models in Practice - Proceedings 10th International Confercne PROFES 2009, Lecture Notes in Business Information Processing, volume 32, pages 14-27, Springer Berlin Heidelberg, June, 2009.
H. Ma, K. Schewe, B. Thalheim. Modelling and Maintenance of Very Large Database Schemata Using Meta-Structures. In J. Yang et al. (editors), Information Systems: Modeling, Development, and Integration, Proceedings UNISCON 2009, Lecture Notes in Business Information Processing, volume 20, pages 17-28, Springer, 2009.
K. Wolfmaier, R. Ramler, G. Guta, H. Dobler. Observable runtime behavior for defects indicated by automated static analysis. Computer Aided Systems Theory - EUROCAST 2009, Revised Selected Papers, Lecture Notes in Computer Science, volume 5717, pages 312-319, Springer, October, 2009.
Parallel, distributed, and grid computing. In B. Buchberger, B. Buchberger, M. Affenzeller, M. Affenzeller, A. Ferscha, A. Ferscha, M. Haller, M. Haller, T. Jebelean, T. Jebelean, E. Klement, E. Klement, P. Paule, P. Paule, G. Pomberger, G. Pomberger, W. Schreiner, W. Schreiner, R. Stubenrauch, R. Stubenrauch, R. Wagner, R. Wagner, G. Weiß, G. Weiß, W. Windsteiger, W. Windsteiger (editors), pages 333-378, Springer, June, 2009.
G. Weiß, G. Pomberger, W. Beer, G. Buchgeher, B. Dorninger, J. Pichler, H. Prähofer, R. Ramler, F. Stallinger, R. Weinreich. Software engineering - processes and tools. In B. Buchberger, M. Affenzeller, A. Ferscha, M. Haller, T. Jebelean, E. Klement, P. Paule, G. Pomberger, W. Schreiner, R. Stubenrauch, R. Wagner, G. Weiß, W. Windsteiger (editors), pages 157-236, Springer, June, 2009.
J. Speer, M. Kirchberg, F. Riaz-ud-Din, K. Schewe. Solving the Golden Transaction Problem for ARIES-based Multi-level Recovery. In A. Bouguettaya, X. Lin (editors), Proceedings of the 20th Australasian Database Conference (ADC), Conferences in Research and Practice in Information Technology, volume 92, pages 19-28, Australian Computer Society Inc., 2009.
H. Schöner, B. Moser, A. Dorrington, A. Payne, M. Cree, B. Heise, F. Bauer. A clustering based denoising technique for range images of time of flight cameras. In M. Masoud Mohammadian (editor), Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA 2008),, pages 989-994, IEEE Computer Society, December, 2008.
D. Wahyudin, R. Ramler, S. Biffl. A framework for defect prediction in specific software project contexts. In Z. Huzar, R. Koci, B. Meyer, B. Walter, J. Zendulka (editors), Software Engineering Techniques - 3rd IFIP TC2 Central and East European Conference in Software Engineering Techniques, Revised Selected Papers, Lecture Notes in Computer Science, volume 4980, pages 261-274, Springer, Juni, 2008.
J. Mattes, J. Gall, A. Lopez. A maximal mass confinement principle for rigid and locally rigid image registration. In D. Axel, L. Fichtinger, G. Szekely (editors), Proc. MICCAI 2008, Lecture Notes in Computer Science, volume 5242, pages 1058-1065, Springer, September 2008, 2008.
M. Kirchberg, F. Riaz-ud-Din, K. Schewe. A Query Language for Rational Tree Structures. In R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (editors), Information Systems and e-Business Technologies (Proc. UNISCON 2008), Lecture Notes in Business Information Processing, volume 5, pages 457-468, Springer, 2008.
W. Hargassner, T. Hofer, C. Klammer, J. Pichler, G. Reisinger. A script-based testbed for mobile software frameworks. Proceedings First International Conference on Software Testing, Verification, and Validation, pages 448-457, CPS, April, 2008.
W. Kurschl, W. Gottesheim, S. Mitsch, R. Prokop, J. Schönböck, W. Beer. A two layered deployment schema for wireless sensor network based location tracking. In S. Latifi (editor), Proceedings Fifth International Conference on Information Technology : New Generations (ITNG 2008), pages 726-730, IEEE Computer Society, April, 2008.
H. Ma, K. Schewe, B. Thalheim, Q. Wang. Abstract State Services - A Theory of Web Services. In I. Song et al. (editors), Advances in Conceptual Modeling - Challenges and Opportunities, ER 2008 Workshops, Lecture Notes in Computer Science, volume 5232, pages 406-415, Springer, 2008.
B. Thalheim, K. Schewe. ASM Foundations of Database Management. In R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (editors), Information Systems and e-Business Technologies (Proc. UNISCON 2008), invited paper, Lecture Notes in Business Information Processing, volume 5, pages 318-331, Springer, 2008.
A. Lopez, K. Fritscher, T. Trieb, R. Schubert, J. Mattes. Cardiac 4D image sequence registration. In A. Kuijper, B. Heise, L. Muresan (editors), Proceedings of 32nd Workshop of the Austrian Association for Pattern Recogntion (AAPT/OAGM), Challenges in the Biosciences: Image Analysis and Pattern Recognition Aspects, pages 53-62, OCG, May, 2008.
B. Moser, F. Bauer, P. Elbau, B. Heise, H. Schöner. Denoising techniques for raw 3D data of TOF cameras based on clustering and wavelets. In B. D. Corner, M. Mochimaru, R. Sitnik (editors), Electronic Proceedings of Electronic Imaging 2008, Three-Dimensional Image Capture and Applications 2008, volume 6805, pages doi: 10.1117/12.765541, January, 2008.
K. Schewe, B. Thalheim. Facets of Media Types. In R. Kaschek, C. Kop, C. Steinberger, G. Fliedl (editors), Information Systems and e-Business Technologies (Proc. UNISCON 2008), invited paper, Lecture Notes in Business Information Processing, volume 5, pages 296-305, Springer, 2008.
W. Kurschl, W. Gottesheim, S. Mitsch, R. Prokop, J. Schönböck, W. Beer. Large-scale industrial positioning and location tracking, are we there yet?. Proceedings of the 7th International Conference on Mobile Business (ICMB'08), pages 251-259, IEEE Computer Society, July, 2008.
B. Moser, H. Schöner, A. Dorrington, M. Cree, D. Carnegie, F. Bauer, B. Heise. Potential von Time Of Flight Kameras für industrielle Anwendungen. Tagungsband Industrielles Symposium Mechatronik Automatisierung, pages 275-277, Clusterland Oberösterreich GmbH / Mechatronik-Cluster, October, 2008.
C. Gonzalez-Morcillo, G. Weiß, L. Jimenez, D. Vallejo, J. Albusac. A multiagent system for physically bades rendering optimization. Proc. 11th Int. Workshop on Cooperative Information Agents (CIA 2007), Lecture Notes in Computer Science, volume 4676, pages 149-163, Springer, September, 2007.
M. Himsl, D. Jabornig, W. Leithner, P. Regner, T. Wiesinger, J. Küng, D. Draheim. An Iterative process for adaptive meta- and instance modeling. In R. Wagner, N. Revell, G. Pernul (editors), Proc. 18th Int. Conf. on Database and Expert Systems Applications - DEXA 2007, Lecture Notes in Computer Science, volume 4653, pages 519-528, Springer, September, 2007.
V. Wieser, F. Kossak, S. Larndorfer, B. Moser. High performance surface inspection method for thin-film sensors. In F. Meriaudeau, K. S. Niel (editors), Machine Vision Applications in Industrial Inspection XV, Electronic Imaging 2007 Proc, Electronic Imaging 2007 Proc., volume 6503, January/February, 2007.
W. Narzt, G. Pomberger, D. Kolb, J. Wieghardt, H. Hörtner, R. Haring, U. Wilflingseder, O. Seimel. Self-organization in traffic networks by digital pheromones. Proc. 10th Int. IEEE Conf. on Intelligent Transportation Systems, pages 490-495, IEEE Computer Society, October 2007, 2007.
S. Larndorfer, R. Ramler, C. Federspiel, K. Lehner. Testing high-reliability software for continuous casting steel plants - experiences and lessons learned from Siemens VAI. In P. Müller, P. Liggesmeyer, E. Maehle (editors), Proc. 33rd EUROMICRO Conf. on Software Engineering and Advanced Applications (SEAA 2007), pages 255-262, IEEE Computer Society, August, 2007.
D. Draheim, P. Thiemann, G. Weber. A spreadsheet client for web applications. In O. Etzion, T. Kuflik, A. Motro (editors), Next Generation Information Technologies and Systems - Proc. 6th Int. Conf. NGITS 2006, Lecture Notes in Computer Science, volume 4032, pages 186-197, Springer, July, 2006.
F. Fischer, M. Rovatsos, G. Weiß. Adaptiveness in agent communication: Application and adaptation of conversation patterns. In F. Dignum, R. van Eijk, R. Flores (editors), Agent Communication II, Lecture Notes in Computer Science, volume 3859, pages 211-226, Springer, 2006.
S. Saminger, U. Bodenhofer, E. Klement, R. Mesiar. Aggregation of fuzzy relations and preservation of transitivity. In H. de Swart, E. Orlowska, M. Roubens. G. Schmidt (editors), Theory and Applications of Relationals Strucutes as Knowledge Instruments II, Lecture Notes in Computer Science, volume 4342, pages 185-206, Springer, 2006.
U. Bodenhofer, J. Küng, S. Saminger. Flexible query answering using distance-based fuzzy relations. In H. de Swart, E. Orlowska, M. Roubens. G. Schmidt (editors), Theory and Applications of Relationals Strucutes as Knowledge Instruments II, Lecture Notes in Computer Science, volume 4342, pages 207-228, Springer, 2006.
U. Bodenhofer, B. De Baets, J. Fodor. General representation theorems for fuzzy weak orders. In H. de Swart, E. Orlowska, M. Roubens. G. Schmidt (editors), Theory and Applications of Relationals Strucutes as Knowledge Instruments II, Lecture Notes in Computer Science, volume 4342, pages 229-244, Springer, 2006.
G. Weiß, F. Fischer, M. Nickels, M. Rovatsos. Operational modeling of agent autonomy: Theoretical aspects and a formal language. In J. Müller, F. Zambonelli (editors), Agent-Oriented Software Engineering VI, Lecture Notes in Computer Science, volume 3950, pages 1-15, Springer-Verlag, 2006.
R. Ramler, K. Wolfmaier, E. Weippl. From maintenance to evolutionary development of web applications: A pragmatic approach. In N. Koch, P. Fraternali, M. Wirsing (editors), Proc. 4th Int. Conf. on Web Engineering (ICWE 04), Lecture Notes in Computer Science, volume 3140, pages 287-299, Springer, 2004.
O. Mangisengi, W. Essmayr, J. Huber, E. Weippl. XML-based OLAP query processing in federated data warehouses. In O. Camp, J. Filipe, S. Hammoudi, M. Piattini (editors), Enterprise Information Systems V, pages 93-100, Kluwer Academic Publishers, 2004.
U. Bodenhofer, P. Bauer. A formal model of interpretability of linguistic variables. In J. Casillas, O. Cordón, F. Herrera, L. Magdalena (editors), Interpretability Issues in Fuzzy Modeling, Studies in Fuzziness and Soft Computing, volume 128, pages 524-545, Springer, 2003.
R. Ramler, G. Czech, D. Schlosser. Unit testing beyond a bar in green and red. In M. Marchesi, G. Succi (editors), Proc. 4th Int. Conf. XP 2003: Extreme Programming and Agile Processes in Software Engineering, Lecture Notes in Computer Science, volume 2675, pages 319-321, Springer, May, 2003.
O. Mangisengi, W. Essmayr, J. Huber, E. Weippl. XML-based OLAP query processing in a federated data warehouses. In O. Camp, J. Filipe, S. Hammoudi, M. Piattini (editors), Proc. 5th Int. Conf. on Enterprise Information Systems (ICEIS'03), volume I, pages 71-78, April, 2003.
C. Artelsmair, W. Essmayr, P. Lang, R. Wagner, E. Weippl. CoSMo: An approach towards conceptual security modeling. In A. Hameurlain, R. Cicchetti, R. Traunmüller (editors), Proc. 13th Int. Conf. on Database and Expert Systems Applications (DEXA 2002)., Lecture Notes in Computer Science, volume 2453, pages 557-566, September, 2002.
G. Kappel, B. Pröll, W. Retschitzegger, W. Schwinger. Modeling ubiquitous web applications - The WUML approach. In H. Arisawa, Y. Kambayashi, V. Kumar, H. Mayr, I. Hunt (editors), Conceptual Modeling for New Information Systems Technologies, Lecture Notes in Computer Science, volume 2465, pages 183-197, Springer, 2002.
G. Kappel, W. Retschitzegger, E. Kimmerstorfer, B. Pröll, W. Schwinger, T. Hofer. Towards a generic customisation model for ubiquitous web applications. In D. Schwabe, O. Pastor, L. Olsina, G. Rossi (editors), Proc. 2nd Int. Workshop on Web-Oriented Technology (IWWOST2002) in conjunction with ECOOP 2002, pages 79-104, West Project, June, 2002.
E. Weippl, W. Essmayr, F. Gruber, W. Stockner, T. Trenker. Towards authentication using mobile devices: An investigation of the prerequisites. In B. Jerman-Blazic, T. Klobucar (editors), Advanced Communications and Multimedia Security, IFIP Int. Federation for Information Processin, volume 228, Kluwer Academic Publishers, 2002.
M. Burger, J. Haslinger, U. Bodenhofer. Tuning of fuzzy systems as an ill-posed problem. In M. Anile, V. Capasso, A. Greco (editors), Progress in Industrial Mathematics at ECMI 2000, Mathematics in Industry, volume 1, pages 493-498, Springer, 2002.
A. Finkelstein, A. Savigni, G. Kappel, W. Retschitzegger, E. Kimmerstorfer, B. Pröll, W. Schwinger, T. Hofer, C. Feichtner. Ubiquitous web application development - A framework for understanding. In N. Callaos, L. Hernandez-Encinas, F. Yetim (editors), Proc. 6th World MultiConf. on Systemics, Cybernetics and Informatics (SCI 2002), volume I: Information Systems Development I, pages 431-438, Int. Institute of Informatics and Systems, July, 2002.
T. Kutsia. Unification with sequence variables and flexible arity symbols and its extension with pattern-terms. In J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V. Sorge (editors), Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Lecture Notes in Artificial Intelligence, volume 2385, pages 290-305, Springer, 2002.
E. Weippl, I. Khalil Ibrahim. Using the web for distributed development of e-learning content. In N. Callaos, L. Hernandez-Encinas, F. Yetim (editors), Proc. 6th World MultiConf. on Systemics, Cybernetics and Informatics (SCI 2002), volume I: Information Systems Development I, pages 450-455, Int. Institute of Informatics and Systems, July, 2002.
G. Kappel, B. Pröll, W. Retschitzegger, W. Schwinger, T. Hofer. Modeling ubiquitous web applications - A comparison of approaches. In W. Winiwarter, S. Bressan, I. Ibrahim (editors), Proc. 3rd Int. Conf. on Information Integration and Web-Based Applications and Services (iiWAS 2001), pages 163-174, September, 2001.
L. Lukito, S. Loke, B. Srinivasan, A. Sajeev, I. Khalil Ibrahim. A context-based model for programming mobility. In F. Soesianto, S. Bressan, I. Khalil Ibrahim (editors), Proc. 2nd Int. Workshop on Information and Integration and Web-Based Applications and Services (iiWAS 2000), pages 127-141, September, 2000.
