Source: https://www.scch.at/de/publikationen-rse
Timestamp: 2019-04-22 22:55:47+00:00

Document:
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.
A. Buga, S. Nemes, A. Mashkoor. Addressing client needs for cloud computing using formal foundations. Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday, Tributes, volume 34, pages 264-285, College Publications, April, 2018.
A. Buga, A. Mashkoor, S. Nemes, K. Schewe, P. Songprasop. An Event-B-based approach to hybrid systems engineering and its application to a hemodialysis machine case study. Computer Languages, Systems & Structures, volume 54, pages 297-315, DOI: 10.1016/j.cl.2018.07.004, December, 2018.
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.
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.
J. Klespitz. Design of processes supporting the development of medical devices. PhD thesis, Óbuda University/Applied Informatics and Applied Mathematics Doctoral School, February, 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.
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.
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.
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.
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.
Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday. In A. Mashkoor, Q. Wang, B. Thalheim (editors), Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday, Tributes, volume 34, College Publications, April, 2018.
F. Ferrarotti, L. Tec, J. Turull-Torres. Polynomially bounded valuations in higher-order logics over relational databases. In A. Mashkoor, Q. Wang, B. Thalhiemn (editors), Models: Concepts, Theory, Logic, Reasoning, and Semantics - Essays Dedicated to Klaus-Dieter Schewe on the Occasion of His 60th Birthday, Tributes, volume 34, pages 92-121, College Publications, April, 2018.
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. 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.
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.
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.
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.
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.
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. 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.
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.
P. Songprasop. Structural modelling in systems engineering. Master thesis, ISI-Hagenberg, INFORMATICS: Engineering & Management, March, 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.
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.
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.
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.
W. An. Formal specification and analysis of asynchronous mutual exclusion algorithms. Master thesis, July, 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.
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.
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.
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.
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. 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.
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.
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.
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.
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.
F. Kossak, A. Mashkoor. How to select the suitable formal method for an industrial application: A survey. Technical Report, October, 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.
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.
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.
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.
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.
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.
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.
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. 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.
V. Geist. Integrated executable business process and dialogue specification. PhD thesis, Software Competence Center Hagenberg GmbH/EAP, July, 2011.
On transforming a knowledge base from topic maps to OWL. February, 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.
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.
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.
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.
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.
D. Draheim, C. Illibauer, T. Kopetzky. Specification of business processes and realization as web services. Technical Report, number SCCH-TR-0810, EAP, June, 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.
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.
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.
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.
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.
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.
E. Szász-Révai. Loose specification of services exploiting an execution language. Master thesis, Internationaler Universitätslehrgang: Informatics: Engineering & Management/EAP, August, 2008.
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.
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.
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.
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.
V. Geist. Process and workflow: Implementation and evaluation of concepts. Technical Report, number SCCH-TR-0625, EAP, 2006.
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.
R. Füricht, T. Hofinger. Comparison of component technologies - EJB and COM. Technical Report, number SCCH-TR-0024, EAP, 2000.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 

V. 
 V. 
 V. 

V. 
 V. 

V. 
 V. 

V. 
 V. 
 V. 
 V. 
 V. 
 V. 

V.