Publikationen

Filter

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.

S. Vora, D. Kotsur, R. Windoffer, J. Mattes. A computational framework for simulating the dynamics of keratin filament networks. pages Abstract 15, September, 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.

H. Eghbal-zadeh, R. Vogl, G. Widmer, P. Knees. A GAN based drum pattern generation UI prototype. Proceedings of ISMIR2018 Late-Breaking Demos Session, pages https://drive.google.com/file/d/12uktQ77d7MNyuQdOUfNKrT6zNIaJ-HeY/view, September, 2018.

B. Moser. A novel fibonacci pattern in pascal's triangle. arXiv:1811.02085v1 [math.HO], November, 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.

C. Klammer, G. Buchgeher, A. Kern. A retrospective of production and test code co-evolution in an industrial project. In C. Artho, R. Ramler (editors), Proceedings of the 2nd Workshop on Validation, Analysis and Evolution of Software Tests (VST 2018), pages 16-20, IEEE, March, 2018.

S. Bonfanti, A. Gargantini, A. Mashkoor. A systematic literature review of the use of formal methods in medical software systems. A systematic literature review of the use of formal methods in medical software systems, volume early view, DOI: 10.1002/smr.1943, February, 2018.

S. Bonfanti, A. Gargantini, A. Mashkoor. A systematic literature review of the use of formal methods in medical software systems. Journal of Software: Evolution and Process, volume 30, number 5, pages e1943, DOI: 10.1002/smr.1943, May, 2018.

T. Böhm. A tool chain for analysis and model abstraction of C control programs. Diploma Thesis, Johannes Kepler University Linz, May, 2018.

J. Martinez Gil, A. Paoletti, G. Rácz, A. Sali, K. Schewe. Accurate and efficient profile matching in knowledge base. Data and Knowledge Engineering, volume 117, pages 195-215, DOI: 10.1016/j.datak.2018.07.010, September, 2018.

M. Dorfer, B. Lehner, H. Eghbal-zadeh, C. Heindl, F. Paischer, G. Widmer. Acoustic scene classification with fully convolutional neural networks and i-vectors. pages http://dcase.community/challenge2018/task-acoustic-scene-classification-results-a#technical-reports, July, 2018.

C. Artho, R. Ramler, M. Seidl, J. Yoneyama. Adaptations of API test case generation. Proceedings of the 30th Nordic Workshop on Programming Theory (NWPT'18), pages Report Nr. 485, University of Oslo, October, 2018.

R. Ramler, G. Buchgeher, C. Klammer. Adapting automated test generation to GUI testing of industry applications. Information and Software Technology, volume 93, pages 248-263, DOI: 10.1016/j.infsof.2017.07.005, January, 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.

M. Biró, R. Colomo-Palacios, R. Messnarz. Advances in system, software and service process improvement and innovation. Journal of Software: Evolution and Process, pages online first e2146, DOI: 10.1002/smr.2146, November, 2018.

P. Meloni, D. Loi, G. Deriu, A. Pimentel, D. Sapra, B. Moser, N. Shepeleva, F. Conti, L. Benini, O. Ripolles, D. Solans, M. Pintor, B. Biggio, T. Stefanov, S. Minakova, N. Fragoulis, I. Theodorakopoulos, M. Masin, F. Palumbo. ALOHA: An architectural-aware framework for deep learning at the edge. roceedings of the Workshop on INTelligent Embedded Systems Architectures and Applications (INTESA'18), pages 19-26, DOI 10.1145/3285017.3285019, ACM, October, 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.

A. Mashkoor, A. Egyed. Analysis of experiences with the engineering of a medical device using state-based formal methods. Proceedings of the 18th IEEE International Conference on Software Quality, Reliability, and Security (QRS 2018), pages 75-82, DOI 10.1109/QRS.2018.00021, IEEE, July, 2018.

G. Racz. Applications of data graphs. PhD thesis, Eötvös Loránd University/Faculty of Informatics, April, 2018.

R. Ramler, K. Klammer, G. Buchgeher. Applying automated test case generation in industry: A retrospective. Proceedings of the 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, pages 364-369, DOI 10.1109/ICSTW.2018.00074, IEEE, April, 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.

G. Chasparis. Aspiration-based perturbed learning automata. Proceedings of the 17th annual European Control Conference (ECC'18), pages 20-25, EUCA, June, 2018.

L. Ehrlinger, B. Werth, W. Wöß. Automated continuous data quality measurement with QuaIIe. International Journal on Advances in Software, volume 11, number 3&4, pages 400-417, December, 2018.

D. Kotsur, R. Yakobenchuk, J. Mattes, R. Leube, R. Windoffer. Automated detection, tracking and motion analysis of cytoskeletal keratin filaments in microscopic time-lapse fluorescence recordings. pages Poster No. 135, January, 2018.

J. Martinez Gil, B. Freudenthaler, T. Natschläger. Automatic recommendation of prognosis measures for mechanical components based on massive text mining (extended version). International Journal of Web Information Systems, volume 14, number 4, pages 480-494, DOI: 10.1108/IJWIS-04-2018-0029, December, 2018.

D. Kotsur, S. Vora, R. Leube, R. Windoffer, J. Mattes. Automatic segmentation and tracking of keratin filaments in. pages Abstract 14, September, 2018.

P. Wurm. Automatischer Softwaretest. Diploma Thesis, FH OÖ, June, 2018.

G. Czech, M. Moser, J. Pichler. Best practices for domain-specific modeling. A systematic mapping study. In T. Bures, L. Angelis (editors), Proceedings of the 44th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2018), pages 137-145, DOI 10.1109/SEAA.2018.00031, IEEE, August, 2018.

S. Sigurjonsson. Blockchain use for data provenance in scientific workflow. Diploma Thesis, KTH Royal Institute of Technology, July, 2018.

D. Lazic, F. Kromp, F. Rifatbegovic, L. Fischer, C. Ostalecki, I. Ambros, P. Ambros, S. Taschner-Mandl. Characterizing new tumor biomarkers and the microenvironment of the metastatic bone marrow niche in stage M neuroblastoma using quantitative imaging and deep-learning based feature extraction. pages Poster, October, 2018.

V. Precup. Cluster analysis for multivariate application performance management issues. Master thesis, Johannes Kepler University Linz, Master's Program Internationaler Universitätslehrgang Informatics: Engineering & Management, July, 2018.

J. Hilber. Data quality measurement in wide-column stores. Master thesis, Johannes Kepler University Linz, Computer Science, June, 2018.

O. Kupyn, V. Budzan, M. Mykhailych, D. Mishkin, J. Matas. DeblurGAN: Blind motion deblurring using conditional adversarial networks. Proceedings of the 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR 2018), pages 8183-8192, DOI 10.1109/CVPR.2018.00854, December, 2018.

L. Zhao. Deep learning based trajectory prediction and anomaly detection in crowds. Master thesis, Université Jean Monnet Saint-Etienne, June, 2018.

F. Kromp, S. Taschner-Mandl, M. Ambros, M. Berneder, L. Fischer, M. Feuerstein, A. Hanbury, I. Ambros, P. Ambros. Deep learning-based tool to analyze I-FISH spots in consecutive sections of heterogeneously amplified neuroblastoma tumors. May, 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.

H. Eghbal-zadeh, L. Fischer, N. Popitsch, F. Kromp, S. Taschner-Mandl, 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. Journal of Computational Biology, DOI: 10.1089/cmb.2018.0172, December, 2018.

H. Eghbal-zadeh, M. Dorfer, G. Widmer. Deep within-class covariance analysis for robust audio representation learning. Proceedings of NIPS 2018 Workshop Interpretability and Rubustness in Audio, Speech, and Language (IRASL), pages https://openreview.net/forum?id=S1giWPGsjQ, September, 2018.

J. Klespitz, M. Biró, L. Kovács. Demonstration of augmented lifecycle space in heterogeneous environment. Proceedings of the 2018 IEEE 16th World Symposium on Applied Machine Intelligence and Informatics (SAMI), pages 167-172, DOI 10.1109/SAMI.2018.8324007, IEEE, March, 2018.

H. Prähofer, T. Böhm, J. Pichler. Deriving a state model of a control program by symbolic execution. Proceedings of the IEEE 16th International Conference on Industrial Informatics (INDIN 2018), pages 754-759, DOI 10.1109/INDIN.2018.8472013, IEEE, September, 2018.

J. Klespitz. Design of processes supporting the development of medical devices. PhD thesis, Óbuda University/Applied Informatics and Applied Mathematics Doctoral School, February, 2018.

Editor of the theme issue on “Software Safety and Security Risk Mitigation in Cyber-Physical Systems”. In M. Biro, A. Mashkoor, J. Sametinger, R. Seker (editors), volume 35, January, 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.

V. Haunschmid, T. Natschläger. Enabling automated model maintenance by application-oriented model diagnostic measures. April, 2018.

A. Mashkoor, F. Kossak, A. Egyed. Evaluating the suitability of state‐based formal methods for industrial deployment. Journal of Software: Practice and Experience, DOI: 10.1002/spe.2634, September, 2018.

H. Thaller, R. Ramler, J. Pichler, A. Egyed. Exploring code clones in programmable logic controller software. Proceedings of the 2nd IEEE International Conference on Emerging Technologies And Factory Automation (ETFA 2017), pages IEEE Xplore, DOI 10.1109/ETFA.2017.8247574, IEEE, January, 2018.

F. Ferrarotti, J. Van den Bussche, J. Virtema. Expressivity within second-order transitive-closure logic. Proceedings of the 27th EACSL Annual Conference on Computer Science Logic (CSL 2018), Leibniz International Proceedings in Informatics (LIPICS), volume 119, pages 22:1-22:18, DOI 10.4230/LIPIcs.CSL.2018.22, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, September, 2018.

R. Leser, T. Hoch, X. Tan, B. Moser, G. Kellermayr, A. Baca. Finding efficient strategies in 3-versus-2 soccer small-sided games of youth soccer players. Kinesiology: International journal of fundamental and applied kinesiology, volume 51, number 1, pages https://hrcak.srce.hr/203816, July, 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.

R. Vogl, H. Eghbal-zadeh, G. Widmer, P. Knees. GANs and Poses: An interactive generative music installation controlled by dance moves. Proceedings of ISMIR2018 Interactive Machine-Learning for Music (IML4M) @Exhibition, pages http://ismir2018.ircam.fr/pages/events-exhibition.html,, September, 2018.

S. Bonfanti, A. Gargantini, A. Mashkoor. Generation of behavior-driven development C++ tests from abstract state machine scenarios. New Trends in Model and Data Engineering - Proc. MEDI 2018, Communications in Computer and Information Science, volume 929, pages 146-152, DOI 10.1007/978-3-030-02852-7_13, Springer, October, 2018.

S. Bonfanti, A. Gargantini, A. Mashkoor. Generation of C++ unit tests from abstract state machines specifications. volume Proceedings of the 2018 IEEE 11th International Conference on Software Testing, Verification and Validation Workshops, pages 185-193, DOI 10.1109/ICSTW.2018.00049, IEEE, April, 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.

R. Ramler, T. Wetzlmaier, R. Hochek. GUI scalability issues of Windows Desktop Applications and how to find them. Proceedings for the ISSTA/ECOOP 2018 Workshops, pages 63-67, DOI 10.1145/3236454.3236491, ACM, December, 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, Y. Ait-Ameur, M. Ouederni, A. Mashkoor. Handling reparation in incremental construction of realizable choreographies. New Trends in Model and Data Engineering - Proc. MEDI 2018, Communications in Computer and Information Science, volume 929, pages 159-166, DOI 10.1007/978-3-030-02852-7_15, October, 2018.

D. Arroyuelo, M. Oyarzún, S. González, V. Sepulveda. Hybrid compression of inverted lists for reordered document collections. Information Processing & Management, volume 54, number 6, pages 1308-1324, DOI: 10.1016/j.ipm.2018.05.007, November, 2018.

R. Yakobenchuk, D. Kotsur, G. Sakaeva, B. Hoffmann, R. Merkel, J. Mattes. Image analysis of cytoskeletal network dynamics. pages Poster No.12, February, 2018.

S. Brayer. Improvement of existing offline models using (censored) online data. Bachelor Thesis, Fachhochschul-Bachelorstudiengang Medizin- und Bioinformatik, September, 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.

K. Koutini, H. Eghbal-zadeh, G. Widmer. Iterative knowledge distillation in r-cnns for weakly-labeled semi-supervised sound event detection. In M. Plumbley, C. Kroos, J. Bello, G. Richard, D. Ellis, A. Mesaros (editors), Proceedings of the Detection and Classification of Acoustic Scenes and Events 2018 Workshop (DCASE2018), pages 173-177, Tampere University, November, 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.

R. Serizel, N. Turpault, H. Eghbal-zadeh, A. Parag Shah. Large-scale weakly labeled semi-supervised sound event detection in domestic environments. In M. Plumbley, C. Kroos, J. Bello, G. Richard, D. Ellis, A. Mesaros (editors), Proceedings of the Detection and Classification of Acoustic Scenes and Events 2018 Workshop (DCASE2018), pages 29-23, Tampere University, November, 2018.

G. Chasparis, V. Janjic, M. Roßbory, K. Hammond. Learning-based dynamic pinning of parallelized applications in many-core systems. January, 2018.

K. Sahni, D. Kotsur, G. Sakaeva, G. Dreissen, J. Mattes, B. Hoffmann, R. Merkel. Migration component dynamics in epithelial cell motility. pages Poster No.20, February, 2018.

K. Sahni, D. Kotsur, G. Sakaeva, G. Dreissen, J. Mattes, B. Hoffmann, R. Merkel. Migration component dynamics in epithelial cell motility. January, 2018.

K. Sahni, G. Dreissen, D. Kotsur, G. Sakaeva, J. Mattes, B. Hoffmann, R. Merkel. Migration component dynamics in epithelial cell motility. September, 2018.

H. Eghbal-zadeh, W. Zellinger, G. Widmer. Mixture density generative adversarial networks. Proceedings of NIPS 2018 Workshop Bayesian Deep Learning, pages http://bayesiandeeplearning.org/, September, 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.

M. Dorfer. Multimodal deep representation learning and its application to audio and sheet music. PhD thesis, Johannes Kepler University Linz, October, 2018.

B. Moser. On quasi-isometry of threshold-based sampling. arXiv:1811.01436v1 [eess.SP], November, 2018.

B. Moser. On the discrepancy normed space of event sequences for threshold-based sampling. arXiv:1806.06273v1 [math.MG], June, 2018.

D. Kotsur, R. Windoffer, R. Leube, S. Pereverzyev, J. Mattes. Parameters estimation of active contour models for the problem of automatic cellular filaments tracking. March, 2018.

G. Sakaeva, D. Kotsur, K. Sahni, G. Dreissen, J. Mattes, B. Hoffmann, R. Merkel. Polarized epithelial cell migration depends on rear end stress fiber tension. pages Poster No.4, February, 2018.

G. Sakaeva, D. Kotsur, K. Sahni, G. Dreissen, J. Mattes, B. Hoffmann, R. Hoffmann. Polarized epithelial cell migration depends on rear end stress fiber tension. January, 2018.

G. Sakaeva, D. Kotsur, K. Sahni, G. Dreissen, J. Mattes, B. Hoffmann, R. Merkel. Polarized epithelial cell migration depends on rear end stress fiber tension. pages Abstract 01, September, 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.

H. Thaller. Probablistic software modeling. pages https://arxiv.org/abs/1806.08942, June, 2018.

Proceedings of the 2nd Workshop on Validation, Analysis and Evolution of Software Tests (VST 2018). In C. Artho, R. Ramler (editors), IEEE, March, 2018.

G. Buchgeher, B. Dorninger, C. Klammer, A. Kern. Providing technical software documentation as a service - An industrial experience report. Proceedings of the 25th Asia-Pacific Software Engineering Conference (APSEC 2018), pages 581-590, DOI 10.1109/APSEC.2018.00073, IEEE, December, 2018.

L. Ehrlinger, B. Werth, W. Wöß. QuaIIe: A data quality assessment tool for integrated information systems. Proceedings of the 10th International Conference on Advances in Databases, Knowledge, and Data Applications (DBKDA 2018), pages 21-31, May, 2018.

J. Martínez Gil, B. Freudenthaler, T. Natschläger. Recommendation of job offers using random forests and support vector machines. Proceedings of the Workshops of the EDBT/ICDT 2018 Joint Conference (EDBT/ICDT 2018), CEUR Workshop Proceedings, volume 2083, pages 22-27, EUR-WS.org, March, 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.

N. Shepeleva, T. Hoch, L. Fischer, W. Kloihofer, B. Moser. Removing nuisance in tracklet data. In H. Bouma, R. Prabhu, R. Stokes, Y. Yitzjaky (editors), Counterterrorism, Crime Fighting, Forensics, and Surveillance Technologies II - Proc. SPIE 2018, volume 10802, pages 08020S, DOI 10.1117/12.2325636, SPIE, November, 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.

P. Praher, B. Freudenthaler, W. Schröder. Smart Maintenance - Unterstützung und Weiterentwicklung der Instandhaltung durch intelligente Datananalysen. Jahrbuch Instandhaltungstage 2018, pages 96-99, Leykam Buchverlag, April, 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.

M. Biró, A. Mashkoor, J. Sametinger, R. Seker. Software safety and security risk mitigation in cyber-physical systems. IEEE Software, volume 35, number 1, pages 24-29, January, 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.

S. Fischer. The structure of variable software and its use for testing. PhD thesis, Johannes Kepler University Linz, November, 2018.

D. Lazic, F. Kromp, F. Rifatbegovic, L. Fischer, C. Ostalecki, I. Ambros, P. Ambros, S. Taschner-Mandl. Towards characterizing new biomarkers for disseminated tumor cells and the microenvironment of the metastatic bone marrow niche in stage M neuroblastoma. pages Poster, October, 2018.

V. Geist, C. Natschläger, C. Illibauer, K. Schewe. Towards functional safety and security for adaptive and flexible business processes. Journal of Software: Evolution and Process, volume 30, number 5, pages e1952, DOI: 10.1002/smr.1952, May, 2018.

D. Kotsur, R. Yakobenchuk, R. Leube, R. Windoffer, J. Mattes. Tracking the dynamics of keratin filaments. pages Poster No.11, February, 2018.

Y. Taha. Trajectory prediction in the realm of sparse data. Diploma Thesis, Johannes Kepler University Linz, July, 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.

F. Sobieczky. Unimodularity in randomly generated graphs. Unimodularity in Randomly Generated Graphs (Unimodularity in Randomly Generated Graphs, October 8-9, 2016, Denver Colorado), Contemporary Mathematics, volume 719, DOI 10.1090/conm/719, AMS (American Mathematical Society), December, 2018.

S. Bonfanti, A. Gargantini, A. Mashkoor. Validation of transformation from abstract state machine models to C++ code. Testing Software and Systems - Proc. ICTSS 2018, Lecture Notes in Computer Science, volume 11146, pages 17-32, DOI 10.1007/978-3-319-99927-2_2, Springer, September, 2018.

E. Bozsaky, T. Gerber, F. Rifatbegovic, R. Abbasi, N. Popitsch, M. Kauer, L. Fischer, H. Eghbal-zadeh, K. Bühler, S. Alemzadeh, K. Matkovic, A. Kriegner, J. Palme, M. Dulovits, A. Hanbury, M. Lupu, A. Aziz Taha, A. Bampoulidis, C. Ostalecki, M. Kampel, M. Atanasov, M. Berneder, A. Ziegler, I. Ambros, S. Taschner-Mandl, P. Ambros. VISIOMICS - Platform supporting an integrated analysis of image and multiOMICs data for biology based advanced tumor diagnostics. October, 2018.

T. Fernando, N. Gureev, M. Zwick, T. Natschläger, M. Matskin. WorkflowDSL: Scalable workflow execution with provenance for data analysis applictions. Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC 2018), pages 774-779, DOI 10.1109/COMPSAC.2018.00115, IEEE, July, 2018.

F. Ferrarotti, K. Schewe, L. Tec, Q. Wang. A complete logic for database abstract state machines. Logic Journal of the IGPL, pages 700-740, DOI: 10.1093/jigpal/jzx021, July, 2017.

G. Czech, M. Moser. A domain specific language for design software in the electrical engineering domain. Technical Report, number SCCH-TR-17098, December, 2017.

H. Eghbal-zadeh, B. Lehner, M. Dorfer, G. Widmer. A hybrid approach with multi-channel i-vectors and convolutional neural networks for acoustic scene classification. Proceedings of the 25th European Signal Processing Conference ( EUSiPCO2017), pages 2749-2753, DOI 10.23919/EUSIPCO.2017.8081711, IEEE, October, 2017.

R. Ramler, C. Klammer. A journey from manual testing to automated test generation in an industry project. Proceedings of the IEEE International Conference on Software Quality, Reliability & Security (Companion Volume) (QRS-C 2017), pages 591-592, DOI 10.1109/QRS-C.2017.108, IEEE, July, 2017.

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.

F. Sobieczky, B. Sponer. A monotonicity preserving transformation for confidence regions of unsymmetric multivariate data. May, 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.

F. Ferrarotti, K. Schewe, L. Tec, Q. Wang. A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Annals of Mathematics and Artificial Intelligence, pages online first, DOI: 10.1007/s10472-017-9569-3, December, 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.

F. Sobieczky, C. Lettner, T. Natschläger, P. Traxler. Adaptive heat pump and battery storage demand side energy management. E3S Web of Conferences, volume volume 22 (ASEE17), pages article number 00162, DOI 10.1051/e3sconf/20172200162, November, 2017.

R. Ramler, T. Wetzlmaier, C. Klammer. An empirical study on the application of mutation testing for a safety-critical industrial software system. Proceedings of the SAC 2017 - 32nd ACM Symposium on Applied Computing, pages 1401-1408, DOI 10.1145/3019612.3019830, ACM, April, 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.

H. Egermeier, T. Natschläger, M. Riedenbauer. Analytics in der Digitalen Transformation - Richtig eingeführt und umgesetzt. volume 2017, 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.

L. Ehrlinger, W. Wöß. Automated data quality monitoring. Proceedings of the 22nd Annual MIT International Conference on Information Quality (ICIQ 2017), pages 15-1 to 15-9, December, 2017.

V. Haunschmid, R. Nikzad-Langerodi, E. Lughofer, T. Natschläger. Automated model maintenance enabled by unsupervised model diagnostic measures. November, 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.

G. Czech, P. Hamberger, M. Moser, J. Pichler, J. Schickmair. Best practices in practice for domain specific modeling. number SCCH-TR-1760, September, 2017.

B. Shahzad, A. Abdullatif, N. Ikram, A. Mashkoor. Build software or buy: A study on developing large scale software. IEEE Access, volume 5, pages 24262-24274, DOI: 10.1109/ACCESS.2017.2762729, October, 2017.

W. Zellinger, T. Grubinger, E. Lughofer, T. Natschläger, S. Saminger-Platz. Central Moment Discrepancy (CMD) for domain-invariant representation learning. Learning (cs.LG), Published as a conference paper at ICLR 2017 - International Conference on Learning Representations, pages https://arxiv.org/abs/1702.08811, February, 2017.

B. Lehner, H. Eghbal-zadeh, M. Dorfer, F. Korzeniowski, K. Koutini, G. Widmer. Classifying short acoustic scenes with i-vectors and CNNS: Challenges and optimisations for the 2017 DCASE ASC task. November, 2017.

M. Cuénez. Code-comment inconsistency detection in Java projects with focus on ranges. Master thesis, FH OÖ, Fachhochschul-Masterstudiengang Interactive Media, June, 2017.

E. Börger, K. Schewe. Communication in abstract state machines. Journal of Universal Computer Science, volume 23, number 2, pages 129-145, February, 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. Decision guidance models for microservice monitoring. Proceedings of the 2017 IEEE International Confernce on Software Architecture (ICSA 2017), pages 54-61, DOI 10.1109/ICSAW.2017.31, IEEE, June, 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.

S. Luftensteiner. Design and implementation of a domain specific language for data preprocessing pipelines. Bachelor Thesis, FH OÖ, Fachhochschul-Bachelorstudiengang Medizin- und Bioinformatik, June, 2017.

F. Moisl, M. Pichler, G. Chasparis, K. Leonhartsberger, G. Lettner. Development of a decentralized small battery energy storage network to compensate for schedule deviations. In D. Schulze (editor), NEIS 2017: Conference on Sustainable Energy Supply and Energy Storage Systems, pages 169-174, VDE Verlag, 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.

W. Zellinger, M. Zwick, T. Grubinger. Domain-invariant feature learning with recurrent autoencoders for time series prediction. Technical Report, number SCCH-TR-17050, August, 2017.

W. Zellinger, M. Zwick, T. Grubinger. Domain-invariant representation learning for metal sheet bending. Technical Report, number SCCH-TR-17051, August, 2017.

A. Kinz, W. Schröder, P. Praher, B. Freudenthaler, T. Passath. Dynamisierung und wertschöpfungsorientierte Optimierung der Instandhaltungsstrategie - Smart Maintenance in einem komplexen Fertigungssystem. In G. Horn (editor), Der Instandhaltungs-Berater, volume 74. Ergänzung/Aktualisierung, December, 2017.

A. Kogler, P. Traxler. Efficient and robust median-of-means algorithms for location and regression. Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), pages online, DOI 10.1109/SYNASC.2016.041, January, 2017.

G. Chasparis, M. Rossbory. Efficient dynamic pinning of parallelized applications by distributed reinforcement learning. International Journal of Parallel Programming, Special Issue on High-Level Programming for Heterogeneous Parallel Systems, pages online first, DOI: 10.1007/s10766-017-0541-y, November, 2017.

