Bernhard Peischl

Michaela Ferk

Andreas Holzinger

Proceedings of the DCNET, ICE-B and OPTICS 2013 - Proceedings of the 4th International Conference on Data Communication Networking, 10th International Conference on e-Business and 4th International Conference on Optical Communication Systems, Reykjavík, Iceland, 29, 2013

2012

Automated Debugging of Verilog Designs.

[BibT_eX]

[DOI]

Naveed Riaz

Int. J. Softw. Eng. Knowl. Eng., 2012

On Using Entropy for Enhancing Handwriting Preprocessing.

[BibT_eX]

[DOI]

Entropy, 2012

Nachhaltiges Software Management durch Lebenszyklus-übergreifende Überwachung von Qualitätskennzahlen.

[BibT_eX]

[DOI]

Sandra M. Lang

Proceedings of the Nachhaltiges Software Management. Fachtagung des GI-Fachausschusses Management der Anwendungsentwicklung und -wartung im Fachbereich Wirtschaftsinformatik (WI-MAW), 2012

A Mobile Information System for Improved Navigation in Public Transport - User Centered Design, Development, Evaluation and e-Business Scenarios of a Mobile Roadmap Application.

[BibT_eX]

Martina Ziefle

Andreas Holzinger

Proceedings of the DCNET, ICE-B and OPTICS 2012, 2012

On Complexity Reduction of User Interfaces for Safety-Critical Systems.

[BibT_eX]

[DOI]

Proceedings of the Multidisciplinary Research and Practice for Information Systems, 2012

2011

Testing of Safety-Critical Systems - a Structural Approach to Test Case Design.

[BibT_eX]

[DOI]

Armin Beer

Proceedings of the Advances in Systems Safety, 2011

An Abstract Operational Framework for Dependence Models in Software Debugging.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Rapid Prototyping on the Example of Software Development in Automotive Industry - The Importance of Their Provision for Software Projects at the Correct Time.

[BibT_eX]

Proceedings of the ICE-B 2011, 2011

An Answer to "Who Needs a Stylus?" on Handwriting Recognition on Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the E-Business and Telecommunications - International Joint Conference, 2011

Handwriting Recognition on Mobile Devices - State of the Art Technology, Usability and Business Analysis.

[BibT_eX]

Proceedings of the ICE-B 2011, 2011

2010

Test Sequence Generation from Communicating UML State Charts: An Industrial Application of Symbolic Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

Static- and Dynamic Consistency Analysis of UML State Chart Models.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Generation of executable test cases based on behavioral UML system models.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Automation of Software Test, 2010

Optimization of a Handwriting Recognition Algorithm for a Mobile Enterprise Health Information System on the Basis of Real-Life Usability Research.

[BibT_eX]

[DOI]

Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010

Preferences of Handwriting Recognition on Mobile Information Systems in Medicine - Improving Handwriting Algorithm on the Basis of Real-life Usability Research.

[BibT_eX]

Proceedings of the ICE-B 2010 - Proceedings of the International Conference on e-Business, Athens, Greece, July 26, 2010

2009

From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation.

[BibT_eX]

[DOI]

Valentin Chimisliu

Proceedings of the Ninth International Conference on Quality Software, 2009

GUI Savvy End-to-End Testing with Smart Monkeys.

[BibT_eX]

[DOI]

Birgit Hofer

Proceedings of the 4th International Workshop on Automation of Software Test, 2009

Recommending Effort Estimation Methods for Software Project Management.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Employing Test Suites for Verilog Fault Localization.

[BibT_eX]

[DOI]

Naveed Riaz

Proceedings of the Current Topics in Artificial Intelligence, 2009

2008

Advances in Automated Source-Level Debugging of Verilog Designs.

[BibT_eX]

[DOI]

Naveed Riaz

Proceedings of the New Challenges in Applied Intelligence Technologies, 2008

A Constraint Model for Automated Deployment of Automotive Control Software.

[BibT_eX]

Mihai Nica

Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering (SEKE'2008), 2008

2007

Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods.

[BibT_eX]

[DOI]

Bernhard K. Aichernig

Martin Weiglhofer

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

Executing Abstract Test Cases.

[BibT_eX]

[DOI]

Martin Weiglhofer

Proceedings of the 37. Jahrestagung der Gesellschaft für Informatik, 2007

Test purpose generation in an industrial application.

[BibT_eX]

[DOI]

Bernhard K. Aichernig

Martin Weiglhofer

Proceedings of the 3rd Workshop on Advances in Model Based Testing, 2007

2006

Automated Source-Level Error Localization in Hardware Designs.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2006

Towards Lightweight Fault Localization in Procedural Programs.

[BibT_eX]

[DOI]

Safeeullah Soomro

Proceedings of the Advances in Applied Artificial Intelligence, 2006

2005

Error traces in model-based debugging of hardware description languages.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004

Are Error Traces Enough for Automated Fault Localization in VHDL Designs?

[BibT_eX]

Proceedings of the Second Workshop on Intelligent Solutions in Embedded Systems, 2004

2003

Model-Based Diagnosis or Reasoning from First Principles.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2003

Modeling State in Software Debugging of VHDL-RTL Designs - A Model-Based Diagnosis Approach

[BibT_eX]

[DOI]

CoRR, 2003

Debugging VHDL Designs Using Temporal Process Instances.

[BibT_eX]

[DOI]

Daniel Köb