G. Chasparis, M. Rossbory. Efficient dynamic pinning of parallelized applications by distributed reinforcement learning. January, 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. Kremser. Embedded Vision - Plattform für eine Online-Qualitätsinspektion. Master thesis, FH OÖ, Fachhochschul-Masterstudiengang Embedded Systems Design, September, 2017.

B. Moser. Estimating the signal reconstruction error from threshold-based sampling without knowing the original signal. Proceedings of the 3rd International Conference on Event-Based Control, Communication and Signal Processing (EBCCSP 2017), DOI 10.1109/EBCCSP.2017.8022834, IEEE, August, 2017.

K. Schewe, F. Ferrarotti, L. Tec, Q. Wang, W. An. Evolving concurrent systems – Behavioural theory and logic. Proceedings of the Australasian Computer Science Week Multiconference (ACSW'17), pages article No. 77, DOI 10.1145/3014812.3017446, ACM, January, 2017.

P. Traxler, A. Kogler. From fault detection to alarm lists - The photovoltaics use case. Poster at DX'17 - 28th International Workshop on Principles of Diagnosis, Brescia, Italy, September 26-29, 2017, September, 2017.

T. Grubinger, G. Chasparis, T. Natschläger. Generalized online transfer learning for climate control in residential buildings. Energy and Buildings, volume 139, pages 63-71, DOI: 10.1016/j.enbuild.2016.12.074, March, 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.

R. Ramler, R. Hoschek. How to test in sixteen languages? Automation support for localization testing. Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), pages 542-543, DOI 10.1109/ICST.2017.63, IEEE, March, 2017.

T. Wetzlmaier, R. Ramler. Hybrid monkey testing: Enhancing automated GUI tests with random test generation. In T. Vos, S. Eldh, W. Prasetya (editors), Proceedings of the 8th ACM SIGSOFT International Workshop on Automated Software Testing (A-TEST'17), pages 5-10, DOI 10.1145/3121245.3121247, ACM, September, 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.

T. Kitamura, E. Alégroth, R. Ramler. Industry-academia collaboration in software testing: An overview of TAIC PART 2017. Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2017), pages 42-43, DOI 0.1109/ICSTW.2017.13, IEEE, 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.

P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene. Integrating formal methods into medical software development: The ASM approach. Science of Computer Programming, volume 158, pages 148-167, DOI: 10.1016/j.scico.2017.07.003, July, 2017.

H. Prähofer, I. Wesp, J. Pichler. Interview study on the practice of software documentation. Technical Report, number SCCH-TR-17008, February, 2017.

H. Eghbal-zadeh, G. Widmer. Likelihood estimation for generative adversarial networks. pages https://arxiv.org/abs/1707.07530, July, 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.

K. Sahni, D. Kotsur, G. Dreissen, J. Mattes, B. Hoffmann, R. Merkel, G. Sakaeva. Migration component dynamics and front-rear interplay. December, 2017.

T. Ziebermayr. Modernes Softwareengineering in der Automatisierungstechnik. Tagungsband C-AR2017 - Confernce on Automation and Robotics, pages 21-24, May, 2017.

T. Grubinger, A. Birlutiu, H. Schöner, T. Natschläger, T. Heskes. Multi-domain transfer component analysis for domain generalization. Neural Processing Letters, pages online first, DOI: 10.1007/s11063-017-9612-8, April, 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.

T. Grubinger, M. Zwick. Multi-task learning for scenario invariant time series data. Technical Report, number SCCH-TR-17052, August, 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.

B. Moser. Novel similarity and distance measures with applications in machine learning, image and signal processing. March, 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.

A. Kinz, W. Schröder, T. Passath, P. Praher, B. Freudenthaler. Optimierung des anlagenspezifischen Instandhaltungsstrategiemix am Beispiel eines komplexen Fertigungssystems - Smart Maintenance in der mechanischen Fertigung. In H. Biedermann (editor), Erfolg durch Lean Smart Maintenance - Bausteine und Wege des Wandels, pages 185-216, TÜV Media, October, 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.

A. Mashkoor, F. Yang, J. Jacquot. Refinement-based validation of Event-B specifications. Software and Systems Modelling, volume 16, number 3, pages 789-808, DOI: 10.1007/s10270-016-0514-4, July, 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. Schewe, F. Ferrarotti, L. Tec. Rigorous foundation of evolving concurrent systems. Technical Report, number SCCH-TR-16090, April, 2017.

S. Bonfanti. Rigorous model-based development of programmable electronic medical systems (PEMS): From requirements to code. PhD thesis, University of Bergamo/School of Doctoral Studies, May, 2017.

M. Smid, J. Matas. Rolling shutter camera synchronization with sub-millisecond accuracy. Proceedings of the 12th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP 2017), VISAPP, volume 4, pages 238-245, DOI 10.5220/0006175402380245, Scitepress, February, 2017.

T. Vojir. Short-term visual object tracking in real-time. PhD thesis, Czech Technical University in Prague/Faculty of Electrical Engineering, May, 2017.

B. Moser. Similarity recovery from threshold-based sampling under general conditions. IEEE Transactions on Signal Processing, volume 65, number 17, pages 4645-4654, DOI: 10.1109/TSP.2017.2712121, September, 2017.

G. Czech, B. Dorninger, M. Pfeiffer, M. Moser, J. Pichler. Software Analytics and Evolution Team Report 2016. Technical Report, number SCCH-TR-17013, February, 2017.

Software Quality Journal, Special issue on collaboration in software testing. In M. Felderer, R. Ramler (editors), volume 25, December, 2017.

M. Felderer, R. Ramler. Special issue on collaboration in software testing between industry and academia. Software Quality Journal, volume 25, number 4, pages 1087-1089, DOI: 10.1007/s11219-017-9395-1, December, 2017.

B. Malli, A. Birlutiu, T. Natschläger. Standard-free calibration transfer - An evaluation of different techniques. Chemometrics and Intelligent Laboratory Systems, volume 161, pages 49-60, DOI: 10.1016/j.chemolab.2016.12.008, February, 2017.

G. Chasparis. Stochastic stability analysis of perturbed learning automata with constant step-size in strategic-form games. Proceedings of the 2017 American Control Conference, pages 4607-4612, IEEE, May, 2017.

P. Songprasop. Structural modelling in systems engineering. Master thesis, ISI-Hagenberg, INFORMATICS: Engineering & Management, March, 2017.

G. Chasparis, T. Natschläger. Supervisory output prediction for bilinear systems by reinforcement learning. IET Control Theory & Applications, volume 11, number 10, pages 1514-1521, DOI: 10.1049/iet-cta.2016.1400, June, 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.

D. Kotsur, R. Yakobenchuk, R. Leube, J. Mattes, R. Windoffer. Tracking the dynamics of individual keratin filaments (poster). June, 2017.

Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX - Special Issue on Cloud Computing. In A. Hameurlain, J. Küng, R. Wagner, K. Schewe, K. Bosa (editors), Lecture Notes in Computer Science, DOI 10.1007/978-3-662-54054-1, Springer, January, 2017.

A. Mashkoor, J. Jacquot. Validation of formal specifications through transformation and animation. Requirements Engineering, volume 22, number 4, pages 433-451, DOI: 10.1007/s00766-016-0246-6, November, 2017.

R. Ramler, T. Ziebermayr. What you see is what you test - Augmenting software testing with computer vision. Proceedings of the 10th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2017), pages 398-400, DOI 10.1109/ICSTW.2017.76, IEEE, March, 2017.

T. Fernando. WorkflowDSL: Scalable Workflow Execution with Provenance. Master thesis, KTH Royal Institute of Technology, September, 2017.

A. Mishchuk, D. Mishkin, F. Radenovic, J. Matas. Working hard to know your neighbor's margins: Local descriptor learning loss. Advances in Neural Information Processing Systems 30 - Proc. NIPS 2017, pages online, December, 2017.

Q. Wang, F. Ferrarotti, K. Schewe, L. Tec. A complete logic for non-deterministic database transformations. February, 2016.

T. Wetzlmaier, R. Ramler, W. Putschögl. A framework for monkey GUI testing. Proceedings of the 9th IEEE International Conference on Software Testing, Verification and Validation (ICSTW 2016), pages 416-423, DOI 10.1109/ICST.2016.51, IEEE, April, 2016.

C. Huber. A generic approach for static code analysis of PLC-programs. Diploma Thesis, Johannes Kepler University Linz/Computer Science, September, 2016.

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.

F. Ferrarotti, K. Schewe, L. Tec, Q. Wang. A new thesis concerning synchronised parallel computing - Simplified parallel ASM thesis. Journal of Theoretical Computer Science, volume 649, pages 25-53, DOI: 10.1016/j.tcs.2016.08.013, October, 2016.

J. Martínez Gil, L. Paoletti, M. Pichler. A novel approach for learning how to automatically match job offers and candidate profiles. https://arxiv.org/abs/1611.04931, cs.OH - Other Computer Science, arXiv:1611.04931 [cs.OH], November, 2016.

S. Fischer, R. Lopez-Herrejon, R. Ramler, A. Egyed. A preliminary empirical assessment of similarity for combinatorial interaction testing of software product lines. Proceedings of the 9th International Workshop on Search-Based Software Testing (SBST'16), pages 15-18, DOI 10.1145/2897010.2897011, ACM, May, 2016.

S. Bonfanti, A. Gargantini, A. Mashkoor. A preliminary systematic literature review of the use of formal methods in medical software systems. Industrial Proceedings of the 23rd European & Asian System, Software & Service Process Improvement & Innovation (EuroAsiaSPI2 2016), pages 9.15-9.23, September, 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.

J. Martínez Gil. Accurate semantic similarity measurement of biomedical nomenclature by means of fuzzy logic. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, volume 24, number 2, pages 291-305, DOI: 10.1142/S0218488516500148, April, 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.

C. Klammer, R. Ramler, M. Winterer, H. Stummer. Analyzing performance issues of industrial user interfaces: Experiences and results. Proceedings of the 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016), pages 30-33, DOI 10.1109/SEAA.2016.61, IEEE, August, 2016.

C. Salomon. Aufzeichnung und Analyse von interpretierten EEG-Daten während des Puttens am Beispiel der kognitiven Zustände des EMOTIV Epoc Headsets. Diploma Thesis, FH Hagenberg/Human-Centered Computing, September, 2016.

J. Klespitz, M. Biró, L. Kovács. Augmented lifecycle space for traceability and consistency enhancement. Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC 2016), pages 3973-3977, DOI 10.1109/SMC.2016.7844854, IEEE, October, 2016.

R. Ramler, M. Moser, J. Pichler. Automated static analysis of unit test code. Proceedings of the 23rd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2016), pages 25-28, DOI 10.1109/SANER.2016.102, IEEE, March, 2016.

M. Carissoni. Automatic code generation from formal specification: UASM to C++ for Arduino. Master thesis, Universitá delgi studi di Bergamo/Department of Management, Information and Production Engineering, December, 2016.

A. Kogler. Classification of (alternatively) spliced exons using state-of-the-art sequence kernels. Master thesis, Johannes Kepler University Linz/Master's Program Bioinformatics, January, 2016.

M. Pichler. Cognitive computing and big linked data as next steps for Big Data/BI in tourism?. In M. Fuchs, M. Lexhagen, W. Höpken (editors), Proceedings of the IFITTtalk@Östersund Workshop on Big Data & Business Intelligence in the Travel & Tourism Domain, pages 119-122, Mld Sweden University, April, 2016.

G. Czeck, M. Moser. Comparison of generative development approaches in the electrical engineering domain. Technical Report, number SCCH-TR-16106, December, 2016.

E. Börger, K. Schewe. Concurrent abstract state machines. Acta Informatica, volume 53, number 5, pages 469-492, DOI: 10.1007/s00236-015-0249-7, August, 2016.

J. Martínez Gil. CoTO: A novel approach for fuzzy aggregation of semantic similarity measures. Cognitive Systems Research, DOI: 10.1016/j.cogsys.2016.01.001, February, 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. Data and expert-driven tourism knowledge modelling. In F. Fuchs, M. Lexhagen, W. Höpken (editors), Proceedings of the IFITTtalk@Östersund Workshop on Big Data & Business Intelligence in the Travel & Tourism Domain, pages 63-67, Mld Sweden University, April, 2016.

M. Dorfer, R. Kelz, G. Widmer. Deep linear discriminant analysis. Published as a conference paper at ICLR 2016 - 4th International Conference on Learning Representations, San Juan, Puerto Rico, May 2-4, 2016., pages https://arxiv.org/abs/1511.04707, February, 2016.

F. Krebs, S. Böck, M. Dorfer, G. Widmer. Downbeat tracking using beat synchronous features with recurrent neural networks. Proceedings of the 17th International Society for Music Information Retrieval Conference (ISMIR 2016), pages 129-135, August, 2016.

G. Chasparis, M. Roßbory. Efficient dynamic pinning of parallelized applications by distributed reinforcement learning. pages http://arxiv.org/abs/1606.08156, June, 2016.

M. Winterer. Einsatz von Augmented Reality in der Schweißtechnik. Master thesis, FH Hagenberg/Human-Centered Computing, November, 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.

J. Klespitz, M. Biró, L. Kovács. Enhanced traceability and consistency with Augmented Lifecycle Space. roceedings of the 20th Jubilee IEEE International Conference on Intelligent Engineering Systems 2016 (INES 2016), pages 207-212, DOI 10.1109/INES.2016.7555121, IEEE, August, 2016.

P. Rechberger, G. Steinmaurer, H. Kirchsteiger, T. Natschläger, H. Heigl, W. Traunmüller, D. Koller. EStore-M: Projektüberblick und erste Ergebnisse. Poster at 31. Symposium Photovoltaische Solarenergie, March, 2016.

J. Klespitz, M. Biró, L. Kovács. Evaluation criteria for application life cycle management systems in practice. Proceedings of the 11th IEEE International Symposium on Applied Computational Intelligence and Informatics (SACI 2016), pages 469-472, DOI 10.1109/SACI.2016.7507423, IEEE, May, 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.

W. An. Formal specification and analysis of asynchronous mutual exclusion algorithms. Master thesis, July, 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.

F. Kossak, C. Illibauer, V. Geist, C. Natschläger, T. Ziebermayr, B. Fredenthaler, T. Kopetzky, K. Schewe. Hagenberg Business Process Modelling Method. Springer, May, 2016.

C. Klammer, R. Ramler, H. Stummer. Harnessing automated test case generators for GUI testing in industry. Proceedings of the 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016), pages 227-234, DOI 10.1109/SEAA.2016.60, IEEE, August, 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.

T. Hoch, R. Leser, X. Tan, A. Baca, B. Moser. Identifying tactical patterns in soccer game play by means of an explanatory computational model. Book of Abstracts of the 21st annual Congress of the European College of Sport Science (ECSS 2016), pages 548, July, 2016.

G. Buchgeher, C. Klammer, W. Heider, M. Schütz, H. Huber. Improving testing in an enterprise SOA with an architecture-based approach. Proceedings of the 2016 13th Working IEEE/IFIP Conference on Software Architecture (WICSA 2016), pages 231-241, DOI 10.1109/WISCA.2016.24, IEEE, April, 2016.

W. Zellinger, B. Moser. Improving visual discomfort prediction for stereoscopic images via disparity-based contrast. Proceedings of the IS&T International Symposium on Electronic Imaging 2016 (EI 2016), volume Image Quality and System Performance XIII, pages 1-9(9), February, 2016.

R. Ramler, M. Felderer, T. Kitamura, D. Marinov. Industry-academia collaboration in software testing: An overview of TAIC PART 2016. Proceedings of the 9th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW 2016), pages 238-239, DOI 10.1109/ICSTW.2016.36, IEEE, April, 2016.

W. Kirchmayr, M. Moser, L. Nocke, J. Pichler, R. Tober. Integration of static and dynamic code analysis for understanding legacy source code. Proceedings of the International Conference on Software Maintenance and Evolution (ICSME 2016), pages 543-552, DOI 10.1109/ICSME.2016.70, IEEE, October, 2016.

W. Reisner, B. Moser, A. Chouikhi, M. Gelautz, F. Seitner, M. Nezveda. Linear optimization approach for depth range adaption of stereoscopic videos. Proceedings of the IS&T International Symposium on Electronic Imaging 2016 (EI 2016), volume Stereoscopic Displays and Applications XXVII, pages 1-6(6), February, 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.

G. Buchgeher, R. Weinreich, T. Kriechbaum. Making the case for centralized software architecture management. Software Quality. The Future of Systems- and Software Development - Proc. SWQD 2016, Lecture Notes in Business Information Processing, pages 109-121, DOI 10.1007/978-3-319-27003-3_8, January, 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.

C. Motz, B. Moser. On a fast implementation of 2D-variant of Weyl's discrepancy measure. In K. Niel, P. Roth, M. Vincze (editors), Proceedings of the 1st OAGM-ARM Joint Workshop Vision Meets Robotics, pages 43-50, May, 2016.

F. Ferrarotti, L. Tec, J. Turull-Torres. On fragments of third order logic that on finite structures collapse to second order logic. Technical Report, number SCCH-TR-16034, August, 2016.

F. Ferrarotti, L. Tec, J. Torrull-Torres. On higher order query languages which on relational databases collapse to second order logic. Technical Report, number SCCH-TR-16092, November, 2016.

B. Moser. On preserving metric properties of integrate-and-fire sampling. Electronic Proceedings of the 2nd International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP 2016), June, 2016.

G. Chasparis, W. Zellinger, V. Haunschmid, M. Riedenbauer, R. Stumptner. On the optimization of material usage in power transformer manufacturing. Proceedings of the 8th IEEE International Conference on Intelligent Systems (IS'16), pages 680-685, IEEE, September, 2016.

R. Kelz, M. Dorfer, F. Korzeniowski, S. Böck, A. Artz, G. Widmer. On the potential of simple framewise approaches to piano transcription. Proceedings of the 17th International Society for Music Information Retrieval Conference (ISMIR 2016), pages 475-481, August, 2016.

T. Grubinger, G. Chasparis, T. Natschläger. Online transfer learning for climate control in residential buildings. Proceedings of the 5th Annual European Control Conference (ECC'16), pages 1183-1188, EUCA, June, 2016.

V. Haunschmid. panelcn.MOPS reaches clinical standards as a copy number variation detection tool for targeted panel sequencing. Master thesis, Johannes Kepler University Linz/Master's Program Bioinformatics, January, 2016.

M. Roßbory, G. Chasparis. Parallelization of stochastic-local-search algorithms using high-level parallel patterns. January, 2016.

M. Moser, J. Pichler. POSITION PAPER: Documentation generation from annotated source code of scientific software. Proceedings of the 2016 International Workshop on Software Engineering for Science - SE4Science 2016, pages 12-15, DOI 10.1145/2897676.2897679, ACM, May, 2016.

R. Vogl, M. Dorfer, P. Knees. Recurrent neural networks for drum transcription. Proceedings of the 17th International Society for Music Information Retrieval Conference (ISMIR 2016), pages 730-736,, August, 2016.

M. Dorfer, J. Mattes. Recursive water flow: A shape decomposition approach for cell clump splitting. Proceedings of the 12th IEEE International Symposium on Biomedical Imaging: From Nano to Macro (ISBI 2016), pages 811-815, IEEE, April, 2016.

M. Mendoza, M. Marín, V. Gil-Costa, F. Ferrarotti. Reducing hardware hit by queries in web search engines. Information Processing & Management, volume 52, number 6, pages 1031-1053, DOI: 10.1016/j.ipm.2016.04.008, November, 2016.

G. Chasparis, T. Natschläger. Regression models for output prediction of thermal. ASME Journal of Dynamic Systems Measurement and Control, DOI: 10.1115/1.4034746, November, 2016.

R. Ramler, M. Felderer. Requirements for integrating defect prediction and risk-based testing. Proceedings of the 42nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2016), pages 359-362, DOI 10.1109/SEAA.2016.62, IEEE, August, 2016.

M. Biró, R. Messnarz, R. Colomo-Palacios. Results and lessons learned in system, software & service process improvement & innovation (editorial). Journal of Software: Evolution and Process, volume 28, number 11, pages 946-949, DOI: 10.1002/smr.1833, November, 2016.

I. Groher, R. Weinreich, G. Buchgeher, R. Schossleitner. Reusable architecture variants for customer-specific automation solutions. Proceedings of the 20th International Systems and Software Product Line Conference (SPLC 2016), pages 242-251, DOI 10.1145/2934466.2934492, ACM, September, 2016.

A. Mashkoor, J. Sametinger. Rigorous modeling and analysis of interoperable medical devices. Proceedings of the 2016 Spring Simulation Multi-Conference (SpringSim'16), pages 800-807, Society for Modeling & Simulation International, April, 2016.

M. Felderer, R. Ramler. Risk-based software testing: Increasing effectiveness and efficiency in testing. pages Tutorial, November, 2016.

M. Felderer, R. Ramler. Risk-Based Testing: Mehr Effizienz und Effektivität im Software Test. Tutorial at SWQD 2016 - Software Quality Days 2016, Vienna, Austria, January 18-21, 2016., January, 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.

R. Leser, T. Hoch, X. Tan, B. Moser, A. Baca. Searching tactical patterns in soccer game play by unsupervised machine learning. volume Book of Abstracts of the 21st annual Congress of the European College of Sport Science (ECSS 2016), pages 548, July, 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.

E. Börger, K. Schewe, Q. Wang. Serialisable multi-level transaction control: A specification and verification. Science of Computer Programming, pages online fist, DOI: 10.1016/j.scico.2016.03.008, April, 2016.

J. Martínez Gil. SIFT: An algorithm for extracting structural information from taxonomies. pages http://arxiv.org/abs/1602.07064, February, 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.

Software Quality Journal, Special Sections: "Software and Service Improvement in the Scope of SMEs" and "Quality in Model-Driven Engineering". In R. Colomo-Palacios, M. Biró, R. Messnarz, V. Amaral, M. Mernik (editors), volume 24, Springer, September, 2016.

R. Colomo-Palacios, M. Biró, R. Messnarz. Special issue on software and service improvement in the scope of SMEs. Software Quality Journal, volume 24, number 3, pages 485-487, DOI: 10.1007/s11219-016-9326-6, September, 2016.

H. Prähofer, F. Angerer, R. Ramler, F. Grillenberger. Static code analysis of IEC 61131-3 Programs: Comprehensive tool support and experiences from large-scale industrial application. IEEE Transactions on Industrial Informatics, volume 13, number 1, pages 37-47, DOI: 10.1109/TII.2016.2604760, August, 2016.

T. Hoch, M. Dorfer, C. Helmbrecht. Subpixel localisation of nanoparticles in image sequences. In K. Niel, P. Roth, M. Vincze (editors), Proceedings of the 1st OAGM-ARM Joint Workshop Vision Meets Robotics, pages 61, May, 2016.

V. Geist, C. Illibauer, C. Natschläger, R. Hutter. Supporting customizable business process models using graph transformation rules. International Journal of Information Systems Modeling and Design (IJISMD), volume 7, number 3, pages 51-71, DOI: 10.4018/IJISMD.2016070103, November, 2016.

B. Thalheim, F. Kossak. The formalisation of the business process modelling and notification. May, 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.

The landing gear case study: Challenges and experiments. International Journal on Software Tools for Technology Transfer, Special Issue: The landing gear case study: Challenges and experiments, pages online first, DOI: 10.1007/s10009-016-0431-4, July, 2016.

P. Traxler. The relative exponential time complexity of approximate counting satisfying assignments. Algorithmica (Special Issue IPEC 2014), volume 75, number 2, pages 339-362, DOI: 10.1007/s00453-016-0134-y, June, 2016.

M. Pichler, L. Steiner, H. Neiss. The tourism knowledge islands. Technical Report, February, 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.

T. Hoch, X. Tan, R. Leser, A. Baca, B. Moser. Towards data-based assessment of individual tactics skills in team sports based on fuzzy petri nets. Technical Report, number SCCH-TR-16022, December, 2016.

H. Thaller. Towards deep learning driven design pattern detection. Diploma Thesis, Johannes Kepler University Linz/Computer Science, October, 2016.

A. Bögl, C. Natschläger, V. Geist. Towards flexibility in business processes by mining process patterns and process instances. Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2016), pages 469-476, SCITEPRESS, February, 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.

M. Dorfer, A. Arzt, G. Widmer. Towards score following In sheet music images. roceedings of the 17th International Society for Music Information Retrieval Conference (ISMIR 2016), pages 789-795, August, 2016.

A. Mashkoor, M. Biró. Towards the trustworthy development of active medical devices: A hemodialysis case study. IEEE Embedded Systems Letters, volume 8, number 1, pages 14-17, DOI: 10.1109/LES.2015.2494459, March, 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.

W. Zellinger. Visual discomfort prevention: A new motion-based comfort zone. Technical Report, number SCCH-TR-1626, 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. Lopez-Herrejon, S. Fischer, R. Ramler, A. Egyed. A first systematic mapping study on combinatorial interaction testing for software product lines. Proceedings of the IEEE 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 4th International Workshop on Combinatorial Testing (IWCT 2015), DOI 10.1109/ICSTW.2015.7107435, April, 2015.

F. Ferrarotti, K. Schewe, L. Tec, Q. Wang. A new thesis concerning synchronised parallel computing - Simplified parallel ASM thesis. CoRR - Computing Research Repository, abs/1504.06203, April, 2015.

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.

P. Traxler, T. Grill, P. Gomez. A robust alternative to correlation networks for identifying fault systems. Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-15), pages 11-18, August, 2015.

R. Stumptner, B. Freudenthaler. Adaptive flood forecasting for small catchment areas. In A. Quesada-Arencibia et al. (editors), EUROCAST 2015 Computer Aided Systems Theory Extended Abstracts, pages 63-64, February, 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.

M. Moniruzzaman, K. Idrees, M. Roßbory, J. Gracia. An adaptive load-balancer for task-scheduling in FastFlow. Proceedings of the 5th International Conference on Advanced Communications and Computation (INFOCOMP 2015), pages 6-12, IARIA, June, 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.

J. Klespitz, M. Biró, L. Kovács. Aspects of improvement of software development lifecycle management. Proceedings of the 16th IEEE International Symposium on Computational Intelligence and Informatics (CINTI 2015), pages 323-327, DOI 10.1109/CINTI.2015.7382943, November, 2015.

G. Regan, M. Biró, D. Flood, F. Mc Caffery. Assessing traceability – Practical experiences and lessons learned. Journal of Software: Evolution and Process, volume 27, number 8, pages 591-601, DOI: 10.1002/smr.1728, August, 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.

J. Martínez Gil. Automated knowledge base management: A survey. Computer Science Review, volume 18, pages 1-9, DOI: 10.1016/j.cosrev.2015.09.001, November, 2015.

J. Gmeiner, R. Ramler, J. Haslinger. Automated testing in the continous delivery pipeline: A case study of an online company. Proceedings of the IEEE 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 13th User Symposium on Software Quality, Test and Innovation (ASQT 2015), DOI 10.1109/ICSTW.2015.7107423, April, 2015.

S. Fischer, L. Linsbauer, R. Lopez-Herrejon, A. Egyed, R. Ramler. Bridging the gap between software variability and system variant management: Experiences from an industrial machinery product line. roceedings of the 41st Euromicro Conference series on Software Engineering and Advanced Applications (SEAA 2015), pages 402-409, DOI 10.119/SEAA.2015.57, IEEE, August, 2015.

P. Luoma, B. Malli, T. Natschläger, M. Pawliczek, M. Brandstetter. Calibration transfer using additive PLS models demonstrated with two near-infrared spectroscopy measurement case studies. 11. Kolloquium Prozessanalytik Wien 2015, Posterprogram P37, December, 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, B. Freudenthaler. Combining relational and NoSQL database sstems for processing sensor data in disaster management. In A. Quesada-Arencibia et al. (editors), EUROCAST 2015 Computer Aided Systems Theory Extended Abstracts, pages 207-208, February, 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.

Correct Software in Web Applications and Web 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, June, 2015.

C. Natschläger, F. Kossak, K. Schewe. Deontic BPMN: A powerful extension of BPMN with a trusted model transformation. Software & Systemes Modeling, volume 14, number 2, pages 765-793, May, 2015.

G. Chasparis, M. Maggio, E. Bini, K. Arzen. Design and implementation of distributed resource management for time-sensitive applications. Automatica, volume 64, number 2, pages 44-53, DOI: 10.1016/j.automatica.2015.09.015, November, 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.

V. Tran Le, S. Link, F. Ferrarotti. Empirical evidence for the usefulness of Armstrong tables in the acquisition of semantically meaningful SQL constraints. Data & Knowledge Engineering, volume 98, pages 74-103, DOI: 10.1016/j.datak.2015.07.006, July, 2015.

R. Leser, T. Hoch, B. Moser, A. Baca. Expert oriented analysis of football duels by means of position data. In J. Bangsbo, P. Krustrup (editors), Book of Abstracts of the 8th World Congress on Science and Football (WCSF 2015), pages 65, May, 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.

M. Dorfer, T. Hoch, C. Helmbrecht. Exploring sub-populations in EV samples with transient nano-particle tracking analysis (t-NTA). volume 4, pages http://dx.doi.org/10.3402/jev.v4.27783, April, 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.

P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene. Formal validation and verification of a medical software critical component. In Proceedings of the 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'15), pages 80-89, DOI 10.1109/MEMCOD.2015.7340473, IEEE, September, 2015.

J. Martinez-Gil, G. Chasparis, A. Bögl, C. Illibauer, B. Freudenthaler, T. Natschläger. Framework for fast prototyping of energy-saving controllers. Proceedings of the 26th International Workshops on Database and Expert Systems Applications, pages 68-72, September, 2015.

B. Malli, T. Natschläger. Fused stagewise regression - A waveband selection algorithm for spectroscopy. Chemometrics and Intelligent Laboratory Systems, volume 149, pages 53-65, DOI: 10.1016/j.chemolab.2015.09.004, December, 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.

F. Kossak, A. Mashkoor. How to select the suitable formal method for an industrial application: A survey. Technical Report, October, 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.

W. Zellinger, B. Moser. Improving visual discomfort prediction for stereoscopic images via disparity-based contrast. Journal of Imaging Science and Technology, volume 59, number 6, pages 60401-1-60401-8(8), DOI: http://dx.doi.org/10.2352/J.ImagingSci.Technol.2015.59.6.060401, November, 2015.

N. Alshahwan, M. Felderer, R. Ramler. Industry-academia collaboration in software testing: An overview of TAIC PART 2015. Proceedings of the IEEE 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 10th Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2015), DOI 10.1109/ICSTW.2015.7107463, April, 2015.

M. Moser, M. Pfeiffer, J. Pichler, C. Salomon, M. Winterer. Iterative design and evaluation of a DSL for end-user programming in an industrial domain. Technical Report, December, 2015.

Journal of Software: Evolution and Process, Special Issue: Process improvement approaches fertilised by advances in SPI. In M. Biró, R. Messnarz, R. Colomo-Palacios (editors), volume 27, pages i-iii, 509-601 http://dx.doi.org:/10.1002/smr.1725, August, 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.

K. Schewe, Q. Wang, M. Rady. Knowledge-based entity resolution with contextual information defined over a monoid. Model and Data Engineering - Proc. MEDI 2015, Lecture Notes of Computer Science, volume 9344, pages 128-135, Springer, September, 2015.

M. Moser, J. Pichler. Lessons learned from the adoption of documentation generators in scientific software development. Technical Report, December, 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.

B. Moser. Matching event sequences approach based on Weyl's discrepancy norm. Proceedings of the 1st IEEE International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP 2015), DOI 10.1109/EBCCSP.2015.7300676, IEEE, June, 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.

A. Mashkoor. Model-driven development of high-assurance active medical devices. Software Quality Journal, volume 24, number 3, pages 571-596, DOI: 10.1007/s11219-015-9288-0, August, 2015.

W. Reisner. Models and analysis of visual discomfort measures for stereoscopic images. Master thesis, Johannes Kepler Universität Linz/Department for Knowledge-Based Mathematical Systems, March, 2015.

Nachhaltige Unternehmensführung erfolgreich umsetzen - Aktuelle Themen und Trends aus Wissenschaft und Unternehmenspraxis. In R. Fellner, A. Mayr, K. Pirklbauer (editors), HAUFE, May, 2015.

G. Chasparis, J. Shamma, A. Rantzer. Nonconvergence to saddle boundary points under perturbed reinforcement learning. International Journal of Game Theory, volume 44, number 3, pages 667-699, DOI: 10.1007/s00182-014-0449-3, August, 2015.

A. Golabgir, T. Hoch, M. Zharyi, C. Herwig. Observability analysis of biochemical process model as a valuable tool for the development of mechanistic soft-sensors. Biotechnology Progress, volume 31, number 6, pages 1703-1715, DOI: 10.1002/btpr.2176, November, 2015.

A. Mashkoor, J. Jacquot. Observation-level-driven formal modeling. Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering (HASE 2015), pages 158-165, DOI 10.1109/HASE.2015.32, IEEE, January, 2015.

B. Freudenthaler, C. Lettner, R. Stumptner. On comparing jCOLIBRI and myCBR in the frame of a support system for cash machines. In P. Perner (editor), Case-Based Reasoning - New Developments - Workshop Proc. CBR-MD 2015, pages 17-30, ibai-publishing, July, 2015.

C. Natschläger, A. Bögl, V. Geist, M. Biró. Optimizing resource utilization by combining activities across process instances. Systems, Software and Service Process Improvement, volume 543, pages 155-167, DOI 10.1007/978-3-319-24647-5_13, September, 2015.

C. Natschläger, A. Bögl, V. Geist. Optimizing resource utilization by combining running business process instances. Service-Oriented Computing - ICSOC 2014 Workshops, Lecture Notes in Computer Science, volume 8954, pages 120-126, DOI 10.1007/978-3-319-22885-3_11, Springer, September, 2015.

M. Pawliczek, B. Malli, T. Natschläger, T. Reischer, W. Kantner, M. Brandstetter. PAT-system for comprehensive process control including tools of Computational Model Life-Cycle Management. 11. Kolloquium Prozessanalytik Wien 2015, pages Posterprogram P38, December, 2015.

C. Motz. Pattern matching based on Hermann Weyl’s Discrepancy Norm. Master thesis, FH Hagenberg, Embedded Systems Engineering, August, 2015.

M. Pichler, L. Steiner, H. Neiss. Probabilistic modelling of influences on travel decision making. e-Review of Tourism Research (eRTR), volume ENTER 2015: volume 6 Short Papers, pages http://3ws1wk1wkqsk36zmd6ocne81.wpengine.netdna-cdn.com/files/2015/02/SP01_RecommenderSession_Pichler.pdf, February, 2015.

M. Biró, R. Messnerz, R. Colomo-Palacios. Process improvement approaches fertilised by advances in SPI (editorial). Journal of Software: Evolution and Process, volume 27, number 8, pages 509-513 DOI: 10.1002/smr.1725, August, 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.

G. Chasparis. Reinforcement-learning-based efficient resource allocation with demand-side adjustments. Proceedings of the European Control Conference (ECC2015), pages 3071-3077, July, 2015.

K. Schewe. Rigorous semantics and refinement for business processes. Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, CEUR Workshop Proceedings, volume 1356, pages 1-2, CEUR-WS.org 2015, May, 2015.

M. Pichler. Risikomanagement mit Bayesian Networks am Beispiel ’Stop or Go’ bei Lawinen. Bachelor Thesis, University of Innsbruck, Fakultät für Geo- und Atmosphärenwissenschaften, January, 2015.

M. Felderer, R. Ramler. Risk orientation in software testing processes of small and medium enterprises: An exploratory and comparative study. Software Quality Journal, volume 24, number 3, pages 519-548, DOI: 10.1007/s11219-015-9289-z, August, 2015.

B. Moser. Stability of threshold-based sampling as metric problem. Proceedings of the 1st IEEE International Conference on Event-Based Control, Communication, and Signal Processing (EBCCSP 2015), DOI DOI 10.1109/EBCCSP.2015.7300692, IEEE, June, 2015.

M. Moser, J. Pichler. Static code analysis for domain knowledge extraction from fortran and C++ software. Technical Report, September, 2015.

M. Pichler, M. Larcher. Stop or Go© interaktiv: Eine neuartige Lernhilfe beim Lawinen-Risikomanagement. Jahrbuch 2015: Sicherheit im Bergland, pages 176-185, Österreichisches Kuratorium für Alpine Sicherheit, May, 2015.

T. Wetzlmaier, M. Winterer. Test automation for multi-touch user interfaces of industrial applications. Proceedings of the IEEE 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 10th Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2015), DOI 10.1109/ICSTW.2015.7107468, April, 2015.

W. Beer, C. Salomon, M. Winterer, K. Putzhammer, B. Schauer, T. Rechberger. The 6th finger: Practical challenges in thedDesign of a multitouch audio appliance. Proceedings of the 33rd Annual ACM Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA '15), pages 743-749, DOI 10.1145/2702613.2702961, April, 2015.

T. Schweigert, M. Biró. The SPI Manifesto and the corresponding ECQA certified SPI manager training. Proceedings of the 1st International Workshop on Software Process Education, Training and Professionalism co-located with 15th International Conference on Software Process Improvement and Capability dEtermination (SPICE 2015), CEUR Workshop Proceedings, volume 1368, pages 34-40, CEUR-WS.org 2015, June, 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.

F. Seitner, M. Nezveda, M. Gelautz, G. Braun, C. Kapeller, W. Zellinger, B. Moser. Trifocal system for high-quality inter-camera mapping and virtual view synthesis. Proceedings of the 2015 International Conference on 3D imaging (IC3D 2015), December, 2015.

B. Dorninger, J. Pichler, A. Kern. Using static analysis for knowledge extraction from industrial user interfaces  . In R. Koschke, J. Krinke, M. Robillard (editors), Proceedings of the 31st International Conference on Software Maintenance and Evolution (ICSME 2015), pages 497-500, September, 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.

C. Klammer, A. Kern. Writing unit tests: It's now or never!. Proceedings of the IEEE 8th IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 10th Testing: Academic & Industrial Conference - Practice and Research Techniques (TAIC PART 2015), DOI 10.1109/ICSTW.2015.7107469, April, 2015.

C. Lettner, M. Zwick. A data analysis framework for high-variety product lines in the industrial manufacturing domain. In S. Hammoudi, L. Maciaszek, J. Cordeiro (editors), Proceedings of the 16th International Conference on Enterprise Information Systems (ICEIS 2014), volume 1, pages 209-216, April, 2014.

M. Felderer, R. Ramler. A multiple case study on risk-based testing in industry. International Journal on Software Tools for Technology Transfer (STTT), volume 16, number 5, pages 609-625, October, 2014.

M. Moser, M. Pfeiffer, J. Pichler. A novel domain-specific language for the robot welding automation domain. In Proceedings of the 19th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA2014), pages DOI: 10.1109/ETFA.2014.7005348, IEEE Xplore, October, 2014.

R. Zeilinger, W. Beer, A. Mayrhofer, M. Wesinger. A survey on test and piloting practices within the engineering of industrial machines and facilities. In Proceedings of the 19th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA2014), pages DOI: 10.1109/ETFA.2014.7005078, IEEE Xplore, October, 2014.

K. Schewe, Q. Wang. A theoretical framework for knowledge-based entity resolution. Theoretical Computer Science, volume 549, pages 101-126, September, 2014.

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.

M. Pichler, S. Eder, M. Larcher. About probabilistic graphical models in probabilistic avalanche science: The case of stop or go. Proceedings of the International Snow Science Workshop - ISSW 2014, pages 1071-1078, October, 2014.

Abstract State Machines, Alloy, B, TLA, VDM and Z (Proceedings ABZ 2014). In Y. Ait-Ameur, K. Schewe (editors), Lecture Notes of Computer Science, volume 8477, June, 2014.

ABZ 2014: The Landing Gear Case Study - Case Study Track at ABZ 2014. In F. Boniol, V. Wiels, Y. Ait-Ameur, K. Schewe (editors), Communications in Computer and Information Science, volume 433, 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.

J. Martínez Gil. An overview of knowledge management techniques for e-recruitment. Journal of Information & Knowledge Management, volume 13, number 2, pages 1450014-1-1450014-9, DOI: 10.1142/S0219649214500142, June, 2014.

J. Martínez Gil, M. Pichler. Analysis of word co-occurrence in human literature for supporting semantic correspondence discovery. Proceedings of the 14th International Conference on Knowledge Technologies and Data-driven Business - i-Know 2014, pages DOI 10.1145/2637748.2638422, November, 2014.

M. Biró, R. Messnarz, R. Colomo-Palacios. Application themes of software process assessment and improvement. Journal of Software: Evolution and Process, Special Issue: Software Process Assessment and Improvement (EuroSPI 2011), volume 26, number 3, pages 281-283, March, 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.

B. Dorninger, W. Beer, M. Moser, R. Zeilinger, A. Kern. Automated reengineering of industrial HMI screens by static analysis. Proceedings of the 19th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA2014), pages DOI: 10.1109/ETFA.2014.7005269, IEEE Xplore, October, 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.

G. Buchgeher, R. Weinreich. Automatic reference architecture conformance checking for SOA-based software systems. Proceedings of the 11th Working IEEE/IFIP Conference on Software Architecture - WICSA 2014, pages 95-104 DOI 10.1109/WICSA.2014.22, IEEE, April, 2014.

R. Ramler, J. Himmelbauer, T. Natschläger. Building defect prediction models in practice. In I. Ghani, W. Wan Kadir, M. Ahmad (editors), Handbook of Research on Emerging Advancements and Technologies in Software Engineering, pages 540-565, IGI Global, April, 2014.

I. Al-Shyoukh, G. Chasparis, J. Shamma. Coevolutionary modeling in network formation. Proceedings of the 2nd IEEE Global Conference on Signal and Information Processing -GlobalSIP 2014, pages 727-731, IEEE, December, 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.

F. Ferrarotti, G. Grossmann, K. Schewe, Q. Wang. Conceptual modelling with specific focus on service-oriented systems. Journal of Universal Computer Science, Special Issue on "Conceptual Modelling with Specific Focus on Service-Oriented Systems", volume 20, number 3, pages 254-256, May, 2014.

G. Buchgeher, R. Weinreich. Continuous software architecture analysis. In M. Ali Babar, A. Brown, K. Koskimies, I. Mistrik (editors), Agile Software Architecture, pages 161-188, Morgan Kaufmann, January, 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.

P. Traxler, M. Zhariy. Efficient sensor placement in flow networks and sensor networks. DX'14 - 25th Edition of the International Workshop on Principles of Diagnosis, Graz, Austria, September 8-11, 2014, pages http://dx-2014.ist.tugraz.at/papers/DX14_Tue_PM_posters_paper7.pdf, September, 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.

F. Ferrarotti, W. Ren, J. Turull Torres. Expressing properties in second- and third-order logic: hypercube graphs and SATQBF. Logic Journal of the IGPL: Special Issue: The Proceedings of the XVI EBL - 16th Brazilian Logic Conference 2011, volume 22, number 2, pages 355-386, DOI: 10.1093/jigpal/jzt025, April, 2014.

T. Wetzlmaier, R. Ramler. Extracting dependencies from software changes: an industry experience report. Proceedings of the joint conference of the 24th International Workshop on Software Measurement (IWSM) and the 9th International Conference on Software Process and Product Measurement (Mensura) - IWSM MENSURA 2014, pages 163-168 DOI 10.1109/IWSM.Mensura.2014.12, October, 2014.

M. Biró. Functional safety, traceability, and open services. In L. Madeyski, M. Ochodek (editors), Software Engineering from Research and Practice Perspectives - Scientific Papers of the Polish Information Processing Society Scientific Council, pages 73-82, September, 2014.

B. Zauner, T. Natschläger. Fused stage-wise lasso – a waveband selection algorithm for spectroscopy. May, 2014.

M. Tropman-Frick, T. Ziebermayr. Generic approach for dynamic disaster management system component. In F. Morvan, R. Wagner, A. Tjoa (editors), Proceedings of the 25th International Workshop on Database and Expert Systems Applications - DEXA 2014, pages 160-164, 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.

V. Geist, C. Illibauer, F. Kossak, A. Mashkoor. Improving the understandability of formal specifications: An experience with ASMs. Requirements Engineering: Foundation for Software Quality - Proc. REFSQ 2014, Lecture Notes of Computer Science, volume 8396, pages 184-199, Springer, April, 2014.

M. Pichler, M. Rutzinger, H. Neiss. insightTourism – Towards understanding online behavior of tourists. e-Review of Tourism Research (eRTR), volume 11, number 3/4, pages 50-53, October, 2014.

M. Felderer, R. Ramler. Integrating risk-based testing in industrial test processes. Software Quality Journal, volume 22, number 3, pages 543-575, September, 2014.

Journal of Software: Evolution and Process, Special Issue: Software Process Assessment and Improvement (EuroSPI 2011). In M. Biró, R. Messnarz, R. Colomo-Palacios (editors), volume 26, pages 281-365, March, 2014.

Journal of Software: Evolution and Process, Special Issue: Software process improvement leveraged in various application domains. In M. Biró, R. Messnarz, R. Colomo-Palacios (editors), volume 26, pages 465-529, May, 2014.

Journal of Universal Computer Science, Special Issue on "Conceptual Modelling with Specific Focus on Service-Oriented Systems". In F. Ferrarotti, G. Grossmann, K. Schewe, Q. Wang (editors), volume 20, pages 254-431, May, 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.

F. Kossak. Landing gear system: An ASM-based solution for the ABZ’14 case study. Technical Report SCCH-TR-1415 with the complete model and proofs.. Technical Report, March, 2014.

T. Hoch. Mechanistic soft-sensor development for physiological and morphological characterization of filamentous fungi cultivations. Poster, February, 2014.

T. Grubinger, M. Roßbory, H. Schöner, M. Zwick. ModControl Springback. Technical Report, June, 2014.

G. Chasparis, T. Natschläger. Nonlinear system identification of thermal dynamics in buildings. Proceedings of the 13th European Control Conference 2014 (ECC), pages 1649-1654, EUCA, June, 2014.

B. Moser. On a multisection style binomial summation identity for Ffibonacci numbers. International Journal of Contemporary Mathematical Sciences, volume 9, number 4, pages 175-186, March, 2014.

B. Moser, T. Natschläger. On stability of distance measures for event sequences induced by level-crossing sampling. IEEE Transactions on Signal Processing, volume 62, number 8, pages 1987-1999 DOI:10.1109/TSP.2014.2305642, April, 2014.

M. Pichler, D. Leber. On the formalization of expert knowledge: A disaster management case study. In F. Morvan, R. Wagner, A. Tjoa (editors), Proceedings of the 25th International Workshop on Database and Expert Systems Applications - DEXA 2014, pages 149-153, CPS, September, 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.

R. Ramler, J. Gmeiner. Practical challenges in test environment management. Proceedings of the 7th IEEE International Conference on Software Testing, Verification and Validation - ICST 2014, pages 358-359 DOI 10.1109/ICSTW.2014.41, IEEE, April, 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.

M. Habringer, M. Moser, J. Pichler. Reverse engineering PL/SQL legacy code: An experience report. Proceedings of the 30th International Conference on Software Maintenance and Evolution - ICSME 2014, pages 553-556 DOI 10.1109/ICSME.2014.93, October, 2014.

G. Stübl. Robust defect detection for near-regular textures based on Hermann Weyl’s discrepancy measure. PhD thesis, Software Competence Center Hagenberg GmbH/KVS, January, 2014.

W. Pereira de Jesus, A. Bögl, T. Natschläger. Sensitivity analysis and validation of an EnergyPlus model of a house in Upper Austria. Pre-Proceedings of the International Conference on Sustainability in Energy and Building (SEB-14), pages 335-344, Elsevier, June, 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.

M. Biró, R. Messnarz, R. Colomo-Palcios. Software process improvement leveraged in various application domains (editorial). Journal of Software: Evolution and Process, Special Issue: Software process improvement leveraged in various application domains, volume 26, number 5, pages 465-467 DOI: 10.1002/smr.1612, May, 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.

M. Moser, R. Ramler. Static analysis for industrial automation systems (Tutorial). May/June, 2014.

G. Chasparis, T. Natschläger. Supervisory system identification for bilinear systems with application to thermal dynamics in buildings. Proceedings of the 2014 IEEE Multi-Conference on Systems and Control - MSC 2014, pages 832-837, October, 2014.

M. Zwick, H. Schöner, S. F.Rezaie. SymReg-MT: Iterative multi-task feature learning through weighted symbolic regression. LMCE 2014 - 1st International Workshop on Learning over Multiple Context, Nancy, France, September 19, 2014, pages http://users.dsic.upv.es/~flip/LMCE2014/Papers/lmce2014_submission_14.pdf, September, 2014.

B. Moser. The range of a simple random walk on Z: An elementary combinatorial approach. The Electronic Journal of Combinatorics, volume 22, number 4, pages #P.10, December, 2014.

P. Traxler. The relative exponential time complexity of approximate counting satisfying assignments. IPEC 2014 - 9th International Symposium on Parameterized and Exact Computation, Breslau, Polen, September 10-12, 2014, September, 2014.

P. Schnitzhofer, F. Schnitzhofer, R. Ramler. Tool support for reuse-driven elicitation and specification of user requirements. Proceedings of the 2014 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA2014), pages 267-268 DOI 10.1109/SEAA.2014.73, IEEE, August, 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.

C. Artho, K. Hayamizu, R. Ramler, Y. Yamagata. With an open mind: How to write good models. Formal Techniques for Safety-Critical Systems - Proc. FTSCS 2013, Communications in Computer and Information Science, volume 419, pages 3-18 (DOI 10.1007/978-3-319-05416-2_2), Springer, April, 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.

G. Chasparis, A. Rantzer, K. Jörnsten. A decomposition approach to multi-region o ptimal power flow in electricity networks. Proceedings of the 12th biannual European Control Conference (ecc2013), pages 3018-3024, July, 2013.

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, January, 2013.

M. Pfeiffer, J. Pichler, M. Moser. A DSL for interface programming in robot welding domain. Technical Report, November, 2013.

C. Natschläger, K. Schewe. A flattening approach for attributed type graphs with inheritance in algebraic graph transformation. Electronic Communications of the EASST, volume volume 47 Graph Transformation and Visual Modeling Techniques 2012, pages http://journal.ub.tu-berlin.de/eceasst/issue/view/61, July, 2013.

F. Stallinger, R. Neumann. A framework for innovations system customization for product line-based software business. In O. Demirors, O. Turetken (editors), Proceedings of the 39th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA 2013), pages 94-97, IEEE, September, 2013.

M. Maggio, E. Bini, G. Chasparis, K. Arzén. A game-theoretic resource manager for RT applications. Proceedings of the 25th Euromicro Conference on Real-Time Systems (ECRTS 2013), pages DOI 10.1109/ECRTS.2013.17, July, 2013.

C. Natschläger, V. Geist. A layered approach for actor modelling in business processes. Business Process Management Journal, volume 19, number 6, pages 917-932, August, 2013.

V. Wieser. A novel illumination technique for specular textured surfaces and its high performance implementation using auto-parallelization techniques. PhD thesis, Software Competence Center Hagenberg/KVS, June, 2013.

R. Ramler, K. Wolfmaier, T. Kopetzky. A replicated study on random test case generation and manual unit testing: How Many bugs do professional developers find?. Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference - COMPSAC 2013, pages 484-491, IEEE, July, 2013.

R. Ramler, W. Putschögl. A retrospection on building a custom tool for automated system testing. Proceedings of the 2013 IEEE 37th Annual Computer Software and Applications Conference - COMPSAC 2013, pages 820-821, IEEE, July, 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.

H. Ma, K. Schewe. An algebra for geometric conceptual modelling. Electronic Proceedings of the 23rd European Japanese Conference on Information Modelling and Knowledge Bases (EJC 2013), pages 184-202, June, 2013.

B. Thalheim, M. Troppmann-Frick, T. Ziebermayr. Application of generic workflows for disaster management. Electronic Proceedings of the 23rd European Japanese Conference on Information Modelling and Knowledge Bases (EJC 2013), pages 68-85, June, 2013.

G. Chasparis, B. Moser. Architecture for modeling and optimization of agro-silvo-pastoral (ASP) systems. Technical Report, January, 2013.

F. Stallinger, R. Neumann, R. Schossleitner. Assessing software product management capability: An industry validation case study. Software Process Improvement and Capability Determination - Proc. SPICE 2013, Communications in Computer and Information Science, volume 349 2013, pages 95-106, Springer, June, 2013.

H. Ma, R. Noack, K. Schewe, B. Thalheim, Q. Wang. Complete conceptual schema algebras. Fundamenta Informaticae, volume 123, pages 1-26, February, 2013.

Computer Standards & Interfaces, Special Issue on EuroSPI 2012. In R. Colomo Palacios, R. Messnarz, M. Biró (editors), volume 36, pages 1-262, August, 2013.

G. Buchgeher. Continuous software architecture analysis. PhD thesis, Decenber, 2013.

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, March, 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.

G. Chasparis, M. Maggio, K. Årzén, E. Bini. Distributed management of CPU resources for time-sensitive applications. Proceedings of the 2013 American Control Conference (ACC 2013), pages 5325-5332, June, 2013.

M. Pfeiffer, J. Pichler, M. Moser. Eine Sprache zur Formulierung der Schnittstelle zwischen Schweißgeräten und Robotern. Technical Report, November, 2013.

F. Stallinger, R. Neumann. Enhancing ISO/IEC 15288 with reuse and product management: An add-on process reference model. Computer Standards & Interfaces, Special Issue on EuroSPI 2012, volume 36, number 1, pages 21-32, August, 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.

R. Ramler, M. Felderer. Experiences from an initial study on risk probability estimation based on expert opinion. Proceedings of the Joint Conference of the 23rd International Workshop on Software Measurement (IWSM) and the Eighth International Conference on Software Process and Product Measurement (Mensura), pages 93-97, October, 2013.

J. Pichler. Extraction of documentation from fortran 90 source code: An industrial experience. In A. Cleve, F. Ricca, M. Cerioli (editors), Proceedings of the 17th European Conference on Software Maintenance and Reengineering (CSMR 2013), pages 99-402 (DOI: 10.1109/CSMR.2013.58), IEEE, April, 2013.

P. Traxler. Fault detection of large amounts of photovoltaic systems. Online Proceedings of the ECML PKDD 2013 Workshop on Data Analytics for Renewable Energy Integration (DARE'13), pages http://www.ecmlpkdd2013.org/wp-content/uploads/2013/09/dare2013_paper4_traxler.pdf, 2013.

W. Beer, M. Winterer, B. Dorninger. Flexible and reliable software architecture for industrial user interfaces. Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2013), pages electronically etfa2013_R101, September, 2013.

B. Zauner, T. Natschläger. Fused stage-wise lasso – A waveband selection algorithm for spectroscopic data. Poster, November, 2013.

W. Beer, W. Hargassner, C. Derwein, S. Herramhof. General framework for context-aware recommendation of social events. In M. Negnevitsky, P. Lorenz (editors), Proceedings of the 2nd International Conference on Intelligent Systems and Applications (INTELLI 2013), pages 141-146, IARIA, April, 2013.

K. Schewe. Horizontal and vertical business process model integration. In H. Decker et al. (editors), Database and Expert Systems Applications - Proc. DEXA 2013, Part I, Lecture Notes of Computer Science, volume 8055, pages 1-3, Springer, August, 2013.

D. Draheim, T. Kopetzkzy, J. Küng. How to make mobile BPM robust and intelligent. In L. Fischer (editor), iBPMS - Intelligent BPM Systems: Impact and Opportunity, pages 107-116, Future Strategies Inc., October, 2013.

W. Beer, C. Derwein, S. Herramhof. Implementation of a map-reduce based context-aware recommendation engine for social music events. International Journal On Advances in Intelligent Systems, volume 6, number 3&4, pages 367-375, December, 2013.

W. Beer, C. Derwein, S. Herramhof. Implementation of context-aware Item recommendation through MapReduce data aggregation. Proceedings of the 11th International Conference on Advances in Mobile Computing & Multimedia - MoMM 2013, pages 26-32, ACM, December, 2013.

M. Biró, R. Messnarz, R. Colomo Palacios. Industrial experiences with software process assessment and improvement: (Special Issue with Selected Industrial Experience Papers of EuroSPI2 2010) (editorial). Journal of Software: Evolution and Process, Special Issue: Selected Industrial Experience Papers of EuroSPI 2010, volume 25, number 4, pages 325-327 DOI: 10.1002/smr.575, April, 2013.

Journal of Software: Evolution and Process, Special Issue: Selected Industrial Experience Papers of EuroSPI 2010. In M. Biró, R. Messnarz, R. Colomo Palacios (editors), volume 25, pages 325-406, April, 2013.

K. Schewe, Q. Wang. Knowledge-aware identity services. Knowledge and Information Systems, volume 36, number 2, pages 335-357, August, 2013.

W. Beer, H. Stummer, M. Winterer. Maschinen wie eine App bedienen: Anforderungen an Multitouch-Bedienung in der Industrie. OBJEKTspektrum, number 2, pages 67-70, March, 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.

J. Martínez-Gil, B. Freudenthaler, T. Natschläger. Modeling user behavior through electricity consumption patterns. In F. Morvan, A. M. Toja, R. R. Wagner (editors), 24th International Workshop on Database and Expert Systems Applications, pages 204-213, CPS, August, 2013.

R. Ramler, J. Himmelbauer. Noise in bug report data and the impact on defect prediction results. Proceedings of the Joint Conference of the 23rd International Workshop on Software Measurement (IWSM) and the Eighth International Conference on Software Process and Product Measurement (Mensura), pages 173-180, October, 2013.

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. (editors), EUROCAST 2013 Computer Aided Systems Theory Extended Abstracts, pages 100-101, IUCTC Universidad Las Palmas, February, 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. 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. (editors), EUROCAST 2013 Computer Aided Systems Theory Extended Abstracts, pages 22-23, IUCTC Universidad Las Palmas, February, 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.

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. (editors), EUROCAST 2013 Computer Aided Systems Theory Extended Abstracts, pages 85-86, IUCTC Universidad Las Palmas, February, 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.

H. Prähofer, F. Angerer, R. Ramler, H. Lacheiner, F. Grillenberger. Opportunities and challenges of static code analysis of IEC 61131-3 programs. Proceedings of the 17th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA2012), pages DOI: 10.1109/ETFA.2012.6489535, IEEE Xplore, May, 2013.

M. Roßbory, W. Reisner. Parallelization of algorithms for linear discrete optimization using ParaPhrase. In F. Morvan, A. M. Toja, R. R. Wagner (editors), 24th International Workshop on Database and Expert Systems Applications, pages 241-245, CPS, August, 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.

F. Angerer, H. Prähofer, R. Ramler, F. Grillenberger. Points-to analysis of IEC 61131-3 programs: Implementation and application. Proceedings of the 18th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA2013), pages electronically etfa2013_98, September, 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.

P. Gómez Pérez, B. Dorninger, W. Beer. Remote rendering of industrial HMI applications. Electronic Proceedings of the 2013 11th IEEE International Conference in Industrial Informatics (INDIN), pages 276-281, July, 2013.

R. Ramler, W. Putschögl. Reusing automated regression tests for multiple variants of a software product line. Proceedings of the 2013 IEEE 6th International Conference on Software Testing, Verification and Validation Workshops (ICSTW2013), pages 122-123, IEEE, March, 2013.

Semantics in Data and Knowledge Systems – Proceedings SDKB 2011. In K. Schewe, B. Thalheim (editors), Lecture Notes in Computer Science, volume 7693, Springer, January, 2013.

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, January, 2013.

M. Zhariy, J. Himmelbauer, M. Scheerer. Sparse signal processing technique in multimodal dispersive SHM. In F. Chang (editor), Proceedings of the 9th International Workshop on Structural Health Monitoring (IWSHM 2013), pages on CD paper No. 1243, September, 2013.

J. Pichler. Specification extraction by symbolic execution. In R. Lämmel, R. Oliveto, R. Robbes (editors), Proceedings of the 20th Working Conference on Reverse Engineering (WCRE 2013), pages 462-466, October, 2013.

F. Angerer, H. Prähofer, R. Ramler. Static code analysis for Kemro IEC 61131-3 programs: Requirements, methods, implementation, and results. Technical Report, number SCCH-TR-1301, January, 2013.

M. Pawliczeck, B. Zauener, T. Natschläger, W. Märzinger, T. Reischer, M. Nowak, W. Kantner, J. Kasberger. Temperature correction for NIR-spectroscopic online-monitoring of a process parameter in melamine resin production. Poster, November, 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.

T. Kopetzky. Towards a formal data model for BPMN as part of an ASM ground model. Technical Report, June, 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.

G. Buchgeher, R. Weinreich. Towards continuous reference architecture conformance analysis. In K. Dira (editor), Software Architecture - Proc. ECSA 2013, Lecture Notes in Computer Science, Lecture Notes in Computer Science, volume 7957, pages 332-335, Springer, July, 2013.

G. Buchgeher, C. Salomon, M. Lusser, R. Ramler. Towards tool-support for test case selection in manual regression testing. Proceedings of the 2013 IEEE 6th International Conference on Software Testing, Verification and Validation Workshops (ICSTW2013), pages 74-79, IEEE, March, 2013.

Transactions on Large-Scale Data and Knowledge-Centered Systems X. In S. Liddle, K. Schewe, X. Zhou (editors), Lecture Notes in Computer Science, volume 8220, Springer, September, 2013.

T. Natschläger, B. Zauner. Transfer learning approaches for spectroscopic data. In K. Héberger (editor), Conferentia Chemometrica, Collection of Abstracts, September, 2013.

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, volume 143, pages 61-68, Australian Computer Society, January/February, 2013.

A. Mashkoor, O. Hasan, W. Beer. Using probabilistic analysis for the certification of machine control systems. In A. Cuzzocera et al. (editors), Security Engineering and Intelligence Informatics - Proc. CD-AReS 2013 Workshops, Lecture Notes in Computer Science, volume 8128, pages 305-320, Springer, September, 2013.

C. Natschläger, K. Schewe. A flattening approach for attributed type graphs with inheritance in algebraic graph transformation. In A. Fish, L. Lambers (editors), Local Proceedings of GT-VMT 2012, pages 160-173, March, 2012.

J. Kubovy, F. Kossak, V. Geist. A formal description of the ITIL change management process using abstract state machines. In A. Hameurlain, A. M. Tjoa, R. Wagner (editors), Proceedings of 23rd International Workshops on Database and Expert Systems Applications (DEXA 2012), pages 65-69, IEEE Computer Society, September, 2012.

H. Ma, K. Schewe, B. Thalheim, Q. Wang. A formal model for the interoperability of service clouds. Service-Oriented Computing and Applications, volume 6, number 3, pages 189-205, September, 2012.

F. Stallinger, R. Neumann, R. Plösch, P. Hehenberger, B. Böhm, A. Köhlein, N. Gewald. A framework for evaluating mechatronic objects: A design complexity perspective. Proceedings of the 13th Mechatronics Forum International Conference (Mechatronics 2012), pages 910-917, September, 2012.

B. Peischl, R. Ramler, V. Turlo, S. Mohaci, V. Safronau, T. Walter. A practitioner’s guide to integrating model-based testing in a project’s tool landscape. te Testing Experience, number 17, pages 4-14, March, 2012.

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.

V. Geist, C. Illibauer, F. Kossak, F. Stallinger. Abstract state machines and software requirements specifications. Technical Report, number SCCH-TR-1207, March, 2012.

C. Ernstbrunner, J. Pichler. Aesthetic layout of wiring diagrams. In P. T. Cox, B. Plimmer, P. Rodgers (editors), Diagrammatic Representation and Inference - Proc. DIAGRAMS 2012, volume 7352, pages 80-94, Springer, July, 2012.

M. Biró, M. Korsaa, R. Nevalainen, D. Vohwinkel, T. Schweigert. Agile maturity model: Go back to the start of the cycle. Industrial Proceedings of 19th EuroSPI2 Conference, pages 5.9-5.30, DELTA, 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.

H. Lacheiner, R. Ramler. Application Lifecycle Management als Infrastruktur zur kontinuierlichen Verbesserung des Softwareprozesses. In B. Peischl (editor), Ausgewählte Beiträge zur Anwenderkonferenz für Softwarequalität und Test 2011, pages 60-71, OCG, June, 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.

C. Natschläger, F. Kossak, K. Schewe. BPMN to deontic BPMN: A trusted model transformation. Technical Report, number SCCH-TR-1150, March, 2012.

Challenges in Cloud Computing. Journal "Scalable Computing: Practice and Experience", volume 12, number 4, pages 385-390, December 2011, 2012.

R. Ramler, T. Kopetzky, W. Platz. Combinatorial test design in the TOSCA testsuite: Lessons learned and practical implications. Proceedings of the 5th International Conferences on Software Testing, Verification and Validation, pages 569-572, IEEE, April, 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.

Conceptual modelling and its theoretical foundations - Essays dedicated to Bernhard Thalheim on the occasion of his 60th birthday. In A. Düsterhöft, M. Klettke, K. Schewe (editors), Lecture Notes in Computer Science, volume 7260, Springer LNCS Festschrift, February, 2012.

Conceptual Modelling of Services – Special Issue Journal of Universal Computer Science. In H. Ma, K. Schewe, B. Thalheim, Q. Wang (editors), volume 18, pages 2361-2362, December, 2012.

Database and Expert Systems Applications - Proc. DEXA 2012. In S. Liddle, K. Schewe, A. Tjoa, X. Zhou (editors), Lecture Notes in Computer Science, volume 7446 (Part I), 7447 (Part II), Springer, September, 2012.

C. Natschläger, C. Illibauer, V. Geist. Decomposition and reusability in BPMN. Technical Report, number SCCH-TR-1151, March, 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.

H. Schöner. Denoising 3D images from time-of-flight cameras using extended anisotropic diffusion. SPIE Newsroom, pages DOI: 10.1117/2.1201210.004496, October, 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.

F. Stallinger, R. Neumann. Enhancing ISO/IEC 15288 with reuse and product-orientation: Key outcomes of an add-on process reference model proposal. Industrial Proceedings of 19th EuroSPI2 Conference, pages 8.1-8.11, DELTA, June, 2012.

R. Colomo-Palacios, R. Messnarz, M. Biró. European Systems and Software Process Improvement and Innovation (EuroSPI) (editorial). IET Software, volume 6, number 5, pages 403-404, October, 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.

M. Mayrhofer. Evaluierung von leistungsfähigen Stereo Vision Algorithmen. Master thesis, Software Competence Center Hagenberg/KVS, May, 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.

C. Natschläger. Extending BPMN with Deontic Logic. In C. Natschläger-Carpella (editor), Logos Verlag, 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.

A. Mashkoor, O. Hasan. Formal probabilistic analysis of cyber-physical transportation systems. In B. Murgante et al. (editors), Cumputational Science and Its Applications - Proc. ICCSA 2012, Part III, Lecture Notes in Computer Science, volume 7335, pages 419-434, Springer, June, 2012.

F. Stallinger, R. Neumann. From software to software system products: An add-on process reference model for enhancing ISO/IEC 12207 with product management and system-level reuse. In V. Cortellessa. H. Muccini, O. Demirors (editors), Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), pages 307-314, IEEE Computer Society, September, 2012.

B. Moser. Geometric characterization of Weyl’s Discrepancy Norm in terms of its n-dimensional unit balls. Journal Discrete & Computational Geometry (DCG), volume 48, number 4, pages 793-806, December, 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.

M. Biró. Historical perspective on the state of software process improvement. Informatika, volume XIV, number 2, pages 14-18, September, 2012.

IET Software, Special Issue: European Systems and Software Process Improvement and Innovation (EuroSPI). In R. Colomo-Palacios, R. Messnarz, M. Biró (editors), volume 6, pages 403-460, October, 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.

V. Geist, C. Natschläger, D. Draheim. Integrated framework for seamless modeling of business and technical aspects in process-oriented enterprise applications. International Journal of Software Engineering and Knowledge Engineering (IJSEKE), volume 22, number 5, pages 645-674, August, 2012.

Journal of Software: Evolution and Process, Special Issue: Software, Systems and Service Process Improvement (EuroSPI 2009). In M. Biró, R. Messnarz (editors), volume 24, pages 455-601, August, 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. Schewe, Q. Wang. On the decidability and complexity of identity knowledge representation. In S. Lee et al. (editors), Database Systems for Advanced Applications - Proc. DASFAA 2012, Part I, Lecture Notes in Computer Science, volume 7238, pages 288-302, Springer, April, 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. Illibauer, V. Geist, F. Kossak. Open questions regarding events. Technical Report, number SCCH-TR-1226, June, 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.

G. Czech, J. Pichler. Potential and limitation of automatic user interface generation from XML schemas in engineering domains. Technical Report, number SCCH-TR-1267, November, 2012.

K. Schewe, Q. Wang. Preferential refinements of abstract state machines for service mediators. In A. Tang, H. Muccini (editors), Proceedings of 12th International Conference on Quality Software (QSIC 2012), pages 158-166, IEEE Computer Society, August, 2012.

F. Stallinger, R. Neumann, W. Simunek, B. Böhm, A. Köhlein. Qualitative evaluation of mechatronic products: An industry validation case study. Proceedings of the 13th Mechatronics Forum International Conference (Mechatronics 2012), volume 3, pages 804-811, September, 2012.

R. Ramler, M. Schmidt, D. Winkler. Random test case generation and manual unit testing: substitute or complement in retrofitting tests for legacy code?. In V. Cortellessa. H. Muccini, O. Demirors (editors), Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), pages 286-293, IEEE Computer Society, September, 2012.

C. Lettner, W. Kirchmayr, F. Kokert, M. Habringer, M. Pichler. RDFreduce: Supporting diverse knowledge perspectives on heterogeneous data sources in the industrial systems domain. Proceedings of the 17th International Conference on Information Quality (ICIQ 2012), pages electronically, November, 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. Siakas, M. Sicilia, M. Biró, K. Triantafillou. Social responsibility management: A preparatory study in higher education with suggestions for process reference models. Industrial Proceedings of 19th EuroSPI2 Conference, 7.17-7.31, DELTA, June, 2012.

V. Wieser, P. Holzenspies, R. Kirner, M. Roßbory. Statistical performance analysis with dynamic workload using S-NET. January, 2012.

M. Moser, J. Pichler. Supporting program translation by refactoring. Technical Report, number SCCH-TR-1268, November, 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.

M. Biró, R. Messnarz. Topics in software, systems and service process improvement (editorial). Journal of Software: Evolution and Process, Special Issue: Software, Systems and Service Process Improvement (EuroSPI 2009), volume 24, number 5, pages 455-458; DOI: 10.1002/smr.506, August, 2012.

F. Stallinger, R. Neumann. Towards a unified framework for software product management: Identification for key outcomes. Technical Report, number SCCH-TR-1211, PQE, March, 2012.

R. Weinreich, G. Buchgeher. Towards supporting the software architecture life cycle. Journal of Systems and Software, volume 85, number 3, pages 546-561, March, 2012.

Transactions on Large-Scale Data- and Knowledge-Centered Systems VI (Special issue on Database- and Expert-Systems Applications). In S. Liddle, K. Schewe, X. Zhou (editors), Lecture Notes in Computer Science, volume 7600, Springer, September, 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.

R. Ramler, T. Kopetzky, W. Platz. Value-based coverage measurement in requirements-based testing: Lessons learned from an approach implemented in the TOSCA testsuite. In V. Cortellessa. H. Muccini, O. Demirors (editors), Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2012), pages 363-366, IEEE Computer Society, September, 2012.

A. Sali, K. Schewe. Weak functional dependencies on trees with restructuring. Acta Cybernetica, volume 20, number 2, pages 285-329, December 2011, 2012.

T. Kopetzky, V. Geist. Workflow charts and their precise semantics using abstract state machines. In S. Rinderle-Ma, M. Weske (editors), Proceedings of EMISA 2012 Der Mensch im Zentrum der Modellierung, Lecture Notes in Informatics, volume P-206, pages 11-24, Gesellschaft für Informatik e.V., September, 2012.

T. Ziebermayr, B. Freudenthaler. A proposal for anarchy in SOA governance: Make services, not rules. In F. Morvan, A. M. Tjoa, R. R. Wagner (editors), Proceedings of the 22 International Workshop on Database and Expert Systems Applications, pages 56-59, IEEE, August/September, 2011.

T. Ziebermayr, J. Huber, S. Kollarits, M. Ortner. A proposal for the application of dynamic workflows in disaster management: A process model language customized for disaster management. In F. Morvan, A. M. Tjoa, R. R. Wagner (editors), Proceedings of the 22 International Workshop on Database and Expert Systems Applications, pages 284-288, August/September, 2011.

B. Moser. A similarity measure for image and volumetric data based on Hermann Weyl's discrepancy. IEEE Transactions on Pattern Analysis and Machine Intelligence, volume 33, number 11, pages 2321-2329, November 2011, 2011.

K. Schewe, B. Thalheim. About Semantics. In K. Schewe, B. Thalheim (editors), Semantics in Data and Knowledge Systems (Revised Selected Papers 4th Int. Workshop), Lecture Notes in Computer Science, volume 6834, pages 1-23, Springer, August, 2011.

T. Steinmaurer. Aggregatstabellen im Open Source ROLAP-Umfeld am Fallbeispiel einer Integrierten Sensordaten-Analyseplattform (ISDAP). BI Spektrum, volume 6. Jahrgang, number 4, pages 32-36, October, 2011.

H. Lacheiner, R. Ramler. Application lifecycle management as infrastructure for software processes improvement and evolution: Experience and insights from industry. In S. Biffl, M. Koivuluoma, P. Abrahamsson (editors), Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications - SEAA 2011, pages 286-293, IEEE, August/September, 2011.

R. Ramler, T. Natschläger. Applying heuristic approaches for predicting defect-prone software components. February, 2011.

G. Buchgeher, R. Weinreich. Automatic tracing of decisions to architecture and implementation. Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture - WISCA2011, pages 46-55, IEEE, June, 2011.

B. Freudenthaler. CBRSHM - A case-based decision support system for semi-automated assessment of structures in terms of structural health monitoring. In A. Ram, N. Wiratung (editors), Proceedings of the 19th International Conference on Case Based Reasoning (ICCBR 2011), Lecture Notes in Artificial Intelligence, volume 6880, pages 437-451, Springer, September, 2011.

H. Ma, K. Schewe, B. Thalheim, Q. Wang. Cloud Warehousing. Journal of Universal Computer Science, volume 17, number 8, pages 1183-1201, August, 2011.

H. Ma, K. Schewe. Conceptual geometric modelling. In D. Embley, B. Thalheim (editors), Handbook of Conceptual Modelling, pages 421-440, Springer, March, 2011.

A. Düsterhöft, K. Schewe. Conceptual modelling of application stories. In D. Embley, B. Thalheim (editors), Handbook of Conceptual Modelling, pages 359-377, Springer, March, 2011.

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. Discrete geometric foundation of event based imaging approach. Technical Report, KVS, September, 2011.

J. Huber, T. Ziebermayr. Dynamic Workflows: State of the Art. Technical Report, EAP, July, 2011.

T. Steinmaurer. Firebird 3 Vorschau - Teil 1 einer dreiteiligen Artikelreihe. Entwickler Magazin, number 4, pages 88-91, April, 2011.

T. Steinmaurer. Firebird 3 Vorschau - Teil 2 einer dreiteiligen Artikelreihe. Entwickler Magazin, number 5,2011, pages 91-94, August, 2011.

T. Steinmaurer. Firebird 3 Vorschau - Teil 3 einer dreiteiligen Artikelreihe. Entwickler Magazin, number 6,2011, pages 91-94, October, 2011.

W. Beer. GeoPointer – approaching tangible augmentation of the real world. International Journal of Pervasive Computing and Communications, volume 7, number 1, pages 60-74, April, 2011.

A. Mashkoor, J. Jacquot. Guidelines for formal domain engineering in Event-B. Proceedings of the 2011 IEEE International Symposium on High-Assurance Systems Engineering, pages 138-145, IEEE, November, 2011.

F. Stallinger, R. Neumann, R. Plösch, P. Hehenberger, B. Böhm, A. Köhlein, N. Gewald. Improving mechatronical engineering: an artifact-assessment-based approach. Proceedings of the 16th IEEE International Conference on Emerging technologies and Factory Automation- ETFA'2011, pages on Memorystick, September, 2011.

V. Geist. Integrated executable business process and dialogue specification. PhD thesis, Software Competence Center Hagenberg GmbH/EAP, July, 2011.

E. Sonnleitner, H. Kosorus, R. Stumptner, J. Küng, S. Anderlik, B. Freudenthaler, H. Allmer. Integration of data mining operations for structural health monitoring. Proceedings of the 8th International Workshop on Structural Health Monitoring - IWSHM 2011, DEStech Publications, September, 2011.

S. Nica, R. Ramler, F. Wotawa. Is mutation testing scalable for real-world software projects?. In T. Kanstrén (editor), Proceedings of the 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011), pages 40-45, Xpert Publishing Services, October, 2011.

R. Ramler. Kurzbericht zu Lösungen für das Application Lifecycle Management 2011. Technical Report, number SCCH-TR-1101, PQE, January, 2011.

W. Hargassner, B. Dorninger. Leveraging OSGi and eclipse technologies for a service oriented middleware in industrial machines. Electronical Proceedings of the 16th IEEE International Conference on Emerging technologies and Factory Automation- ETFA'2011, pages on Memorystick, IEEE, September, 2011.

F. Stallinger, R. Neumann, R. Schossleitner, R. Zeilinger. Linking software life cycle activities with product strategy and economics: Extending ISO/IEC 12207 with product management best practices. Proceedings of the 11th International Conference Software Process Improvement and Capability Determination (SPICE 2011), Communications in Computer and Information Science, volume 155, pages 157-168, Springer, May/June, 2011.

F. Stallinger, R. Neumann, R. Schossleitner, S. Kriener. Migrating towards evolving software product lines: Challenges of an SME in a core customer-driven industrial systems engineering context. Proceedings of the 2nd International Workshop on Product LinE Approaches in Software Engineering (PLEASE2011), pages 15-19, ACM, May, 2011.

F. Kossak, C. Illibauer, V. Geist. Modellling the semantics of BPMN models as an ASM ground model. Technical Report, number SCCH-TR-1148, September, 2011.

B. Thalheim, K. Schewe. Null 'value' algebras and logics. In A. Heimbürger et al. (editors), Information Modelling and Knowledge Bases XXII, Frontiers in Artificial Intelligence and Applications, volume 225, pages 354-367, IOS Press, March, 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.

On transforming a knowledge base from topic maps to OWL. February, 2011.

K. Schewe, Q. Wang. Partial updates in complex-value databases. In A. Heimbürger et al. (editors), Information Modelling and Knowledge Bases XXII, Frontiers in Artificial Intelligence and Applications, volume 225, pages 37-56, IOS Press, March, 2011.

Proceedings "Database and Expert Systems Applications" (DEXA 2011). In S. Liddle, K. Schewe, X. Zhou, A. Hameurlain (editors), Lecture Notes in Computer Science, volume 6860, 6861, Springer, August/September 2011, 2011.

B. Moser. Recent research results in discrepancy norm project. Technical Report, KVS, July, 2011.

B. Peischl, R. Ramler, T. Ziebermayr, S. Mohacsi, C. Preschern. Requirements and solutions for tool integration in software test automation. In T. Kanstrén (editor), Proceedings of the 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011), pages 71-77, Xpert Publishing Services, October, 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.

C. Lettner, W. Kirchmayr, F. Kokert, D. Schmeissl. Semantic Data Management. Technical Report, IDM, September, 2011.

Semantics in Data and Knowledge Systems (Revised Selected Papers 4th Int. Workshop). In K. Schewe, B. Thalheim (editors), Lecture Notes in Computer Science, volume 6834, Springer, August, 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.

R. Ploesch, G. Pomberger, F. Stallinger. Software engineering strategies: Aligning software process improvement with strategic goals. Proceedings of the 11th International Conference Software Process Improvement and Capability Determination (SPICE 2011), Communications in Computer and Information Science, volume 155, pages 221-226, Springer, May/June, 2011.

B. Peischl, R. Ramler, T. Ziebermayr. Solution concepts for an integrated test automation framework. In E. Grosspietsch, K. Klöckner (editors), Proceedings of the Work in Progress Session 37th EUROMICRO Conference on Software Engineering and Advanced Applications - SEAA 2011, SEA-Publications, August/September, 2011.

A. Mashkoor, J. Jacquot. Stepwise Validation Of Formal Specifications. Proceedings if the 18th Asia-pacific Software Engineering Conference (APSEC’11), IEEE, December, 2011.

The Christian Doppler Laboratory for Client-Centric Cloud Computing. Technical Report, number SCCH-TR-1130, June, 2011.

C. Natschläger. Towards a BPMN 2.0 Ontology. In R. Dijkman, J. Hofstetter, J. Koehler (editors), Business Process Model and Notation, Lecture Notes in Business Information Processing, volume 95, pages 1-15, November, 2011.

A. Mashkoor, J. Jacquot. Utilizing Event-B for domain engineering: a critical analysis. Requirements Engineering, volume 16, number 3, pages 191-207, 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.

H. Ma, K. Schewe. "Fragmentation of XML documents" Revisited. Journal of Information and Data Management, pages 36-36, June, 2010.

G. Czech, C. Ernstbrunner, J. Pichler. A .NET architecture for model-based domain-expert programming. In R. Fox, W. Golubsk (editors), Proceedings of the IASTED International Conference in Software Engineering, pages 25-32, ACTA Press, February, 2010.

K. Schewe, Q. Wang. A customised ASM thesis for database transformations. Acta Cybernetica, volume 19, number 9, pages 765-805, December, 2010.

K. Schewe, Q. Wang. A formal model for service mediators. In J. Trujillo et al. (editors), Advances in Conceptual Modeling - Applications and Challenges, Proceedings ER 2010 Workshops, Lecture Notes in Computer Science, volume 6413, pages 76-85, Springer, November, 2010.

T. Ziebermayr. A framework for enhanced service reuse in an industrial SOA-context. PhD thesis, Institut fuer Anwendungsorientierte Wissensverarbeitung/EAP, March, 2010.

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. Buchgeher, R. Weinreich. An approach for combining model-based and scenario-based software architecture analysis. Proceedings of the 5th International Conference on Software Engineering Advances (ICSEA 2010), pages 141-148, IEEE Computer Society, August, 2010.

F. Stallinger, J. Vollmar, R. Neumann, R. Plösch. Assessing reuse maturity in complex systems engineering contexts: Experiences and results from the industrial engineering domain. In T. Rout, G. Lami, F. Fabbrini (editors), Proceedings of the 10th International Conference on Software Process Improvement and Capability Determination (SPICE 2010), pages 183-188, May, 2010.

T. Steinmaurer. Audit und Trace Services in Firebird 2.5 - Den neuen Möglichkeiten des Monitorings auf den Zahn gefühlt. February, 2010.

R. Ramler, T. Natschläger. Building defect prediction models in practice. Technical Report, number SCCH-TR-0916, June, 2010.

D. Draheim, V. Geist. Common modeling method for seamless documentation of business and technical aspects in enterprise systems. Technical Report, number SCCH-TR-0839, EAP, June, 2010.

R. Ramler, W. Beer, C. Klammer, K. Wolfmaier, S. Larndorfer. Concept, implementation and evaluation of a web-based software cockpit. Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), pages 385-397, IEEE, September, 2010.

C. Lettner, C. Hawel, B. Freudenthaler, E. Draxler. Conceptual models for metadata integration and architecture evolution. Proceedings of the 2nd International Joint Conference on Knowledge Discovery, Knowledge Engineering and Knowledge Management (IC3K 2010), pages on CD, SciTePress, October, 2010.

M. Stepnicka, U. Bodenhofer, M. Dankova, V. Novak. Continuity issues of the implicational interpretation of fuzzy rules. Fuzzy Sets and Systems, volume 161, number 14, pages 1959-1972, March, 2010.

M. Pfeiffer, C. Pichler, J. Pichler. Ein neuer Ansatz für die Maschinenprogrammierung auf Touchscreens. Tagungsband Industrielles Symposium Mechatronik Automatisierung (ISM 2010), pages on CD, Mechatronic-Cluster, November, 2010.

H. Lacheiner, R. Ramler. Einmal Code und zurück - Traceability im Application Lifecycle Management. Technical Report, PQE, February, 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.

G. Guta. Finite state transducer modification by examples. Technical Report, number SCCH-TR-1040, IDM, September, 2010.

T. Steinmaurer. Firebird 2.5: Evolution statt Revolution - Ein Streifzug durch die Neuerung. pages 81-87, 2010.

H. Ma, K. Schewe. Fragmentation of XML documents. Journal of Information and Data Management, volume 1, number 1, pages 21-34, June, 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.

M. Moser, J. Pichler. Gralability: Tool Support for Usability Testing of Graphical Languages. Technical Report, number SCCH-tR-1046, November, 2010.

C. Natschläger, C. Illibauer, V. Geist, D. Auer. Identifying issues in modeling and model integration - A case study. Technical Report, number SCCH-TR-0948, EAP, June, 2010.

G. Pirklbauer, C. Fasching, W. Kurschl. Improving change impact analysis with a tight integrated process and tool. Proceedings of the7th International Conference on Information Technology: New Generations (ITNG 2010), pages 956-961, April, 2010.

F. Stallinger, R. Plösch, G. Pomberger, J. Vollmar. Integrating ISO/IEC 15504 conformant process assessment and organizational reuse enhancement. Journal of Software Maintenance and Evolution: Research and Practice, volume 22, number 4, pages 307-324, June, 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.

G. Weiß. Intelligent Agents. In H. Bidgoli (editor), The Handbook of Technology Management, volume 3, pages 360-372, Wiley, January, 2010.

K. Wolfmaier, R. Ramler, H. Dobler. Issues in testing collection class libraries. ETOOS'10 Proceedings of the 1st Workshop on Testing Object-Oriented Systems, pages doi: 10.1145/1890692.1890696, ACM, December, 2010.

Journal of Universal Computer Science - Special Issue on "Evolving theories of conceptual modelling". In M. Kirchberg, K. Schewe (editors), volume 16, December, 2010.

R. Ramler, C. Klammer. Kurzbericht zu Lösungen für das Application Lifecycle Management. Technical Report, number SCCH-TR-1001, PQE, February, 2010.

T. Kazmar, M. Smid, M. Fuchs, B. Luber, J. Mattes. Learning cellular texture features in microscopic cancer cell images for automated cell-detection. Proceedings of the 32nd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, pages 49-52, IEEE, 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.

B. Moser, J. Bouchot, G. Stübl. On a Lipschitz Property of Hermann Weyl's discrepancy norm and its relevance. Technical Report, number SCCH-TR-1011, KVS, September, 2010.

J. Bouchot, J. Himmelbauer, B. Moser. On autocorrelation based on Hermann Weyl's discrepancy norm for time series analysis. In A. Prieto (editor), Proceedings of the IEEE World Congress on Computational Intelligence (WCCI 2010), pages 3139 - 3145, IEEE, July, 2010.

K. Schewe, Q. Wang. Partial updates in complex-value databases. Proceedings of the 20th European-Japanese Conference on Information Modelling and Knowledge Bases, pages 45-64, University of Jyväskylä, May, 2010.

G. Buchgeher, R. Weinreich. Paving the road for formally defined architecture description in software development. Proceedings of the 25th Symposium on Applied Computing (SAC 2010), pages 2337-2343, ACM, March, 2010.

Proceedings of the 5th International Conference on Software Engineering Advances ICSEA 2010. In J. Hall, H. Kaindl, L. Lavazza, G. Buchgeher, O. Takaki (editors), 2010.

Quality analysis of surfaces with confluent mottling. Proceedings of the 9th International Conference on Quality Control by Artificial Vision (QCAV'09), pages ID 116, June, 2010.

G. Guta, A. Patarcza, W. Schreiner, D. Varró. Semi-automated correction of model-to-text transformations. Proceedings of International Workshop on Models and Evolution (ME 2010), pages 43-52, October, 2010.

R. Ramler, W. Beer. Software in Zahlen - Die Vermessung von Applikationen. In H. M. Sneed, M. Baumgartner, R. Seidl (editors), pages 314-319, Hanser Verlag, 2010.

R. Ramler, W. Beer. Software-Cockpits auf Basis von Open-Source-Software. Technical Report, number SCCH-TR-1043, PQE, September, 2010.

D. Draheim, C. Illibauer, T. Kopetzky. Specification of business processes and realization as web services. Technical Report, number SCCH-TR-0810, EAP, June, 2010.

M. Moser. State of the art in model-driven development of user interfaces. Technical Report, number SCCH-TR-1024, ISE, June, 2010.

B. Moser, P. Haslinger, T. Kazmar. Texture classification with SVM based on Hermann Weyl’s discrepancy norm. Proceedings of the 9th International Conference on Quality Control by Artificial Vision (QCAV'09), pages ID 115, June, 2010.

R. Ramler, C. Klammer, T. Natschläger. The usual suspects: A case study on delivered defects per developer. Proceedings of the ACM/IEEE 4th Empirical Software Engineering and Measurement Conference (ESEM 2010), ACM, September, 2010.

G. Buchgeher, R. Weinreich. Tool demonstration: A toolkit for architecture-centric software development. Proceedings of the 8th International Conference on the Principles and Practice of Programming in Java (PPPJ 2010), pages 158-161, ACM, September, 2010.

F. Stallinger, R. Neumann, J. Vollmar, R. Plösch. Towards a process reference model for the industrial solutions business: Integrating reuse and product-orientation in the context of systems engineering. In T. Rout, G. Lami, F. Fabbrini (editors), Proceedings of the 10th International Conference on Software Process Improvement and Capability Determination (SPICE 2010), pages 129-139, May, 2010.

R. Ramler, C. Klammer. Towards tool support for risk-driven quality assurance. Proceedings of the Work in Progress Session, SEAA 2010 and DSD 2010, JKU, September, 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.

M. Pfeiffer, J. Pichler. TraDe: A language and its tool support for programming in electrical engineering. In R. Fox, W. Golubski (editors), Proceedings of the IASTED International Conference in Software Engineering, pages 33-40, ACTA Press, February, 2010.

C. Atkinson, D. Draheim, V. Geist. Typed business process specification. Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2010), pages 69-78, IEEE, October, 2010.

H. Ma, R. Noack, K. Schewe, B. Thalheim. Using meta-structures in database design. Informatica, volume 34, number 3, pages 387-403, October, 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.

K. Schewe, Q. Wang. XML database transformations. Journal of Universal Computer Science, volume 16, number 20, pages 3043-3072, December, 2010.

A. Sali, K. Schewe. A Characterisation of Coincidence Ideals for Complex Values. Journal of Universal Computer Science, volume 15, number 1, pages 304-354, January, 2009.

C. Gonzalez-Mocillo, L. Lopez, J. Castro-Schez, B. Moser. A data-mining approach to 3D realistic render setup assistance. In K. Haigh, N. Rychtyckjy (editors), Proceedings of the 21st Innovative Applications of Artificial Intelligence Conference IAAI 2009, pages 93-98, AAAI Press, July, 2009.

M. Pfeiffer, J. Pichler. A DSM approach for end-user programming in the automation domain. Proceedings of the 7th IEEE International Conference on Industrial Informatics (INDIN 2009), pages 142-148, Research Publishing Service, June, 2009.

Q. Wang, K. Schewe, B. Thalheim. A Fixed-Point Query Language for XML. Proceedings EJC 2009, University of Maribor, 2009.

G. Guta, W. Schreiner, D. Draheim. A lightweight MDSD Process applied in small projects. Proceedings oft the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), pages 255-258, IEEE Computer Society, August, 2009.

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.

H. Ma, K. Schewe, B. Thalheim, Q. Wang. A Theory of Data-Intensive Software Services. Service Oriented Computing and Its Applications, volume 3, number 4, pages 263-283, April, 2009.

Agents and data mining interaction. In L. Cao, V. Gorodetsky, J. Liu, G. Weiß, P. Yu (editors), Lecture Notes in Artificial Intelligence, volume 5680, Springer, December, 2009.

T. Steinmaurer. Aggregate tables with Firebird. Entwickler Magazin, number 5,2008, pages 88-94, May, 2009.

H. Ma, R. Noack, K. Schewe. Algebraic Meta-Structure Handling of Huge Database Schemata. In C. Heuser, G. Pernul (editors), Advances in Conceptual Modeling - Challenging Perspectives, Lecture Notes in Computer Science, volume 5833, pages 12-21, Springer, 2009.

T. Kriechbaum, R. Weinreich, T. Ziebermayr. An approach for evolution and versioning of enterprise services. Technical Report, number SCCH-TR-0722, EAP, 2009.

D. Auer, V. Geist, W. Erhart, C. Gunz. An integrated framework for modeling process-oriented enterprise applications and its application to a logistics server system. Proceedings of the 2nd International Symposium in Logistics and Industrial Informatics (LINDI 2009), pages 166-171, eXpress Conference Publishing, September, 2009.

G. Pirklbauer, R. Ramler, R. Zeilinger. An integration-oriented model for application lifecycle management. Proceedings of the 11th International Conference con Enterprise Information Systems (ICEIS 2009), volume volume ISAS, pages 399-403, INSTICC, May, 2009.

R. Ramler, R. Zeilinger. Analyse von Lösungen für das Application Lifecycle Management. Technical Report, number SCCH-TR-0903, PQE, February, 2009.

T. Bérczes, G. Guta, G. Kusper, W. Schreiner, J. Sztrik. Analyzing a proxy cache server performance model with the probablistic model checker PRISM. In D. Ballis, T. Kutsia (editors), Proceedings of 5th International Workshop on Automated Specification and, pages 37-51, July, 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.

C. Natschläger, T. Kopetzky. Classifying and resolving unique constraint violations during synchronization process. Proceedings of the 2nd International Symposium in Logistics and Industrial Informatics (LINDI 2009), pages 160-165, eXpress Conference Publishing, September, 2009.

W. Kurschl, W. Beer. Combining cloud computing and wireless sensor networks. Proceedings of the International Conference on Information Integration and Web-based Applications & Services (iiWAS2009), pages 510-517, ACM and OCG, December, 2009.

T. Kriechbaum, R. Weinreich, T. Ziebermayr. Compatibility rules for the homogeneous evolution of enterprise services. Leipziger Beiträge zur Wirtschaftsinformatik: Proceedings of the 1st International Symposium in Services Science (ISSS 2009), pages 189-200, Logos Verlag Berlin, March, 2009.

S. Larndorfer. Concept, implementation and evaluation of a software cockpit. Master thesis, Internationaler Universitätslehrgang INFORMATICS: Engineering & Management/PQE, June, 2009.

M. Thalheim, K. Schewe, H. Ma. Conceptual Application Domain Modelling. In M. Kirchberg, S. Link (editors), Proceedings of the 6th Asia-Pacific Conference on Conceptual Modelling (APCCM), Conferences in Research and Practice in Information Technology, volume 96, pages 49-57, Australian Computer Society Inc., 2009.

G. Buchgeher, R. Weinreich. Connecting architectures and implementation. On the Move to Meaningful Internet Systems: OTM 2009 Workshops, Lecture Notes in Computer Science, volume 5872, pages 316-326, Springer, November, 2009.

K. Schewe, B. Thalheim, Q. Wang. Customising Web Information Systems According to User Preferences. World Wide Web, volume 12, number 1, pages 27-50, 2009.

S. Larndorfer, R. Ramler, C. Buchwiser. Dashboards, Cockpits und Projektleitstände: Herausforderung "Messsysteme für die Softwareentwicklung". OBJEKTspektrum, number 4/2009, pages 72-77, June, 2009.

Data and Knowledge Engineering, Special Issue on Conceptual Modeling - Selected, Extended Papers from ER 2007. In C. Parent, K. Schewe, V. Storey (editors), volume 68, 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.

J. Pichler, W. Putschögl. Domain specific source code analysis. Technical Report, number SCCH-TR-0912, ISE, March, 2009.

Dynamic Data Warehouse Design with Abstract State Machines. Journal of Universal Computer Science, volume 15, number 1, pages 355-397, January, 2009.

C. Fasching. Ein Visualisierungswerkzeug zur Unterstützung der Auswirkungsanalyse. Master thesis, Software Engineering, FH-Hagenberg, July, 2009.

A. Danila. Enhancing 3D modelling software for inline quality control. Master thesis, Internationaler Universitätslehrgang INFORMATICS: Engineering & Management/KVS, July, 2009.

M. Pfaffenlehner. Entwicklung eines ETL-Werkzeugs zur Unterstützung der Auswirkungsanalyse. Master thesis, Software Engineering, FH-Hagenberg, September, 2009.

G. Schuster. Entwicklung eines Werkzeugs zur dynamischen Abhängigkeitsanalyse mittels Logdateien. Master thesis, Software Engineering, FH-Hagenberg, July, 2009.

S. Larndorfer. Erfolgsfaktoren für die Einführung eines Cockpits zur Planung im Issue Management. Technical Report, number SCCH-TR-0911, PQE, February, 2009.

S. Larndorfer, R. Ramler, C. Buchwiser. Experiences and results from establishing a software cockpit at BMD Systemhaus. Proceedings oft the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), pages 188-194, IEEE Computer Society, August, 2009.

D. Auer, V. Geist, D. Draheim. Extending BPMN with submit/response-style user interaction modeling. In B. Hofreiter, H. Werthner (editors), Proceedings of the 11th Conference on Commerce and Enterprise Computing (CEC'09), pages 368-374, IEEE Computer Society, July, 2009.

W. Hargassner, C. Ernstbrunner, J. Pichler. Fat edges: A new approach for partial persistence of hierarchical data in a relational database. In R. Breu (editor), Proceedings of the IASTED International Conference on Software Engineering (SE 2009), pages 126-135, Acta Press, February, 2009.

T. Steinmaurer. Firebird's road trip and what's new with 2.5. pages 4-12, 2009.

F. Kossak. Formal methods competence at SCCH. Technical Report, number SCCH-TR-0901, January, 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.

Journal of Universal Computer Science: Special Issue on the Workshop "Logic, Abstract State Machines and Databases" (Palmerston North, October 2007). In K. Schewe (editor), volume 15, 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.

G. Guta, B. Moser, T. Natschläger. Machine learning extended by semantic reasoning for knowledge discovery of sensory data. Technical Report, number SCCH-TR-0940, KVS, 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.

C. Natschläger. Objektbasierte Synchronisation in .NET - Betriebswirtschaftliche Analyse und technische Entwicklung einer mobilen Anwendung mit Synchronisation von Datenobjekten in .NET. Master thesis, Information Engineering & Management, FH-Hagenberg/EAP, July, 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.

B. Moser. On the compactness of admissible transformations of fuzzy partitions in terms of T-equivalence relations. Fuzzy Sets and Systems, volume 160, number 1, pages 95-106, January, 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.

Parallel, distributed, and grid computing. pages 333-378, Springer, June, 2009.

D. Pecevski, T. Natschläger, K. Schuch. PCSIM: A parallel simulation environment for neural. Frontiers in Neuroinformatics, volume 3, number 11, pages doi:10.3389/neuro.11/011.2009, May, 2009.

B. Dorninger. ProMoRTE: A process model runtime environment based on OSGi. Proceedings of the 7th IEEE International Conference on Industrial Informatics (INDIN 2009), pages 898-904, Research Publishing Service, June, 2009.

G. Seitz. Secan - Ein Sicherheitsframework for Client/Server-Anwendungen. Master thesis, FH Hagenberg, Software Engineering, January, 2009.

D. Soukup, U. Bodenhofer, M. Mittendorfer-Holzer. Semiautomatic identification of print layers from a sequence of sample images: a case study from banknote print inspection. Image and Vision Computing, volume 27, pages 989-998, 2009.

B. Moser. Similarity measure for image and volumetric data based on Hermann Weyl's discrepancy. IEEE Transactions on Pattern Analysis and Machine Intelligence (TPAMI), volume 99, number 1, pages DOI 10.1109/TPAMI.2009.50, 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.

R. Ramler, R. Zeilinger. State of the art in application lifecycle management. Technical Report, number SCCH-TR-0902, PQE, January, 2009.

G. Buchgeher, R. Weinreich. Tool support for component-based software architectures. Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC'2009), pages 127-134, IEEE Computer Society, December, 2009.

K. Schewe, B. Thalheim, Q. Wang. Updates, Schema Updates and Validation of XML Documents - Using Abstract State Machines with Automata-Defined States. Journal of Universal Computer Science, volume 15, number 10, pages 2028-2057, October, 2009.

M. Kirchberg, K. Schewe, J. Zhao. Using Abstract State Machines for the Design of Multi-Level Transaction Schedulers. In J. Abrial, U. Glaesser (editors), Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday, Lecture Notes in Computer Science, volume 5115, pages 64-76, Springer, 2009.

R. Ramler, S. Larndorfer, T. Natschläger. What software repositories should be mined for defect predictors?. Proceedings oft the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), pages 181-187, IEEE Computer Society, August, 2009.

C. Gonzales-Morcillo, G. Weiß, D. Vallejo-Fernandez, L. Liminez-Linares, J. Albusac-Jimenez. 3D distributed rendering and optimization using free software. European Journal of the Informatics Professional, volume VIII, number 6, pages 45-53, December, 2008.

A. Lopez, K. Fritscher, T. Trieb, R. Schubert, J. Mattes. 3D inter-subject cardiac registration using 4D information. In J. M. Reinhardt; Josien P. W.Pluim (editors), Proceedings of Medical Imaging 2008: Image Processing, volume 6914, pages DOI: 10.1117/12.771386, April, 2008.

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.

M. Pfeiffer, J. Pichler. A comparison of tool support for textual domain-specific languages. Proceedings of the 8th OOPSLA Workshop on Domain-Specific Modeling (DSM’08), pages 1-7, UAP Printing Solutions, October, 2008.

D. Draheim, C. Natschläger. A context-oriented synchronization approach. Electronic Proceedings of the 2nd International Workshop in Personalized Access, Profile Management, and Context Awarness: Databases (PersDB 2008) in conjunction with the 34th VLDB confercence, pages 20-27, August, 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.

G. Pirklbauer, M. Rappl. A novel approach to support change impact analysis in the maintenance of software systems. Proceedings 10th International Conference on Enterprise Information Systems (ICEIS 2008), pages 453-456, Springer, April, 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.

G. Buchgeher, R. Weinreich. An approach for integrated software architecture definition and validation. Proceeding of the 3rd International Conference on Software Engineering Advances (ICSEA 2008), pages 427-436, IEEE Computer Society, October, 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.

K. Wolfmaier. Ausrichtung der IT-Strategie an den Unternehmenszielen eines forschungsorientierten Unternehmens am Beispiel des Software Competence Center Hagenberg. Master thesis, Fachhochschul-Masterstudiengang Information Engineering & -Management, July, 2008.

W. Putschögl. Best practices for OSGi bundle development. Technical Report, number SCCH-TR-0801, ISE, January, 2008.

G. Weiß. Betrachtungen zur agentenorientierten Softwareentwicklung. WissenHeute (Fachzeitschrift der Deutschen Telekom), volume 21, number 4, pages 17-24, April, 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.

G. Katona, A. Sali, K. Schewe. Codes that attain minimum distance in every possible direction. Central European Journal of Mathematics, volume 6, number 1, pages 1-11, 2008.

J. Mattes. Comparing shape and motion of biological and medical objects - methodological aspects and application. 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 63-78, OCG, May, 2008.

C. Lettner, C. Hawel, T. Steinmaurer, D. Draheim. Complex event processing for sensor based data auditing. Proceedings 10th International Conference on Enterprise Information Systems (ICEIS 2008), pages 485-491, Springer, June, 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.

G. Pirklbauer, M. Rappl. Detecting physical and logical dependencies to support change impact. Technical Report, number SCCH-TR-0734, PQE, 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.

GPU computing approach for parallelizing support vector machine classification. Master thesis, Internationaler Universitätslehrgang: Informatics: Engineering & Management/KVS, July, 2008.

J. Pichler, R. Ramler. How to test the intangible properties of graphical user interfaces?. Proceedings First International Conference on Software Testing, Verification, and Validation, pages 494-497, CPS, April, 2008.

W. Beer, J. Pichler, T. Natschläger, B. Moser. Integratives wissensbasiertes Modell Lebenszyklus-Management von Kalkulations- und Prozessmodellen: eine Vision. Tagungsband Industrielles Symposium Mechatronik Automatisierung, pages 241-245, Clusterland Oberösterreich GmbH / Mechatronik-Cluster, October, 2008.

R. Ramler, K. Wolfmaier. Issues and effort in integrating data from heterogeneous software repositories and corporate databases. Proceedings of the 2nd International Symposium on Empirical Software Engineering and Measurement (ESEM'08), pages 330-332, ACM, October, 2008.

A. Sali, K. Schewe. Keys and Armstrong Databases in Trees with Restructuring. Acta Cybernetica, volume 18, number 3, pages 529-556, 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.

K. Schewe, B. Thalheim. Life Cases: A Kernel Element for Web Information Systems Engineering. In J. Filip, J. Cordeiro (editors), Web Information Systems and Technologies - Selected Papers from WebIST2007, Lecture Notes in Business Information Processing, volume 8, pages 139-156, Springer, 2008.

T. Natschläger, W. Traunmüller, K. Reingruber, H. Exner. Lokal optimierte Wetterprognosen zur Regelung stark umweltbeeinflusster Systeme. Tagungsband Industrielles Symposium Mechatronik Automatisierung, pages 281-284, Clusterland Oberösterreich GmbH / Mechatronik-Cluster, October, 2008.

E. Szász-Révai. Loose specification of services exploiting an execution language. Master thesis, Internationaler Universitätslehrgang: Informatics: Engineering & Management/EAP, August, 2008.

B. Moser, T. Hoch. Misalignment measure based on Hermann Weyl's. 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 187-198, OCG, May, 2008.

W. Kurschl, S. Mitsch, J. Schönböck, W. Beer. Modeling wireless sensor networks based context-aware emergency coordination systems. Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services (iiWAS 2008), pages 330-332, ACM, October, 2008.

H. Schöner, B. Moser, E. Lughofer. On preprocessing multi-channel sensor data for online process monitoring. In M. Masoud Mohammadian (editor), Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA 2008), pages 414-419, IEEE Computer Society, December, 2008.

B. Moser, T. Kazmar, P. Haslinger. On the potential of Hermann Weyl's discrepancy norm for texture analysis. In M. Masoud Mohammadian (editor), Proceedings of the International Conference on Computational Intelligence for Modelling, Control and Automation (CIMCA 2008), pages 187-191, IEEE Computer Society, December, 2008.

B. Moser. On well-posedness criteria for optimizing fuzzy systems in terms of t-equivalence relations. Technical Report, number SCCH-TR-0636, KVS, 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.

S. Söll, B. Roither, B. Moser, P. Haslinger, H. Ernst. Rekonstruktion und Bewertung von 3D Profilen von Textiloberflächen mittels der „Shape-From-Shading“ Technolgie. Tagungsband Industrielles Symposium Mechatronik Automatisierung, pages 173-182, Clusterland Oberösterreich GmbH / Mechatronik-Cluster, October, 2008.

B. Moser, M. Smid, J. Mattes, C. Hofer, M. Urban. Robuste und effiziente Konturextraktion zwecks Objekterkennung und - Lokalisierung. Tagungsband Industrielles Symposium Mechatronik Automatisierung, pages 161-169, Clusterland Oberösterreich GmbH / Mechatronik-Cluster, October, 2008.

K. Schewe, B. Thalheim. Semantics in Data and Knowledge Bases. Proceedings SDKB 2008 (EDBT Workshop), Lecture Notes in Computer Science, volume 4925, pages 1-25, Springer, 2008.

Semantics in Data and Knowledge Bases - Proceedings SDKB 2008 (EDBT Workshop). In K. Schewe, B. Thalheim (editors), Lecture Notes in Computer Science, volume 4925, Springer, 2008.

K. Schewe, B. Thalheim. Storyboarding Concepts for Edutainment WIS. In H. Jaakkola, Y. Kiyoki, T. Tokuda (editors), Information and Knowledge Bases XIX, Frontiers in Artificial Intelligence and Applications, volume 166, pages 59-78, IOS Press, 2008.

R. Ramler. The impact of product development on the lifecycle of defects. Proceedings of the 2008 International Symposium on Software Testing and Analysis, International Workshop on Defects in Large Software Systems, pages 21-25, ACM, July, 2008.

A. Beer, R. Ramler. The role of experience in software testing practice. Proceedings of the 34th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2008), pages 258-265, IEEE Computer Society, September, 2008.

Q. Wang, K. Schewe. Towards a Logic for Abstract Meta-Finite State Machines. In S. Hartmann, G. Kern-Isberner (editors), Foundations of Information and Knowledge Systems - Proc. FoIKS 2008, Lecture Notes in Computer Science, volume 4932, pages 365-380, Springer, 2008.

W. Kurschl, W. Gottesheim, S. Mitsch, R. Prokop, J. Schönböck, W. Beer. Towards a unified location tracking system for heterogeneous industrial environments.. Proceedings of the 6th IEEE International Confercne on Industrial Informatics (IEEE INDIN 2008), pages 1267-1272, IEEE Computer Society, July, 2008.

K. Schewe, J. Zhao. Typed Abstract State Machines for Data-Intensive Applications. Knowledge and Information Systems, volume 15, number 3, pages 381-391, 2008.

E. Stauder. Übersicht über die Klassenbibliothek Qt. Technical Report, number SCCH-TR-0831, SAT, 2008.

W. Hargassner. Unterstützung der Durchführung von Forschungs- und Entwicklungsprojekten durch Wissensmanagement am SCCH. Master thesis, Fachhochschul-Masterstudiengang Information Engineering & -Management/SAT, July, 2008.

K. Schewe, B. Thalheim, Q. Wang. Validation of Streaming XML Documents with Abstract State Machines. In G. Kotsis, D. Taniar, E. Pardede, I. Khalil (editors), Proceedings iiWAS 2008 - The 10th International Conference on Information Integration and Web-based Applications & Services, pages 147-153, ACM, 2008.

Web Information Systems Engineering - Proceedings WISE 2008. In J. Bailey, D. Maier, K. Schewe, B. Thalheim, X. Wang (editors), Lecture Notes in Computer Science, volume 5175, Springer, 2008.

T. Natschläger, J. Himmelbauer, H. Schöner, F. Kokert, S. Mitter, H. Exner. Wissensextraktion mittels maschinellen Lernens zum besseren Prozessverständnis in der Stahlerzeugung. Tagungsband Industrielles Symposium Mechatronik Automatisierung, pages 79-87, Clusterland Oberösterreich GmbH / Mechatronik-Cluster, October, 2008.

Q. Wang, K. Schewe, B. Thalheim. XML Database Transformations with Tree Updates. Abstract State Machines, B and Z (Proc. ABZ 2008), Lecture Notes in Computer Science, volume 5175, pages 342, Springer, 2008.

C. Gonzalez-Morcillo, G. Weiß, D. Vallejo, L. Jimenez, J. Fdez-Sorribes. 3D distributed rendering and optimization using free software. Proc. Int. Conf. on Free/Libre/Open Source Systems, pages 52-66, UCA (Spain), March, 2007.

U. Bodenhofer, B. De Baets, J. Fodor. A compendium of fuzzy weak orders: Representations and constructions. Fuzzy Sets and Systems, volume 158, number 8, pages 811-829, 2007.

R. Weinreich, A. Wiesauer, T. Ziebermayr. A component model for integrating remote applications and services via web portals. Journal of Object Technology, volume 6, number 8, pages 67-97, September/October, 2007.

G. Pirklbauer. A framework for change impact analysis in the enhancement and maintenance of software systems. Technical Report, number 735, 2007.

G. Geipel, G. Weiß. A generic framework for argumentation-based negotiation. Proc. 11th International Workshop on Cooperative Information Agents, Lecture Notes in Computer Science, volume 4676, pages 209-224, Springer, September, 2007.

C. Gonzalez-Morcillo, G. Weiß, L. Jimenez, D. Vallejo. A multiagent approach to distributed rendering optimization. Proc. 19th Annual Conf. on Innovative Applications of Artificial Intelligence (IAAI 2007), pages 1775-1780, AAAI Press, Menol Park (CA), July, 2007.

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. Pichler. A novel view on requirements engineering for ubiquitous computing: The innovation perspective. PhD thesis, Johannes Kepler University, July, 2007.

H. Dobler, R. Ramler, K. Wolfmaier. A study of tool support for the evaluation of programming exercises. Computer Aided Systems Theory - EUROCAST 2007, Lecuture Notes in Computer Science, volume 4739, pages 376-386, Springer, 2007.

R. Weinreich, T. Ziebermayr, D. Draheim. A visioning model for enterprise services. Proc. Advanced Information Networking and Applications Workshops/Symposia, pages 570-575, IEEE Computer Society, May, 2007.

O. Mangisengi, M. Pichler, D. Auer, D. Draheim, H. Rumetshofer. Activity warehouse: Data management for business activity monitoring. Proc. 9th. Int. Conf. on Enterprise Information Systems (ICEIS 2007), pages 137-144, INSTICC, June, 2007.

G. Weiß. Agentenorientierte Softwareentwicklung. In H. Schulte (Hrsg.) (editors), Lexikon Informationstechnik und Telekommunikation, Interest Verlag, 2007.

G. Buchgeher, R. Weinreich. An approach for architecture-controlled software development. Technical Report, number 725, ISE, 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.

J. Pichler, H. Prähofer, G. Reisinger, G. Leonhartsberger. Aragon: An industrial strength eclipse tool for MMI design for mobile systems. In W. Hasselbring (editor), Proc. IASTED Int. Conf. on Software Engineering (SE 2007), pages 156-163, ACTA Press, February, 2007.

W. Beer. Automation of integration tests through virtualization. Technical Report, number 731, 2007.

W. Beer. Automatisierung von Integrationstests durch virtualisierte Test-Fixtures. Technical Report, number 732, ISE, 2007.

H. Schöner. Challenges and solutions for process monitoring. ISM Tagungsband, pages 269-274, Clusterland Oberösterreich / Mechatronik-Cluster, October 2007, 2007.

M. Drobics, J. Himmelbauer. Creating comprehensible regression models. Soft Computing - A Fusion of Foundations, Methodologies and Applications, volume 11, number 5, pages 421-438, March, 2007.

M. Brandl. Ein Konfigurationseditor für SCA. Master thesis, Institut für Wirtschaftsinformatik, Johannes Kepler Universität Linz/ISE, November 2007, 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.

M. Zwick, C. Lettner, C. Hawel. Implementing automated analyses in an active data warehouse environment using workflow technology. In D. Draheim, G. Weber (editors), Trends in Enterprise Application Architecture, Lecture Notes in Computer Science, volume 4473, pages 341-354, Springer, 2007.

R. Ramler, K. Wolfmaier, T. Natschläger. Observing distributions in size metrics: Experience from analyzing large software systems. Proc. 31st IEEE Int. Computer Software and Applications Conference, volume II, pages 299-304, IEEE Computer Society, July, 2007.

B. Moser. On the compactness of admissible transformations of fuzzy partitions. Technical Report, number 635, KVS, 2007.

M. Wachsmann. Pattern and object recognition based on feature extraction - A case study for a pick & place application. Master thesis, FH Hagenberg/KVS, September, 2007.

D. Draheim. PleneryTalk: Towards seamless business process and dialogue specification. Proc. 19th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'2007), pages 402-403, July, 2007.

H. Schöner, E. Lughofer. Process monitoring using online anomaly and transient detection with adaptive methods. Technical Report, number SCCH-TR-0717, IDM, March, 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.

Simulation ot network of spiking neuros: A review of tools and strategies. Journal fof Cumputational Neuroscience, volume 23, number 3, pages 349-398, December, 2007.

G. Weiß, M. Nickels, M. Rovatsos, F. Fischer. Specifying the intertwining of coordination and autonomy in agent-based systems. International Journal of Network and Computer Applications, volume 30, number 3, 2007.

B. Moser, P. Haslinger, M. Wachsmann, V. Wieser. State-of-the-Art Methoden für die Objektdetektion und Erkennung für industrielle Anwendungen: datengetriebene versus merkmals- und modellbasierte Methoden. ISM Tagungsband, pages 261-268, Clusterland Oberösterreich / Mechatronik-Cluster, October 2007, 2007.

S. Larndorfer, R. Ramler. TestCockpit: Business intelligence for test management. In P. Müller, P. Liggesmeyer (editors), Proc. of the Work in Progress Session in conjunction with 33rd EUROMICRO Conf. on Software Engineering and Advanced Applications, J. Kepler University Linz, August, 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.

M. Pichler, G. Kotsis. The central role of requirements engineering in a future world of ubiquitous technologies. Technical Report, number SCCH-TR-0701, PQE, January, 2007.

Trends in Enterprise Application Architecture. 2nd Int. Conference, TEAA 2006. In D. Draheim, G. Weber (editors), Lecture Notes in Computer Science, volume 4473, Springer, Oktober 2007, 2007.

B. Moser, P. Haslinger, V. Wieser. Visuelle Expertensystem für die Oberflächenqualitätskontrolle. ISM Tagungsband, pages 253-259, Clusterland Oberösterreich / Mechatronik-Cluster, October 2007, 2007.

T. Kopetzky, D. Draheim. Workflow management and service oriented architecture. Proc. 19th Int. Conf. on Software Engineering and Knowledge Engineering (SEKE'2007), pages 749-750, July, 2007.

F. Stallinger, R. Plösch, H. Prähofer, S. Prummer, J. Vollmar. A process reference model for reuse in industrial engineering: Enhancing the ISO/IEC 15504 framework to cope with organizational reuse maturity. Proc. 6th Int. SPICE Conf. on Process Assessment and Improvement (SPICE 2006), pages 49-56, Mayr, 2006.

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.

A. Dhanda. Active contour methods in medical image processing. Technical Report, number SCCH-TR-0624, 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.

M. Pichler, H. Rumetshofer, W. Wahler. Agile requirements engineering for a social insurance for occupational risks organization: A case study. Proc. 14th IEEE Int. Requirements Engineering Conf. (RE'06), pages 251-256, IEEE Computer Society, September, 2006.

D. Dreher. Analysieren und Verbessern eines agilen Softwareentwicklungsprozesses. Master thesis, 2006.

M. Pichler, H. Rumetshofer. Business process-based requirements modeling and management. Proc. 1st Int. Workshop on Requirements Engineering Visualization (REV'06), IEEE Computer Society, September, 2006.

M. Nickels, F. Fischer, G. Weiß. Communication attitudes: A formal approach to ostensible intentions and individual and group opinions. Electronic Notes in Theoretical Computer Science, volume 157, number 4, pages 95-115, 2006.

B. Moser, U. Bodenhofer. Correspondences between fuzzy equivalence relations and kernels: Theoretical results and potential applications. Proc. 15th IEEE Int. Conf. on Fuzzy Systems, pages 10217-10223, IEEE Press, July, 2006.

B. Moser. Design of knowledge-based kernels by t-equivalences. Technical Report, number SCCH-TR-0610, KVS, 2006.

Die .NET-Technologie Grundlagen und Anwendungsprogrammierung. In W. Beer, D. Birngruber, H. Mössenböck, H. Prähofer, A. Wöß (editors), Dpunkt Verlag, 2006.

R. Ramler, K. Wolfmaier. Economic perspectives in test automation: Balancing automated and manual testing with opportunity cost. Proc. of the Workshop on Automation of Software Test (AST'06) at 28th Int. Conf. on Software Engineering (ICSE'06)., pages 85-91, ACM, May, 2006.

P. Derler. Ein Modell und Werkzeug zum Management von Services. Master thesis, 2006.

D. Draheim, G. Weber. ER 2006 tutorial: Conceptual modeling for emerging web application technologies. Advances in Conceptual Modeling - Theory and Practice. Proc. ER 2006 Workshops, Lecture Notes in Computer Science, volume 4231, pages 1-2, Springer, November, 2006.

S. Larndorfer. Experiences with support vector machines that classify raw image data. Technical Report, number SCCH-TR-0603, 2006.

R. Ramler, D. Winkler. Exploratory testing: An empirical study approach. Proc. Work in Progress Session, 32nd EUROMICRO Conf. in Software Engineering and Advanced Applications (SEAA 2006), SEA-Publications, August/September, 2006.

D. Draheim, G. Weber, C. Lutteroth. Finite state history modeling and its precise UML-based semantics. Advances in Conceptual Modeling - Theory and Practice. Proc. ER 2006 Workshops, Lecture Notes in Computer Science, volume 4231, pages 43-52, Springer, November, 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.

K. Mugrauer. Framework für automatisierte web service unit tests. Master thesis, 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.

U. Bodenhofer. Genetic machine learning. Winter 2005/2006, 2006.

D. Draheim, C. Lutteroth, G. Weber. Graphical user interfaces as documents. 7th Int. Conf. of the ACM's Special Interest Group on Computer-Human Interaction (CHINZ 2006), ACM Digital Library, July, 2006.

E. Lughofer, U. Bodenhofer. Incremental learning of fuzzy basis function networks with a modified version of vector quantization. Proc. 11th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IMPU 2006), volume I, pages 56-63, Éditions E.D.K., July, 2006.

B. Moser. Kernels from a fuzzy perspective. January/February, 2006.

U. Bodenhofer. Lexicographic composition of fuzzy orderings. Proc. 11th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IMPU 2006), volume III, pages 2430-2437, Éditions E.D.K., July, 2006.

B. Moser. On representing and generating kernels by fuzzy equivalence relations. Journal Machine Learning Research, volume 7, pages 2603-2620, December, 2006.

B. Moser. On the t-transitivity of kernels. Fuzzy Sets and Systems, volume 157, number 13, pages 1787-1796, 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.

Proc. of the 5th Int. Joint Conf. on Autonomous Agents and Multiagent Systems. In P. Stone, G. Weiß (editors), ACM Press, 2006.

V. Geist. Process and workflow: Implementation and evaluation of concepts. Technical Report, number SCCH-TR-0625, EAP, 2006.

W. Beer, R. Ramler, G. Leonhartsberger. Provision and benefits of a unified bug tracking API. Proc. Work in Progress Session, 32nd EUROMICRO Conf. in Software Engineering and Advanced Applications (SEAA 2006), SEA-Publications, August/September, 2006.

D. Draheim, J. Grundy, J. Hosking, C. Lutteroth, G. Weber. Realistic load testing of web applications. In G. A. di Lucca (editors), Proc. 10th European Conf. on Software Maintenance and Reengineering (CRMR 2006), pages 57-70, IEEE Press, March, 2006.

R. Bergmair, U. Bodenhofer. Syntax-driven analysis of context-free languages with respect to fuzzy relational semantics. Proc. 15th IEEE Int. Conf. on Fuzzy Systems, pages 9647-9654, IEEE Press, 2006.

C. Steindl, R. Ramler, J. Altmann. Testing web applications. In G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (editors), Web Engineering: The Discipline of Systematic Development of Web Applications, pages 133-154, John Wiley & Sons, 2006.

D. Draheim, G. Weber. The core NSP type system. In A. Marchetto, C. Bellettini (editors), Proc. 1st Int. Workshop on Web Maintenance and Reengineering (WMR 2006), pages 6-14, CEUR Workshop Proceedings, March, 2006.

Trends in Enterprise Application Architecture. VLDB Workshop, TEAA 2005. In D. Draheim, G. Weber (editors), Lecture Notes in Computer Science, volume 3888, Springer, 2006.

R. Ramler, S. Biffl. Values-based management of software testing. In S. Biffl, A. Aurum, B. Boehm, H. Erdogmus, P. Grünbacher (editors), Value-based Software Engineering, pages 225-245, Springer, 2006.

M. Drobics, J. Botzheim. A bacterial evolutionary algorithm for feature selection. Technical Report, number SCCH-TR-0517, 2005.

P. Haslinger, B. Moser. A knowledge-based approach to the design of kernels: Case studies. Technical Report, number SCCH-TR-0529, KVS, 2005.

S. Larndorfer. Application of motion based object detection to real-time 3D soccer ball tracking. Master thesis, 2005.

T. Natschläger, N. Bertschinger, R. Lengstein. At the edge of chaos: Real-time computations and self-organized criticality in recurrent neural networks. In L. Saul, Y. Weiss, L. Bottou (editors), Proc. of NIPS 2004, Advances in Neural Information Processing Systems, pages 145-152, MIT Press, 2005.

B. Moser. Characterization of kernels in the frequency domain: A tutorial. Technical Report, number SCCH-TR-0535, KVS, 2005.

K. Wolfmaier, R. Ramler. Common findings and lessons learned from software architecture and design analysis. Proc. 11th IEEE Int. Software Metrics Symposium (METRICS2000), IEEE Computer Society, September, 2005.

M. Pichler. Communities in the wild: A promising domain for novel mobile applications. Proc. 2nd Int. Conf. on Communities and Technologies 2005 (C&T'05), pages 10-13, June, 2005.

M. Pichler. Context-based community support. Proc. 5th Int. and Interdisciplinary Conf. on Modeling and Using Context (CONTEXT-05), pages online, July, 2005.

M. Drobics. Data analysis using fuzzy expressions - creating comprehensible computational models from data. PhD thesis, Johannes Kepler University, June, 2005.

R. Ramler. Decision in software testing. April, 2005.

C. Natschläger. Design und Implementierung eines Konzepts zur Synchronisation von mobilen Clients mit .NET-Technologien. Master thesis, Software Competence Center Hagenberg GmbH/EAP, July, 2005.

U. Bodenhofer, P. Bogdanowicz, G. Lanzerstorfer, J. Küng. Distance-based fuzzy relations in flexible query answering systems: Overview and experiences. Proc. 8th Int. Conf. on Relational Methods in Computer Science (RelMiCS8), pages 15-22, February, 2005.

T. Natschläger, W. Maass. Dynamics of information and emergent computation in generic microcircuit models. Neural Networks, volume 18, number 10, pages 1301-1308, December, 2005.

R. Ramler, D. Auer. Encouraging self-organization: Reflections on a quality improvement workshop. Proc. 31st Euromicro Conf. on Software Engineering and Advanced Applications (SEAA 2005), pages 284-291, IEEE Computer Society, August/September, 2005.

R. Weinreich, T. Ziebermayr. Enhancing presentation-level integration of remote applications and services in web portals. Proc. IEEE Int. Conf. on Services Computing (SCC?05), pages 224-236, IEEE Computer Society, July, 2005.

M. Drobics. FS-LiRT - An inductive learning method for creating comprehensible fuzzy regression trees. Technical Report, number SCCH-TR-0507, 2005.

M. Pichler. Identifying mobile people's information needs. Technical Report, number SCCH-TR-0511, 2005.

M. Drobics. Inductive learning of fuzzy regression trees. Proc. 4th Conf. of the European Society for Fuzzy Logic and Technology and 11 Recontres Francophones sur al Logique Flou et ses Applications (EUSFLAT/LFA 2005), pages 16-21, September, 2005.

U. Bodenhofer, P. Bauer. Interpretability of linguistic variables: A formal account. Kybernetika, volume 41, number 2, pages 227-248, 2005.

M. Roßbory. Konzeption und Implementierung eines zentralen Sicherheitssystems für ein verteiltes Auftragsverwaltungssystem. Master thesis, 2005.

H. Maier. Konzeption und Realisierung einer universalen Protal-Layoutverwaltung und Integration mit CMS basierend auf Java Portals. Master thesis, 2005.

T. Natschläger, M. Drobics, F. Kossak. machine learning framework for Mathematica V1.3: Creating interpretable computational models from data. Proc. Wolfram Technology Conf., pages online, October, 2005.

B. Moser. On generating kernels by fuzzy relations. Technical Report, number SCCH-TR-0527, KVS, 2005.

B. Moser. On the relationship of kernels in machine learning and fuzzy similarity relations. Technical Report, number SCCH-TR-0508, KVS, 2005.

P. Haslinger, U. Bodenhofer. Resolving the conflict between competitive and cooperative behavior in Michigan-type fuzzy classifier systems. Proc. 4th Conf. of the European Society for Fuzzy Logic and Technology and 11 Recontres Francophones sur al Logique Flou et ses Applications (EUSFLAT/LFA 2005), pages 297-302, September, 2005.

B. Moser. Segmentation and tracking by mean shift: A tutorial. Technical Report, number SCCH-TR-0534, KVS, 2005.

U. Bodenhofer, M. Demirci. Strict fuzzy orderings in a similarity-based set. Proc. 4th Conf. of the European Society for Fuzzy Logic and Technology and 11 Recontres Francophones sur al Logique Flou et ses Applications (EUSFLAT/LFA 2005), pages 297-302, September, 2005.

H. Schöner. Time series toolbox for Mathematica a short introduction. Technical Report, number SCCH-TR-0520, 2005.

T. Ziebermayr. Using tests for verfication of web service integration and composition. Proc. Workshop on WWW Service Composition with Semantic Web Services (wscomps05), pages 54-55, September, 2005.

T. Hofer, W. Hargassner, G. Leonhartsberger. Xenon: Software plug and play with UPnP and OSGi. Technical Report, number SCCH-TR-0525, 2005.

U. Bodenhofer, F. Klawonn. A formal study of linearity axioms for fuzzy orderings. Fuzzy Sets and Systems, volume 145, number 3, pages 323-354, 2004.

M. Drobics, U. Bodenhofer, M. Mittendorfer. A three-stage approach to descriptive data analysis - Identifying clusters and corresponding interpretable descriptions from large data sets. Proc. 7th COST Action 276 Workshop, November, 2004.

U. Bodenhofer. Applications of fuzzy orderings: An overview. In K. Atanassov, O. Hryniewicz, J. Kacprzyk (editors), Soft Computing. Foundations and Theoretical Aspects, pages 81-95, EXIT, 2004.

F. Gruber, W. Kurschl. Building mobile applications - comparing the Java and .NET approach. February, 2004.

M. Drobics. Choosing the best predicates for data-driven fuzzy modeling. Proc. 13th IEEE Int. Conf. on Fuzzy Systems, pages 245 - 249, IEEE Press, July, 2004.

M. Pichler, U. Bodenhofer, W. Schwinger. Context-awareness and artificial intelligence. ÖGAI Journal, volume 23, number 1, pages 4-11, 2004.

R. Athale, M. Dragan. Controlling real time program remotely. Proc. Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA'04), volume III, pages 1269-1272, CSREA Press, June, 2004.

R. Ramler. Decision support for test management in interactive and evolutionary development: A proposal. Proc. Alpine Software Engineering Workshop (ASEW'04), pages 27-30, April, 2004.

R. Ramler. Decision support for test management in iterative and evolutionary development. Proc. 19th Int. Conf. on Automated Software Engineering (ASE 2004), pages 406-409, IEEE Computer Society, September, 2004.

M. Pichler. Designing for the wild: There is more than mobiles, smartphones, PDAs and tablet PCs. Proc. 3rd Int. Workshop in HCI in Mobile Guides, pages online, September, 2004.

M. Pichler. Enabling contextual services in wireless context area networks. Proc. 2nd Int. Conf. on Pervasive Computing (Pervasive 2004), Doctoral Colloquium, pages 111-117, Austrian Computer Society, April, 2004.

T. Natschläger, F. Kossak, M. Drobics. Extracting knowledge and computable models from data - Needs, expectations, and experience. Proc. 13th IEEE Int. Conf. on Fuzzy Systems, pages 493 - 498, IEEE Press, July, 2004.

Feature selection using bacterial optimization. Proc. 10th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2004), pages 797-804, July, 2004.

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.

U. Bodenhofer, J. Küng. Fuzzy orderings in flexible query answering systems. Soft Computing, volume 8, number 7, pages 512-522, 2004.

S. Probst. GAMMA - A platform independent framework for reusable authentication, authorization, and auditing components. PhD thesis, Johannes Kepler University, October, 2004.

F. Gruber. Generating adaptive user interfaces with meta interface description languages for device independent access. In A. Ferscha, H. Hörtner, G. Kotsis (editors), Proc. 2nd Int. Conf. on Pervasive Computing (Pervasive 2004), Doctoral Colloquium, pages 13-19, Austrian Computer Society, April, 2004.

U. Bodenhofer. Genetic algorithms: Theory and applications. Winter 2003/2004, 2004.

M. Drobics, F. Kossak, T. Natschläger. machine learning framework for Mathematica V1.2 - Creating interpretable computational models from data. Proc. Mathematica Technology Conf., pages online, October, 2004.

P. Grünbacher, R. Ramler, W. Retschitzegger, W. Schwinger. Making quality a first-class citizen in web engineering. Proc. 2nd Workshop on Software Quality (ICSE 04), pages 24-29, May, 2004.

M. Pichler. Memex reinvented - memory and sharing of experiences. Technical Report, number SCCH-TR-0410, 2004.

N. Bertschinger, T. Natschläger. Real-time computation at the edge of chaos in recurrent neural networks. Neural Computation, volume 16, number 7, pages 1413-1436, 2004.

J. Himmelbauer, M. Drobics. Regularized numerical optimization of fuzzy rule bases. Proc. 13th IEEE Int. Conf. on Fuzzy Systems, pages 1655 - 1660, IEEE Press, July, 2004.

W. Essmayr, S. Probst, E. Weippl. Role-based access controls: status, dissemination, and prospects for generic security mechanisms. Int. Journal of Electronic Commerce Research, volume 4, number 1-2, pages 127-156, 2004.

D. Soukup. Separation of banknote print layers using a sequence of sample images. Master thesis, KVS, 2004.

T. Natschläger, N. Bertschinger. Supplementary information to the mean-field theory for randomly connected recurrent network of threshold gates. Technical Report, number SCCH-TR-0430, 2004.

R. Athale. Symbolic computation in number theory. PhD thesis, Johannes Kepler University, December, 2004.

S. Probst, J. Küng. The need for declarative security mechanisms. Proc. 30th EUROMICRO Conf., pages 526-531, IEEE Computer Society, September, 2004.

O. Mangisengi, D. Auer. Web-based application for managing knowledge resources in software engineering. Technical Report, number SCCH-TR-0424, 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.

U. Bodenhofer. A note on approximate equality versus the Poincaré Paradox. Fuzzy Sets and Systems, volume 133, number 2, pages 155-160, January, 2003.

U. Bodenhofer. A unified framework of opening and closure operators with respect to arbitrary fuzzy relations. Soft Computing, volume 7, number 4, pages 220-227, February, 2003.

F. Kossak. An evaluation of model checking tools. Technical Report, number SCCH-TR-0309, 2003.

T. Weiler. Approximation of belief functions. Int. Journal of Uncertainty. Fuzziness and Knowledge-Based Systems, volume 11, number 6, pages 749-777, 2003.

F. Gruber, W. Kurschl. Building mobile applications - comparing the java and .NET approach. June, 2003.

M. Mittendorfer. Classes, subclasses, and instances in TomeWarder. Technical Report, number SCCH-TR-0311, 2003.

T. Hofer, W. Schwinger, M. Pichler, G. Leonhartsberger, J. Altmann, W. Retschitzegger. Context-awareness on mobile devices - The hydrogen approach. Proc. 36th Annual Hawaii Int. Conf. on System Sciences 2003 (HICSS-36), IEEE Computer Society, January, 2003.

G. Kappel, B. Pröll, W. Retschitzegger, W. Schwinger. Customisation for ubiquitous web applications - A comparison of approaches. Int. Journal of Web Engineering and Technology, volume 1, number 1, pages 79-112, 2003.

M. Pichler. Enabling communities in physical and logical context areas as added value of mobile and ubiquitous applications. In F. Crestani, M. D. Dunlop, S. Mizzaro (editors), Proc. Int. Workshop on Mobile and Ubiquitous Information Access (Mobile HCI 2003), Lecture Notes in Computer Science, volume 2954, pages 42-53, Springer, 2003.

M. Drobics, J. Botzheim. Feature selection using bacterial optimization. Technical Report, number SCCH-TR-0317, 2003.

M. Drobics, U. Bodenhofer, E. Klement. FS-FOIL: An inductive learning method for extracting interpretable fuzzy descriptions. International Journal of Approximate Reasoning, volume 32, number 2-3, pages 131-152, February, 2003.

U. Bodenhofer. Fuzzy "between" operators in the framework of fuzzy orderings. In B. Bouchon-Meunier, L. Foulloy, R. Yager (editors), Intelligent Systems for Information Processing. From Rep-resentation to Applications, pages 59-70, Elsevier, 2003.

U. Bodenhofer. Fuzzy orderings of fuzzy sets. Proc. 10th IFSA World Congress, pages 500-507, June/July, 2003.

U. Bodenhofer, F. Klawonn. Linearity axioms for fuzzy orderings: A formal review. In B. De Baets, F. Fodor (editors), Principles of Fuzzy Preference Modelling and Decision Making, pages 1-14, Academia Press, 2003.

R. Athale, M. Dragan. Locating the position of a football player in real time. Proc. 7th World Multiconf. on Systemics, Cybernetics and Informatics (SCI 2003), volume X, pages 6-10, July, 2003.

M. Drobics. Machine learning framework for Mathematica - Creating understandable computational models from data. Proc. Mathematica Developer Conf. 2003, pages online, April, 2003.

T. Nguyen, A. Tjoa, O. Mangisengi. MetaCube XTM: A multidimensional metadata approach for semantic web warehousing systems. Proc. 5th Int. Conf. on Data Warehousing and Knowledge Discovery (DaWaK 03), Lecture Notes in Computer Science, volume 2737, pages 76-88, Springer, September, 2003.

U. Bodenhofer. On the preservation of monotonicity by extended mappings. Proc. 3rd Int. Conf. in Fuzzy Logic and Technology, pages 251-254, September, 2003.

U. Bodenhofer, M. De Cock, E. Kerre. Openings and closures of fuzzy preorderings: Theoretical basics and applications to fuzzy rule-based systems. Int. Journal of General Systems, volume 32, number 4, pages 343-360, 2003.

U. Bodenhofer. Ordinal structures in vague environments. 2003.

E. Weippl, W. Essmayr. Personal trusted devices for web services: Revisiting multilevel security. Mobile Networks and Applications, The Journal of Special Issues on Mobility of Systems, Users, Data and Computing, volume M8, number 2, pages 151-157, April, 2003.

U. Bodenhofer. Representations and constructions of similarity-based fuzzy orderings. Fuzzy Sets and Systems, volume 137, number 1, pages 113-136, 2003.

S. Prummer, R. Kraus, H. Prähofer, B. Dorninger, T. Hofinger. Technologische Synchronisation von Engineering Daten. Proc. Automation Days 2003, pages 301-314, ASQF e. V, September, 2003.

C. Steindl, R. Ramler, J. Altmann. Testen von Web-Anwendungen. In G. Kappel, B. Pröll, S. Reich, W. Retschitzegger (editors), Web Engineering: Systematische Entwicklung von Web-Anwendungen, pages 161-186, dpunkt.verlag, 2003.

O. Mangisengi, W. Essmayr. The architecture and main processes of ontology-based peer-to-peer management of knowledge artifacts. Proc. 14th Int. Workshop. in Database and Expert Systems Applications (DEXA 2003), pages 787-791, IEEE Computer Society Press, September, 2003.

H. Leonhardsberger, A. Leutgeb. Tool platforms for java application development: A comparison between netbeans and eclipse. Technical Report, number SCCH-TR-0304, 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.

F. Lichtenberger. Using algebraic specifications as a basis for formal MKM. Technical Report, number SCCH-TR-0313, 2003.

M. Dragan. Using real time linux in parallel solving of large sparse systems of nonlinear equations. In H. Arabnia, Y. Mun (editors), Proc. 2003 Int. Conf. On Parallel and Distributed Processing Techniques and Applications (PDPTA'03), volume III, pages 1332-1335, CSREA Press, June, 2003.

W. Freiseisen, R. Keber, W. Medetz, P. Pau, D. Stelzmüller. VirtMould - A framework for simulating component-oriented models of mechatronic systems. Proc. 4th Int. IMACS Symposium on Mathematical Modeling (4th MathMod), pages on CD, Argesim-Verlag, February, 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.

G. Czech. .NET enterprise servers. Technical Report, number SCCH-TR-0233, 2002.

E. Weippl, I. Khalil Ibrahim. A blueprint for a component-based education framework. Proc. IASTED Int. Conf. on Computers and Advanced Technology in Education (CATE 2002), pages 139-143, May, 2002.

R. Füricht, H. Prähofer, T. Hofinger, J. Altmann. A component-based application framework for manufacturing execution systems in C# and .NET. Proc. 40th Int. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS-PACIFIC 2002), pages 169-178, February, 2002.

U. Bodenhofer. A general framework for ordering fuzzy sets. In B. Bouchon-Meunier, J. Guitérrez-Ríoz, L. Magdalena, R. Yager (editors), Technologies of Constructing Intelligent Systems 1: Tasks, Studies in Fuzziness and Soft Computing, volume 89, pages 213-224, Physica-Verlag, 2002.

G. Menkhaus, W. Pree. A hybrid approach to adaptive user interface generation. Proc. 24th Int. Conf. on Information Technology Interfaces (ITI 2002), pages 185-190, June, 2002.

O. Mangisengi, W. Essmayr. A model for ontology-based peer-to-peer management of knowledge artifacts. Technical Report, number SCCH-TR-0263, 2002.

E. Weippl, L. Klug, W. Essmayr. A new approach to secure federated information bases using agent technology. Journal of Database Management, volume 14, number 1, pages 48-68, Jan-Mar, 2002.

R. Ramler, J. Altmann. A quality-based scheme for web testing. Proc. 24th Int. Conf. on Software Engineering (ICSE 2002), May, 2002.

R. Ramler, E. Weippl, M. Winterer, W. Schwinger, J. Altmann. A quality-driven approach to web testing. Proc. Ibero American Conf. on Web Engineering 2002 (ICWE'02), pages 81-95, September, 2002.

F. Gruber, C. Illibauer. An approach towards a universal software evaluation scheme. Proc. 2002 Conf. on Empirical Assessment on Software Engineering (EASE 2002), April, 2002.

G. Menkhaus. An architecture for supporting multi-device, client-adaptive services. Special Volume of the Annals of Software Engineering Journal on OO Web-based Software Engineering, volume 13, number 1-4, pages 309-327, June, 2002.

P. Hobelsberger, M. Drobics, R. Wegenkittl. Analysis and visualization of 4D medical images using self-organizing maps and clustering. In F. Leberl, F. Frauendorfer (editors), Vision with Non-Traditional Sensors - Proc. 26th Workshop of the Austrian Association for Pattern Recognition (ÖAGM/AAPR), pages 273-280, OCG, September, 2002.

P. Hobelsberger. Application of self-organizing maps and clustering to the segmentation of 3D and 4D medical images. Master thesis, 2002.

U. Bodenhofer. Application perspectives of fuzzy orderings. Proc. 2002 World Congress on Computational Intelligence (WCCI 2002), pages 1357-1362, May, 2002.

T. Weiler, U. Bodenhofer. Approximation of belief functions by minimizing euclidean dis-tances. In P. Grzegorzewski, O. Hryniewicz, M. Á. Gil (editors), Soft Methods in Probability, Statistics and Data Analysis, Advances in Soft Computing, pages 170-177, Physica-Verlag, 2002.

U. Bodenhofer. Binary ordering-based modifiers. Proc. 9th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2002), volume III, pages 1953-1959, EISA, Université de Savoie, July, 2002.

M. Pichler, T. Hofer, G. Leonhartsberger. Bringing together people: Social benefit of mobile ad hoc applications. Proc. 2002 Conf. on Human Factors in Computing Systems (CHI 2002), pages on CD, April, 2002.

M. Pichler, T. Hofer, G. Leonhartsberger. Considerations and requirements for tools supporting mobile teams. Proc. 22nd Int. Conf. on Distributed Computing Systems Workshops, pages 389-390, IEEE Computer Society, July, 2002.

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.

Customising web applications towards ubiquity - The notion and the issues. March, 2002.

I. Khalil Ibrahim, W. Schwinger. Data integration in digital libraries: Approaches and challenges. Bulletin of the American Society for Information Science and Technology, volume 28, number 5, 2002.

E. Weippl, J. Huber, W. Essmayr. Deployment of XML for data integration of health insurance providers. Technical Report, number SCCH-TR-0219, IDW, 2002.

F. Gruber, M. Irle. Developing java applications for mobile devices. November, 2002.

S. Saminger, R. Mesiar, U. Bodenhofer. Domination of aggregation operators and preservation of transitivity. Internat. J. Uncertainty, Fuzziness, Knowledge-Based Systems, volume 10, pages 11-35, 2002.

M. Hitz, G. Kappel, W. Retschitzegger, W. Schwinger. Ein UML-basiertes Framework zur Modellierung ubiquitärer Web-Anwendungen. Wirtschaftsinformatik, volume 44, number 3, pages 225-235, 2002.

M. Mittendorfer, W. Winiwarter. Exploiting syntactic analysis of queries for information retrieval. Data & Knowledge Engineering, volume 42, number 3, pages 315-325, September, 2002.

P. Haslinger. Fuzzy classifier systems - A critical review and a new approach. Master thesis, 2002.

M. Drobics. Fuzzy decision trees - induction and deduction. Technical Report, number SCCH-TR-0206, 2002.

G. Steinöcker. Fuzzy genetic programming - offline acquisition of fuzzy rules using variable-length GAs. Master thesis, 2002.

M. Drobics, U. Bodenhofer. Fuzzy modeling with decision trees. Proc. 2002 IEEE Int. Conf. on Systems, Man, and Cybernetics (IEEE SMC'02), IEEE Computer Society, October, 2002.

T. Hofer, M. Pichler, G. Leonhartsberger. Hydrogen.Context - A framework to support context-awareness on mobile devices. Technical Report, number SCCH-TR-0212, 2002.

J. Huber, C. Hawel, E. Weippl, W. Essmayr. Integrating data warehouses versus building a federated data warehouse: A comparison. Technical Report, number SCCH-TR-0218, IDW, 2002.

G. Menkhaus, W. Pree, P. Baumeister, U. Deichsel. Interaction of device independent user interfaces with web services. Technical Report, number SCCH-TR-0245, 2002.

A. Leutgeb, G. Leonhartsberger, J. Altmann. Java in embedded systems - in the past, now, and in the future. Technical Report, number SCCH-TR-0234, 2002.

I. Khalil Ibrahim, W. Winiwarter, E. Weippl. Logic based approach to semantic query transformation for knowledge management applications. In K. Tochtermann, H. Maurer (editors), Proc. 2nd Int. Conf. on Knowledge Management (I-KNOW'02), pages 102-107, Springer Pub. & Co., July, 2002.

F. Lichtenberger. Mathematics education for software engineers: It should be radically different!. July, 2002.

M. Drobics, U. Bodenhofer, W. Winiwarter. Mining clusters and corresponding interpretable descriptions - A three-stage approach. Expert Systems: The Journal of Knowledge Engineering and Neural Networks, volume 19, number 4, pages 224-234, September, 2002.

E. Weippl. Mitigating risks during the transition to fully automated exams. June, 2002.

L. Klug, E. Weippl, W. Essmayr. Mobile agents (Grasshopper) for database applications. September, 2002.

E. Weippl, W. Stockner, F. Gruber. Mobile device and communication security. Technical Report, number SCCH-TR-0241, 2002.

J. Altmann, F. Gruber, M. Irle, W. Stockner. Mobile Finanzdienstleistungen - Technische Gestaltungsmöglichkeiten und Entwicklungspotentiale. Technical Report, number SCCH-TR-0231, 2002.

I. Khalil Ibrahim, E. Weippl, W. Schwinger. Modeling norms in electronic institutions. Proc. 3rd Workshop on Agent-Based Simulation, pages 38-43, April, 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.

S. Fischmeister, G. Menkhaus, W. Pree. MUSA-Shadow: Concepts, implementation, and sample applications. Proc. 40th Int. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS-PACIFIC 2002), pages 71-79, February, 2002.

M. Dragan. On solving large sparse systems of nonlinear equations using threads. Proc. Numerical Methods and Computational Mechanics 2002 (nmcm2002), pages 49-56, July, 2002.

T. Kutsia. Pattern unification with sequence variables and flexible arity symbols. In P. Eklund, M. Ojeda-Asiego (editors), UNCL'2002 Unification in Non-Classical Logics, Electronic Notes in Theoretical Computer Science, volume 66, Elsevier Science, December, 2002.

W. Essmayr, H. Leonhardsberger, S. Probst, W. Stockner, E. Weippl. Qualitative evaluation of authentication approaches for eBanking. Technical Report, number SCCH-TR-0215, 2002.

R. Athale, M. Dragan. Real time programming: Notions and challenges. Technical Report, number SCCH-TR-0204, 2002.

M. Burger, J. Haslinger, U. Bodenhofer, H. Engl. Regularized data-driven construction of fuzzy controllers. Journal of Inverse Ill-Posed Probl, volume 10, number 4, pages 319-344, 2002.

S. Probst, T. Ziebermayr, W. Essmayr. Reusable components for developing security-aware applications. Proc. 18th Annual Computer Security Applications Conf. (ACSAC 2002)., pages 239-248, IEEE Computer Society, December, 2002.

T. Trenker. Secure authentication on mobile devices. Master thesis, 2002.

K. Wolfmaier, T. Ziebermayr, J. Altmann. Security aspects for web service based applications in financial applications. Technical Report, number SCCH-TR-0259, 2002.

T. Kutsia. Solving and proving in equational theories with sequence variables and flexible arity symbols. PhD thesis, Johannes Kepler University, May, 2002.

O. Mangisengi, W. Essmayr. State of the art in peer-to-peer knowledge management. Technical Report, number SCCH-TR-0240, 2002.

K. Nakagawa. Supporting user-friendliness in the mathematical software system Theorema. PhD thesis, Johannes Kepler University, April, 2002.

S. Saminger, R. Mesiar, U. Bodenhofer. T-transitivity and domination. February, 2002.

R. Ramler, W. Schwinger, J. Altmann. Testing web quality aspects. Technical Report, number SCCH-TR-0216, 2002.

E. Weippl. The transition from computer-based training to eEducation. Proc. ED-MEDIA 2002 - World Conf. on Educational Multimedia, Hypermedia & Telecommunications, pages 2034-2040, AACE, June, 2002.

M. Pichler, T. Hofer, G. Leonhartsberger. The trends towards the ubiquitous information access era and its building blocks. Technical Report, number SCCH-TR-0264, 2002.

U. Consortium. The UWA approach to modeling ubiquitous web applications. Proc. IST Mobile & Wireless Telecommunications Summit 2002, pages 764-769, June, 2002.

T. Kutsia. Theorem proving with sequence variables and flexible arity symbols. In M. Baaz, A. Voronkov (editors), Logic for Programming, Artificial Intelligence, and Reasoning., Lecture Notes in Artificial Intelligence, volume 2514, pages 278-291, 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.

C. Artelsmair, P. Lang, E. Weippl, W. Essmayr, R. Wagner. Towards conceptual modeling of security. Technical Report, number SCCH-TR-0220, 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.

W. Schwinger. Ubiquitous web applications. Proc. eBusiness and eWork Conf. (e2002), October, 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.

G. Menkhaus, W. Pree. User interface tailoring for multi-platform service access. Proc. 2002 Int. Conf. on Intelligent User Interfaces (IUI 2002), January, 2002.

W. Freiseisen, R. Keber, W. Medetz, P. Pau, D. Stelzmüller. Using modelica for testing embedded systems. Proc. 2nd Int. Modelica Conf., pages 195-201, March, 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.

R. Athale. Verifying the jumping champion conjecture. August, 2002.

E. Weippl, I. Khalil Ibrahim, W. Schwinger, W. Winiwarter. Web engineering for intranets: Rethinking software engineering. In I. Ibrahim, S. Bressan, W. Schwinger (editors), Proc. 4th Int. Conf. on Information Integration and Web-Based Applications and Services (iiWAS2002), pages 225-230, September, 2002.

K. Wolfmaier, T. Ziebermayr, J. Altmann. Web services applied to the banking domain. Technical Report, number SCCH-TR-0258, 2002.

G. Steinöcker. A C++ library for fuzzy genetic programming. Technical Report, number SCCH-TR-0105, 2001.

W. Essmayr, S. Probst, E. Weippl. A comparison of distributed authorization solutions. In W. Winiwarter, S. Bressan, I. Ibrahim (editors), Proc. 3rd Int. Conf. on Information Integration and Web-Based Applications and Services (iiWAS 2001)., pages 345-356, Österreichische Computer Gesellschaft, September, 2001.

O. Mangisengi, J. Huber, C. Hawel, W. Essmayr. A framework for supporting interoperability of data warehouse islands. Proc. 3rd Int. Conf. on Data Warehousing and Knowledge Discovery (DaWaK'01), pages 328-338, September, 2001.

M. Grabner, A. Leutgeb, G. Leonhartsberger, J. Altmann. A java framework for remote diagnoses of a PLC. Technical Report, number SCCH-TR-0138, 2001.

K. Wolfmaier, T. Ziebermayr. A layered distributed application: An experience report. Proc. 2001 ACM Conf. on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001), October, 2001.

B. Trevor, E. Weippl, W. Winiwarter. A modern approach to search the world wide web: Ranking pages by interface over content. Proc. 14th Int. Conf. on Applications of Prolog (INAP 2001), pages 316-330, October, 2001.

M. Rosenkranz, T. Jebelean, B. Buchberger. A proof of the irrationality of Sqrt[p]. Technical Report, number SCCH-TR-0172, 2001.

M. Mittendorfer, W. Winiwarter. A simple way of improving traditional IR methods by structuring queries. Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (IEEE-SMC 2001), pages 951-953, October, 2001.

I. Khalil Ibrahim, W. Schwinger, E. Weippl, J. Altmann, W. Winiwarter. Agent solutions for e-business transactions. Proc. 12th Int. Conf. on Database and Expert Systems Applications (DEXA 2001), pages 84-87, September, 2001.

E. Weippl. An approach to role-based access control for digital content. Proc. Int. Conf. on Information Technology: Coding and Computing (ITCC 2001), pages 290-295, April, 2001.

E. Weippl. An approach to secure distribution of web-based training courses. Proc. Australasian Computer Science Conf. (ACSC 2001), pages 199-205, IEEE Press, January, 2001.

E. Weippl, O. Mangisengi, W. Essmayr, F. Lichtenberger, W. Winiwarter. An authorization model for data warehouses and OLAP. Proc. 20th IEEE Symposium on Reliable Distributed Systems (SRDS'2001), pages 9-13, October, 2001.

F. Kossak, W. Essmayr, W. Winiwarter. Applicability of HCI research to e-government applications. Proc. 9th European Conf. on Information Systems (ECIS 2001), pages 957-968, June, 2001.

E. Weippl. Building secure knowledge bases: Combining java agents and DBagents. Proc. 5th Int. Conf. on Autonomous Agents (Agents 2001), pages 212-213, May, 2001.

G. Gökler, J. Haslinger. Calculus with matrices. Technical Report, number SCCH-TR-0141, 2001.

O. Caprotti, M. Oostdijk, H. Geuvers. Certified and protable mathematical documents from formal contexts. Electronic Proc. 1st Int. Workshop on Mathematical Knowledge Management (MKM'01), September, 2001.

E. Weippl, H. Lohninger. Coimbra, A new authoring tool for textbooks. Proc. World Conf. on Educational Multimedia, Hypermedia & Telecommunications (EDMEDIA 2001), pages 2025-2026, June, 2001.

M. Navara, U. Bodenhofer. Compactness of fuzzy logics. 2nd Int. ICSC-NAISO Congress on Computational Intelligence: Methods and Applications (CIMA 2001), pages 654-657, June, 2001.

F. Lichtenberger. Computer algebra: A tool of today for the mathematics of yesterday?. May/June, 2001.

E. Weippl, I. Khalil Ibrahim, W. Winiwarter. Content-based management of document access control. Proc. 14th Int. Conf. on Applications of Prolog (INAP 2001), pages 78-86, October, 2001.

E. Weippl. Countermeasures against security breaches in web-based training environments. Proc. World Conf. on Educational Multimedia, Hypermedia, and Telecommunication (ED-MEDIA'2001), pages 2019-2024, June, 2001.

G. Kappel, W. Retschitzegger, W. Schwinger. Customization design - model, notation and tool architecture. Technical Report, number SCCH-TR-0180, 2001.

I. Khalil Ibrahim, W. Schwinger. Data integration in digital libraries: Approaches and challenges. Proc. Int. Seminar on Digital Libraries and Knowledge Management, pages 91-98, June, 2001.

M. Drobics, U. Bodenhofer, W. Winiwarter, E. Klement. Data mining using synergies between self-organizing maps and inductive learning of fuzzy rules. Proc. Joint 9th IFSA World Congress and 20th NAFIPS Int. Conf. (IFSA-NAFIPS 2001), pages 1780-1785, July, 2001.

J. Haslinger, U. Bodenhofer, M. Burger. Data-driven construction of sugeno controllers: Analytical aspects and new numerical methods. Proc. Joint 9th IFSA World Congress and 20th NAFIPS Int. Conf. (IFSA-NAFIPS 2001), pages 239-244, July, 2001.

E. Weippl. Database agents: Virtually integrating autonomous databases. Technical Report, number SCCH-TR-0177, 2001.

E. Weippl. Developing web-based content in a distributed environment. Syllabus Magazine, pages 37-39, August, 2001.

W. Freiseisen, W. Medetz, P. Pau, R. Keber, D. Stelzmüller. Differential-algebraic equations in process simulation. Proc. 3rd Int. Workshop on Symbolic and Numeric Algorithms in Scientific Computing (SYNASC 2001), pages 34-41, October, 2001.

W. Winiwarter. Embedded adaptive machine translation environments. ÖGAI Journal, volume 20, number 1, pages 15-21, 2001.

U. Bodenhofer, J. Küng. Enriching vague queries by fuzzy orderings. Proc. 2nd Int. Conf. in Fuzzy Logic and Technology (EUSFLAT 2001), pages 360-364, September, 2001.

M. Mittendorfer, G. Nikfeld, W. Winiwarter. Evaluation of intelligent component technologies for VoiceXML applications. Technical Report, number SCCH-TR-0157, 2001.

J. Altmann, F. Gruber, M. Irle. Evaluation of PDA platforms. Technical Report, number SCCH-TR-0130, 2001.

W. Stockner. Evaluation of software distribution products. Technical Report, number SCCH-TR-0146, 2001.

M. Mittendorfer, W. Winiwarter. Experiments with the use of syntactic analysis in information retrieval. Proc. 6th Int. Workshop on Natural Language for Information Systems (NLDB 01), pages 37-44, June, 2001.

J. Altmann, K. Wolfmaier, T. Ziebermayr. Flexible thin client architectures: An XML-based approach. Proc. 2nd Int. Conf. on Internet Computing 2001, pages 367-370, June, 2001.

F. Lichtenberger. From computing to proving: Experiments with theorema in math education. May/June, 2001.

S. Probst, T. Ziebermayr, E. Weippl. GAMMA: A framework for access control. Technical Report, number SCCH-TR-0178, 2001.

U. Bodenhofer. Generalized opening and closure operators of fuzzy relations. Proc. 2nd Int. ICSC Congress on Computational Intelligence: Methods and Applications (CIMA 2001), pages 677-683, June, 2001.

U. Bodenhofer, E. Klement. Genetic optimization of fuzzy classification systems — A case study. In B. Reusch, K. Temme (editors), Computational Intelligence in Theory and Practice, Advances in Soft Computing Series, pages 183-200, Physica-Verlag, 2001.

G. Leonhartsberger. Grafisches Werkzeug zur Fernanalyse einer Maschinensteuerung. Master thesis, 2001.

M. Drobics. Image segmentation and labeling using SOMs. Technical Report, number SCCH-TR-0106, KVS, 2001.

M. Grabner, G. Leonhartsberger, A. Leutgeb, J. Altmann. Java in industrial automation - A virtual PLC. Proc. Annual Int. Computer Software and Applications Conf. (COMPSAC 2001), pages 477-479, IEEE Computer Society Press, October, 2001.

E. Weippl, H. Lohninger. Knowledge landscapes: VR interface for web-based training knowledge bases. In H. Kangassalo, H. Jaakkola, E. Kawaguchi (editors), Information Modelling and Knowledge Bases XII, pages 271-274, IOS Press, 2001.

M. Mittendorfer, G. Nikfeld, W. Winiwarter. Making the VoiceWeb smarter - Integrating intelligent component technologies and VoiceXML. Proc. 2nd Int. Conf. on Web Information Systems Engineering (WISE'01), pages 126-131, December, 2001.

R. Athale. Matrix predicates. Technical Report, number SCCH-TR-0142, 2001.

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.

T. Hofer. Modelling customisable web applications with WUML. Master thesis, 2001.

W. Schwinger. Modelling ubiquitous web applications - requirements and concepts. PhD thesis, Johannes Kepler University, November, 2001.

M. Pichler, T. Hofer, G. Leonhartsberger. Natural interfaces: The key to a ubiquitous information access. Technical Report, number SCCH-TR-0162, 2001.

K. Nakagawa, B. Buchberger. Presenting proofs using logicographic symbols. Proc. Int. Joint Conf. on Automated Reasoning (IJCAR 2001), June, 2001.

Proc. 2000 Kyoto Int. Conf. on Digital Libraries: Research and Practice. In Y. Kambayashi, G. Wiederhold, J. Klavans, W. Winiwarter, H. Tarumi (editors), IEEE Computer Society Press, 2001.

Proc. 3rd Int. Conf. on Data Warehousing and Knowledge Discovery (DaWaK 2001). In Y. Kambayashi, W. Winiwarter, M. Arikawa (editors), Springer, 2001.

Proc. 3rd Int. Conf. on Information Integration and Web-Based Applications and Services (iiWAS 2001). In W. Winiwarter, S. Bressan, I. Khalil Ibrahim (editors), Österreichische Computer Gesellschaft (OCG), 2001.

K. Wolfmaier, T. Ziebermayr. Report on web service enabling products. Technical Report, number SCCH-TR-0168, 2001.

Rewriting rules for semantic query transformation in e-commerce applications. Proc. 9th IFIP 2.6 Working Conf. on Database Semantics (DS-9), pages 343-357, April, 2001.

W. Essmayr, S. Probst, E. Weippl. Role-based access controls: Status, dissemination, and prospects for generic security mechanisms. Technical Report, number SCCH-TR-0118, 2001.

E. Weippl. Security Models for eLearning. In E. Riedling (editor), Vienna Int. Workshop in Distance Education and Training (ViewDet 2001), pages 65-72, Institute for Industrial Electronics and Material Science, 2001.

I. Khalil Ibrahim. Semantic query transformation for the intelligent integration of information sources. PhD thesis, Gadjah Mada University, February, 2001.

S. Bressan, W. Winiwarter, I. Khalil Ibrahim. Semantic query transformation for the intelligent integration of information sources over the web. Proc. Int. Workshop on Information Integration on the Web, Technologies and Applications (WIIW 2001), pages 164-171, April, 2001.

U. Bodenhofer. Similarity-based fuzzy orderings: A comprehensive overview. Proc. EUROFUSE 2001 Workshop on Preference Modelling and Applications (EUROFUSE 2001), pages 21-27, April, 2001.

B. Dorninger. SOFIA: A server-sided SOAP implementation focusing on EJB connectivity. Technical Report, number SCCH-TR-0120, -140, 2001.

F. Kossak. Some ideas for mathematical knowledge management software. Technical Report, number SCCH-TR-0124, 2001.

Sprachtechnologie. In W. Winiwarter (editor), 2001.

R. Ramler, J. Altmann. State-of-the-art in web application testing. Technical Report, number SCCH-TR-0167, 2001.

W. Essmayr, H. Leonhardsberger, S. Probst, W. Stockner, E. Weippl. State-of-the-art of authentication for eBanking. Technical Report, number SCCH-TR-0214, 2001.

F. Gruber, K. Wolfmaier. State-of-the-art report on wireless communication. Technical Report, number SCCH-TR-0171, 2001.

S. Fischmeister, G. Hagleitner, W. Pree, G. Pomberger. Symbolon - A novel concept for secure e-commerce. Proc. 1st IFIP Int. Conf. on E-Commerce, E-Business, and E-Government, October, 2001.

T. Kutsia, K. Nakagawa. System description: Interface between theorema and external automated deduction systems. Proc. 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (CALCULEMUS-2001), pages 178-182, June, 2001.

R. Sprengseis, J. Huber, D. Auer, W. Winiwarter. Technologien für Wissensmanagement im Krankenversicherungsbereich. 1. Konferenz "Professionelles Wissensmanagement Erfahrungen und Visionen (WM'2001), pages 434-441, March, 2001.

M. Pichler, T. Hofer, G. Leonhartsberger. The hydrogen project: Bringing together people, information and things. November, 2001.

E. Weippl. The transition form e-commerce to m-commerce: Why security should be the enabling technology. Journal of Information Technology Theory and Application (JITTA), volume 3, number 4, 2001.

K. Steiner, W. Essmayr, R. Wagner. Topic maps - An enabling technology for knowledge management. Proc. 12th Int. Conf. on Database and Expert Systems Applications (DEXA 2001), pages 472-476, September, 2001.

K. Nakagawa, B. Buchberger. Two tools for mathematical knowledge management in theorema. Proc. 1st Int. Workshop on Mathematical Knowledge Management (MKM'01), September, 2001.

M. Pichler, T. Hofer, G. Leonhartsberger. Ubiquitous business: Current trends and building blocks. Technical Report, number SCCH-TR-0161, 2001.

A. Finkelstein, A. Savigni, G. Kappel, W. Retschitzegger, W. Schwinger, C. Feichtner. Ubiquitous web application development - A framework of understanding. Technical Report, number SCCH-TR-145, -0179, 2001.

T. Kutsia. Unification in the empty flat theories with sequence variables and flexible arity symbols. pages 20-24, June, 2001.

J. Altmann, F. Gruber, L. Klug, W. Stockner, E. Weippl. Using mobile agents in real world: A survey and evaluation of agent platforms. Proc. 5th Int. Conf. on Autonomous Agents, pages 33-39, ACM Press, May/June, 2001.

E. Weippl. Visualising content based relations in texts. Proc. 2nd Australasian User Interface Conf. (AUIC 2001), pages 34-41, January, 2001.

B. Dorninger. XML as mediator in Distributed Systems: A server-side SOAP implementation focusing on EJB connectivity. Master thesis, 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.

U. Bodenhofer. A general framework for ordering fuzzy alternatives with respect to fuzzy orderings. Proc. 8th Int. Conf. on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2000), volume II, pages 1071-1077, July, 2000.

W. Winiwarter. A generic environment for learning foreign languages. Proc. Int. Conf. on Information and Communication Technologies for Education (ED-ICT 2000), pages 345-354, December, 2000.

W. Winiwarter. A language learning environment for japanese legal documents. ÖGAI Journal, volume 19, number 3, pages 10-16, 2000.

D. Auer, H. Dobler. A model for the migration to object-oriented software development with special emphasis on improvement of acceptance. Proc. 37th Int. Conf. on Technology of Object-Oriented Languages and Systems (TOOLS-PACIFIC 2000)., pages 132-143, November, 2000.

T. Weiler. A model of an automated decision making process. Technical Report, number SCCH-TR-0068, 2000.

W. Agung, I. Khalil Ibrahim. A multi agent system for e-business transactions. 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 157-166, 2000.

W. Winiwarter, I. Khalil Ibrahim. A multilingual natural language interface for mediating e-commerce applications. Proc. 13th Int. Conf. on Applications of Prolog (INAP 2000), pages 9-16, October, 2000.

U. Bodenhofer. A similarity-based generalization of fuzzy orderings preserving the classical axioms. International Journal of Uncertainty, Fuzziness Knowledge-Based Systems, volume 8, number 5, pages 593-610, 2000.

W. Winiwarter. Adaptive natural language interfaces to FAQ knowledge bases. Data and Knowledge Engineering, volume 35, number 2, pages 191-199, 2000.

M. Drobics. Advanced fuzzy clustering. Technical Report, number SCCH-TR-0071, 2000.

J. Altmann, W. Essmayr, M. Grabner, F. Gruber, L. Klug, W. Stockner, W. Winiwarter. Agent technology: State of the art. Technical Report, number SCCH-TR-0049, 2000.

M. Mittendorfer. Automatic generation of resources for information retrieval from a semi-formal dictionary. Technical Report, number SCCH-TR-0073, 2000.

D. Auer, H. Dobler. Change management in software development by models for technology transition. In S. Hofer, M. Beneder (editors), Proc. 8th Interdisciplinary Information Management Talks (IDIMT-2000), pages 307-323, September, 2000.

E. Blurock. Characterising complex reaction mechanisms using machine learning clustering techniques. Technical Report, number SCCH-TR-0072, 2000.

E. Weippl. Coimbra: Secure web access to multimedia content. Proc. ACM Multimedia Workshop on Multimedia and Security 2000, pages 145-148, October, 2000.

R. Füricht, T. Hofinger. Comparison of component technologies - EJB and COM. Technical Report, number SCCH-TR-0024, EAP, 2000.

W. Winiwarter. Cross-language portation of natural language database interfaces by using machine learning. In F. Soesianto, S. Bressan, I. Ibrahim (editors), Proc. 2nd Int. Workshop on Information and Integration and Web-Based Applications and Services (iiWAS 2000), pages 1-18, September, 2000.

E. Althammer, W. Pree. Design and implementation of a MVC-based architecture for e-commerce applications. Int. Journal of Computers and Their Applications, 2000.

W. Pree, G. Menkhaus. Ein Vergleich von österreichischen Internet-Banking-Anwendungen. In F. Lehner, R. Maier (editors), Electronic Business and Multimedia, Betriebswirtschaftlicher Verlag Dr. Th. Gabler and Deutscher Universitätsverlag, 2000.

J. Altmann, W. Essmayr, M. Grabner, F. Gruber, L. Klug, W. Stockner. Evaluation of agent platforms. Technical Report, number SCCH-TR-0064, 2000.

T. Ziebermayr. Evaluation of enterprise JavaBeans application servers. Master thesis, 2000.

M. Drobics. Finding fuzzy descriptions using SOMs. Technical Report, number SCCH-TR-0008, KVS, 2000.

W. Essmayr, E. Weippl. Fine grained replication on disributed databases: A taxonomy and practical considerations. Proc. 11th Int. Conf. on Database and Expert Systems Applications (DEXA 2000), pages 939-948, September, 2000.

W. Pree, K. Koskimies. Framelets small and loosely coupled frameworks. ACM Computing Surveys, volume 32, number 1, pages 57-61, March, 2000.

H. Sikora, W. Pree, G. Pomberger. From eBanking to mBanking: Software engineering challenges and experiences form the manager's view. November, 2000.

U. Bodenhofer. Genetic algorithms: Theory and applications. Technical Report, number SCCH-TR-0019, 2000.

W. Winiwarter. Human language technology in digital libraries. Proc. 2000 Kyoto Int. Conf. on Digital Libraries: Research and Practice, pages 418-425, November, 2000.

W. Essmayr, E. Weippl. Identity mapping: An approach to unravel enterprise security management policies. Proc. 16th IFIP World Computer Congress (WCC'2000), pages 79-88, August, 2000.

I. Khalil Ibrahim, E. Weippl, W. Winiwarter. Information mediation agents for data integration. Technical Report, number SCCH-TR-0078, 2000.

O. Mangisengi, J. Huber, C. Hawel, W. Essmayr. Integration issues for heterogeneous, distributed, and autonomous data warehouses. Technical Report, number SCCH-TR-0075, IDW, 2000.

M. Grabner, W. Stockner. Intelligent agents: State of the art. Technical Report, number SCCH-TR-0022, 2000.

M. Drobics, W. Winiwarter, U. Bodenhofer. Interpretation of self-organizing maps with fuzzy rules. Proc. 12th IEEE Int.l Conf. on Tools with Artificial Intelligence (ICTAI 2000), pages 304-311, November, 2000.

E. Weippl, H. Lohninger. Knowledge landscapes: A VR interface for web-based training knowledge bases. In H. Jaakkola, H. Kangassalo (editors), Proc. 10th European-Japanese Conf. on Information Modelling and Knowledge Bases (EJC 2000), pages 271-274, May, 2000.

E. Weippl. Knowledge landscapes: Clustering hypermedia course content for efficient overviews. Proc. 24. Jahrestagung German Association for Classification, March, 2000.

W. Pree. Lean product line architecture for e-commerce applications. In L. Barroca, J. Hall, P. Hall (editors), Software Architectures: Advances and Applications, Springer-Verlag, 2000.

E. Weippl, J. Altmann, W. Essmayr. Mobile database agents for building data warehouses. Proc. 11th Int. Conf. on Database and Expert Systems Applications (DEXA 2000), pages 477-481, September, 2000.

G. Kappel, W. Retschitzegger, W. Schwinger. Modeling customizable web applications. Proc. 2000 Kyoto Int. Conf. on Digital Libraries: Research and Practice, pages 168-179, November, 2000.

M. De Cock, U. Bodenhofer. Modelling linguistic expressions using fuzzy relations. Proc. 6th Int. Conf. on Soft Computing (IIZUKA 2000), pages 353-360, October, 2000.

J. Haslinger, U. Bodenhofer. Numerical optimization of fuzzy systems. Technical Report, number SCCH-TR-0009, 2000.

R. Richter, H. Wahl. Object oriented representation of t-norms and fuzzy membership functions. Technical Report, number SCCH-TR-0067, 2000.

U. Bodenhofer, M. De Cock, E. Kerre. Opening and closure operators of fuzzy preorderings: Basic properties and applications to fuzzy rule-based systems. Technical Report, number SCCH-TR-0061, KVS, 2000.

Proc. 2nd Int. Workshop on Natural Language and Information Systems (NLIS 2000). In W. Winiwarter, R. Dale, T. Mine (editors), Proc. 11th Int. Conf. on Database and Expert Systems Applications (DEXA 2000), IEEE Computer Society Press, 2000.

Proceedings of the Second International Workshop in Information Integration and Web-based Applications and Services 2000. In S. Soesianto, S. Bressan, I. Khalil Ibrahim (editors), J & J learning, 2000.

H. Walch. Prozesse zur Unterstützung der Wiederverwendung in der Software-Entwicklung. Master thesis, 2000.

M. Burger, J. Haslinger, U. Bodenhofer. Regularized optimization of fuzzy controllers. Technical Report, number SCCH-TR-0056, KVS, 2000.

U. Bodenhofer. Representations and constructions of strongly linear fuzzy orderings. Proc. 1999 Joint EUSFLAT/ESTYLF Conf. (EUSFLAT/ESTYLF 99), pages 215-218, September, 2000.

J. Haslinger, M. Mittendorfer. scchDSPlib - An object oriented digital signal processing library. Technical Report, number SCCH-TR-0002, 2000.

J. Huber. State-of-the-art in data warehousing and OLAP technology. Technical Report, number SCCH-TR-0035, 2000.

D. Auer. State-of-the-Art in intranet technology. Technical Report, number SCCH-TR-0003, 2000.

E. Weippl, H. Lohninger. Teach/Me's multimedia mind maps. Proc. 16th IFIP World Computer Congress, August, 2000.

E. Weippl, H. Lohninger. Teach/Me: Leveraging CBT-course efficiency using improved user interfaces. Proc. Int. Conf. on Information and Communication Technologies for Education (ED-ICT 2000), pages 355-362, December, 2000.

W. Freiseisen, R. Keber, W. Medetz, D. Stelzmüller. Testing PLC programs with modelica. Proc. 1st Int. Modelica Workshop, October, 2000.

P. Haslinger. The learning classifier system class architecture. Technical Report, number SCCH-TR-0070, 2000.

U. Bodenhofer, P. Bauer. Towards an axiomatic treatment of "interpretability". Proc. 6th Int. Conf. on Soft Computing (IIZUKA 2000), pages 334-339, October, 2000.

W. Schwinger, W. Retschitzegger. Towards modeling of data web applications - A requirements' perspective. Proc. Americans Conf. on Information Systems (AMCIS 2000), volume I, pages 149 - 155, August, 2000.

A. Pasetti, W. Pree. Two novel concepts for systematic product line development. Proc. 1st Software Product Line Conf. (SPLC 2000), August, 2000.

D. Auer, E. Weippl, W. Essmayr. Using web technology to improve health insurance services. In H. Jasper, J. Küng, G. Vossen (editors), Informationssysteme für E-Commerce, Schriftenreihe Informatik, pages 261–276, Universitätsverlag Rudolf Trauner, 2000.

U. Bodenhofer. A new approach to fuzzy orderings. Tatra Mountains Mathematical Publications, volume 16, pages 21-29, 1999.

A similarity-based generalization of fuzzy orderings. In U. Bodenhofer (editor), Schriftenreihe der Johannes Kepler Universität Linz, volume C26, Universitätsverlag Rudolf Trauner, 1999.

E. Althammer, W. Pree. An architecture for a strict-model-view separation in e-commerce applications. Proc. Software Engineering and Applications Conf. (SEA 99), October, 1999.

W. Pree. Enhancing internet banking through voice control. Proc. Internet and Multimedia Systems & Applications Conf. (IMSA'99), October, 1999.

W. Essmayr, E. Weippl. Federated databases in world-wide productions environments: Practical considerations when connecting independent companies. Technical Report, number SCCH-TR-9901, 1999.

W. Pree, H. Sikora. Java-Architekturkomponenten — Konzepte, Fallstudien & Erfahrungen. In S. Maffeis, F. Zeidler (editors), Erfahrungen mit Java: Projektberichte aus Industrie und Hochschule, pages 199-223, dpunkt-Verlag, 1999.

W. Essmayr, E. Weippl. Replication in highly distributed databases: A taxonomy and practical considerations. Technical Report, number SCCH-TR-9902, 1999.

U. Bodenhofer. The construction of ordering-based modifiers. In G. Brewka, R. Der, S. Gottwald, A. Schierwagen (editors), Fuzzy-Neuro Systems 99, pages 55-62, Leipziger Universitätsverlag, 1999.

M. Fontoura, W. Pree, B. Rumpe. UML-F: A modeling language for web architectures. Proc. European Con. on Object-Oriented Programming (ECOOP 2000), June, 1999.