Wolfgang A. Halang

According to our database1, Wolfgang A. Halang authored at least 148 papers between 1980 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
A Mobile Recommender System for Location-Aware Telemedical Diagnostics.
Proceedings of the Innovations for Community Services, 2020

2019
50 Jahre Echtzeitprogrammiersprache PEARL.
Inform. Spektrum, 2019

2018
Von Algol 68 zu SafePEARL.
Proceedings of the Echtzeit und Sicherheit, 2018

2017
Sequentially Grouping Items into Clusters of Unspecified Number.
Proceedings of the Recent Advances in Information and Communication Technology 2017, 2017

2016
PEARL für sicherheitsgerichtete Echtzeitprogrammierung.
Proceedings of the Internet der Dinge, 2016

2015
A 3-Z-Network Boost Converter.
IEEE Trans. Ind. Electron., 2015

Cascading failures of power grids caused by line breakdown.
Int. J. Circuit Theory Appl., 2015

Integrierte Materialflussanalyse und Prozessmodellierung als Planungshilfe im Wasser- und Energiesektor.
Autom., 2015

A Cephalomorph Real-Time Computer.
Proceedings of the Brain-Inspired Computing - Second International Workshop, 2015

2014
A Z-Source Half-Bridge Converter.
IEEE Trans. Ind. Electron., 2014

An energy-aware dynamic scheduling algorithm for hard real-time systems.
Proceedings of the 3rd Mediterranean Conference on Embedded Computing, 2014

Secure Cloud Computing.
Proceedings of the Recent Advances in Information and Communication Technology, 2014

2013
Discovery and Selection of Semantic Web Services
Studies in Computational Intelligence 453, Springer, ISBN: 978-3-642-33937-0, 2013

Incremental collaborative filtering based on Mahalanobis distance and fuzzy membership for recommender systems.
Int. J. Gen. Syst., 2013

Recommender Systems in Telemedicine.
Proceedings of the 12th IFAC Conference on Programmable Devices and Embedded Systems, 2013

Guiding Chinese Scientists to Germany.
Proceedings of the A Tribute to Prof. Dr. Da Ruan, 2013

2012
Decision support in e-business based on assessing similarities between ontologies.
Knowl. Based Syst., 2012

2011
Leader Following of Nonlinear Agents With Switching Connective Network and Coupling Delay.
IEEE Trans. Circuits Syst. I Regul. Pap., 2011

Hierarchical B-picture mode decision in H.264/SVC.
J. Vis. Commun. Image Represent., 2011

The stability of a chaotic PWM boost converter.
Int. J. Circuit Theory Appl., 2011

Ontology-dependent two-phase semantic web services discovery and its e-government implementation.
Int. J. Bus. Process. Integr. Manag., 2011

Design of microprogrammed controllers to be implemented in FPGAs.
Int. J. Appl. Math. Comput. Sci., 2011

2010
Cryptography Based on Spatiotemporal Chaotic Systems.
Proceedings of the Evolutionary Algorithms and Chaotic Systems, 2010

FPGA implementation of a coupled-map-lattice-based cryptosystem.
Int. J. Circuit Theory Appl., 2010

Chaotification of Spatiotemporal Systems.
Int. J. Bifurc. Chaos, 2010

On the Convergence of a Leader-Following Discrete-Time Consensus Protocol.
Proceedings of the 10th International Conference on Innovative Internet Community Services (I<sup>2</sup>CS), 2010

Real-time Systems' Quality of Service - Introducing Quality of Service Considerations in the Life Cycle of Real-time Systems.
Springer, ISBN: 978-1-8488-2847-6, 2010

2009
Mapping Ontologies by Utilising Their Semantic Structure.
Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

A reconfiguration pattern for distributed embedded systems.
Softw. Syst. Model., 2009

Cryptanalysis of an image encryption scheme based on a compound chaotic sequence.
Image Vis. Comput., 2009

A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.
Innov. Syst. Softw. Eng., 2009

Automated control systems for the safety integrity levels 3 and 4.
Comput. Syst. Sci. Eng., 2009

Safety shell for specification-PEARL oriented UML real-time projects.
Comput. Lang. Syst. Struct., 2009

Entwurf und Analyse verteilter Echtzeitsysteme.
Proceedings of the Software-Entwicklung für Echtzeitsysteme., 2009

Leistungsbewertung und Dienstqualität von Echtzeitsystemen.
Proceedings of the Software-Entwicklung für Echtzeitsysteme., 2009

Qualitätssicherung von Echtzeitsystemen.
Proceedings of the Software-Entwicklung für Echtzeitsysteme., 2009

Echtzeitbetriebssysteme.
Proceedings of the Software-Entwicklung für Echtzeitsysteme., 2009

Einführung.
Proceedings of the Software-Entwicklung für Echtzeitsysteme., 2009

2008
A Chaotic Peak Current-Mode Boost Converter for EMI Reduction and Ripple Suppression.
IEEE Trans. Circuits Syst. II Express Briefs, 2008

A safety shell for UML-RT Projects.
Proceedings of the International Multiconference on Computer Science and Information Technology, 2008

A Rough Similarity Measure for Ontology Mapping.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008

2007
Rough Ontology Mapping in E-Business Integration.
Proceedings of the E-Service Intelligence: Methodologies, Technologies and Applications, 2007

Representation and Discovery of Intelligent E-Services.
Proceedings of the E-Service Intelligence: Methodologies, Technologies and Applications, 2007

A Chip Performing Chaotic Stream Encryption.
Proceedings of the Contributions to Ubiquitous Computing, 2007

A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems.
Proceedings of the Contributions to Ubiquitous Computing, 2007

Securing Communication by Chaos-based Encryption.
Proceedings of the Contributions to Ubiquitous Computing, 2007

Application of Chaos-based Pseudo-Random-Bit Generators in Internet-based Online Payments.
Proceedings of the E-Service Intelligence: Methodologies, Technologies and Applications, 2007

Analyzing Chaotic Spectra of DC-DC Converters Using the Prony Method.
IEEE Trans. Circuits Syst. II Express Briefs, 2007

QoS-oriented design of embedded systems with specification PEARL.
Innov. Syst. Softw. Eng., 2007

Cryptanalysis of an image encryption scheme based on a new total shuffling algorithm
CoRR, 2007

Analog Chaos-based Secure Communications and Cryptanalysis: A Brief Survey
CoRR, 2007

2006
Editorial.
Real Time Syst., 2006

Analysis of a Multiple-Output Pseudo-Random-Bit Generator Based on a Spatiotemporal Chaotic System.
Int. J. Bifurc. Chaos, 2006

Information and communication technology embraces control: Status report prepared by the IFAC Coordinating Committee on Computers, Cognition and Communication.
Annu. Rev. Control., 2006

A UML Framework for Safety Mechanisms Based on IEC 61508.
Proceedings of the Sicherheit 2006: Sicherheit, 2006

Ein PEARL-Einplatinenrechner hält Einzug auf dem Bauernhof.
Proceedings of the Echtzeitsysteme im Alltag, 2006

Safe and Timely Scenario Switching in UML Real-Time Projects.
Proceedings of the Ninth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2006), 2006

Rough concept lattice based ontology similarity measure.
Proceedings of the 1st International Conference on Scalable Information Systems, 2006

Ontology Mapping based on Rough Formal Concept Analysis.
Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005
Specification and Verification of Applications Based on Function Blocks.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Platform-Independent Specification of Component Architectures for Embedded Real-Time Systems Based on an Extended UML.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005

A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach.
Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Specification of Function Block Applications with UML.
Proceedings of the 2005 IEEE International Conference on Robotics and Automation, 2005

2004
Homoclinic and heteroclinic orbits in a modified Lorenz system.
Inf. Sci., 2004

Contemporary research on real-time scheduling considered obsolete.
Annu. Rev. Control., 2004

Temporal Feasibility Verification of Specification PEARL Designs.
Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2004), 2004

Profiling Specification PEARL Designs.
Proceedings of the Design Methods and Applications for Distributed Embedded Systems, 2004

Simplicity Considered Fundamental to Design for Predictability.
Proceedings of the Perspectives Workshop: Design of Systems with Predictable Behaviour, 2004

2003
Non-preemptive scheduling to maximize the minimum global inter-completion time.
Autom., 2003

Programming languages for use in safety-related applications.
Annu. Rev. Control., 2003

Improving integrity of embedded computers in control.
Annu. Rev. Control., 2003

An Approach to Configuration Management and Co-Simulation in Distributed Embedded Systems.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 2003

Eine hochsprachenorientierte Rechnerarchitektur ohne arithmetische Register.
IFB Verlag, ISBN: 978-3-931263-39-3, 2003

2002
Safe object oriented programming of distributed real time systems in PEARL.
Comput. Syst. Sci. Eng., 2002

Eine verläßliche Plattform zur Ausführung zertifizierbarer Echtzeitprogramme.
Proceedings of the Sicherheit und Verfügbarkeit in Echtzeit- und Automatisierungssystemen, 2002

Fault Detection in Safety-Critical Embedded Systems.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

PEARL for Distributed Embedded Systems.
Proceedings of the Design and Analysis of Distributed Embedded Systems, IFIP 17<sup>th</sup> World Computer Congress, 2002

2001
Composing Dependable Real Time Software of Function Blocks.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Schutz von Automatisierungssystemen durch gerätetechnisch unterstützte Sicherheitsmaßnahmen.
Proceedings of the Echtzeitkommunikation und Ethernet/Internet, 2001

2000
Measuring the Performance of Real-Time Systems.
Real Time Syst., 2000

A Safety Licensable PES for SIL 4 Applications.
Proceedings of the Computer Safety, 2000

Realzeitfähige serielle Datenübertragung mit Fehlerkorrektur.
Proceedings of the PEARL 2000: Echtzeitbetriebssysteme und LINUX, 2000

1999
Ein netz- und multimediagestütztes Fernpraktikum.
Proceedings of the PEARL 99: Multimedia und Automatisierung, 1999

Sicherheitsgerichtete Echtzeitsysteme.
Oldenbourg, ISBN: 978-3-486-24036-8, 1999

1998
Implementation of Hard Real-Time Embedded Control Systems.
Real Time Syst., 1998

Computerised controllers for safety critical medical applications.
Int. J. Medical Informatics, 1998

Neue Medien im Fernstudium.
Proceedings of the Informatik und Ausbildung, GI-Fachtagung 98, 1998

Methods and Languages for Safety-Related Real-Time Programming.
Proceedings of the Computer Safety, 1998

PEARL in der Sicherheitstechnik.
Proceedings of the PEARL 98: Echtzeitsysteme im Netz, 1998

Entwurfsmethode für einen universellen Koprozessor für zeitkritische Aufgaben in sicherheitsgerichteten Echtzeitsystemen.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 1998

An Object-Oriented Extension to PEARL90.
Proceedings of the 1st International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98), 1998

Towards Standard-Based Specification and Design of Embedded Real-Time Systems.
Proceedings of the 24th EUROMICRO '98 Conference, 1998

Real-Time Systems - Panel Overview.
Proceedings of the COMPSAC '98, 1998

Bezpieczny programowalny sterownik logiczny.
Oficyna Wydawnicza Politechniki Rzeszowskiej, ISBN: 978-83-7199-036-6, 1998

Methodenlehre sicherheitsgerichteter Echtzeitprogrammierung.
Schriftenreihe der Bundesanstalt für Arbeitsschutz : Forschung 813, Bundesanstalt für Arbeitsschutz, ISBN: 978-3-89701-213-4, 1998

1997
High Accuracy Concurrent Event Processing in Hard Real-Time Systems.
Real Time Syst., 1997

The Engineering of Complex Distributed Computer Systems.
IEEE Concurrency, 1997

Virtuelles Labor-Nutzung vernetzter Multimediatechnologie.
Proceedings of the Informatik und Lernen in der Informationsgesellschaft, 1997

Eine objektorientierte Erweiterung von PEARL 90.
Proceedings of the PEARL 97, 1997

Designing an Embedded Hard Real-Time System: A Case Study.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

On Safety--Critical Computer Control Systems.
Proceedings of the 10th IEEE Symposium on Computer-Based Medical Systems (CBMS '97), 1997

Design of Peripheral Interfaces for Embedded Control Systems.
Proceedings of the Architektur von Rechensystemen, Arbeitsteilige Systemarchitekturen: Konzepte, Lösungen, Anwendungen, Trends, 1997

1996
Genetic algorithm for optimizing the nonlinear time alignment of automatic speech recognition systems.
IEEE Trans. Ind. Electron., 1996

Integrated Multimedia-Based Distance Teaching of Information Technology.
J. Univers. Comput. Sci., 1996

A mobile vehicle on-board computing and communication system.
Comput. Graph., 1996

A Processor Architecture Designed to Faciliate the Safety Certification of Hard Real Time Systems.
Proceedings of the 15th International Conference on Computer Safety, 1996

Zur Unterstützung der Vorhersehbarkeit von Programmausführungszeiten in PEARL.
Proceedings of the PEARL 96, 1996

1995
Supporting High Integrity and Behavioural Predictability of Hard Real-Time Systems.
Informatica (Slovenia), 1995

Sprachelemente zur Formulierung von Ablaufsteuerungen.
Inform. Forsch. Entwickl., 1995

Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software.
Comput. J., 1995

Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.
Proceedings of the Verläßliche Informationssysteme, Proceedings der GI-Fachtagung VIS '95, 1995

Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung.
Proceedings of the Innovative Konzepte für die Ausbildung, 1995

Formally Verified Firmware Modules for Industrial Process Automation.
Proceedings of the 14th International Conference on Computer Safety, 1995

Development of a real-time motion image encoder using codesign methodology.
Proceedings of the Sixth IEEE International Workshop on Rapid System Prototyping (RSP '95), 1995

Ein multimedialer Kurs der Echtzeitprogrammiersprache PEARL.
Proceedings of the PEARL 95, 1995

A graphical paradigm facilitating correct programming of complex computer control systems.
Proceedings of the 1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '95), 1995

Sharing of Work Between Industrialised and Developing Countries in Engineering of Highly Dependable Software for Process Automation.
Proceedings of the GISI 95, 1995

Enforcing management policies in distributed systems.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994
Safety Assurance in Process Control.
IEEE Softw., 1994

A hardware supported operating system kernel for embedded hard real-time applications.
Microprocess. Microsystems, 1994

Stetiges Systemverhalten als Grundbedingung sicherer Informationstechnik/ Continuous System Behaviour as Precondition of Safe Information Technology.
Informationstechnik Tech. Inform., 1994

GPS-basierte Zeitgeber: Realzeitsysteme werden endlich "echt"zeitfähig.
Proceedings of the PEARL 94, 1994

1993
Extending Pearl for Industrial Real-Time Applications.
IEEE Softw., 1993

The time dimension considered appropriate for resource access synchronization.
Inf. Softw. Technol., 1993

Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung.
Proceedings of the Verläßliche Informationssysteme, 1993

A Virus-Resistant Network Interface.
Proceedings of the 12th International Conference on Computer Safety, 1993

PLC-Implementation of Emergency Shut-Down Systems.
Proceedings of the 12th International Conference on Computer Safety, 1993

Exception Handling and Predictability in Hard Real-Time Systems.
Proceedings of the 12th International Conference on Computer Safety, 1993

PEARL als Spezifikationssprache.
Proceedings of the PEARL 93, 1993

Echtzeit.
Proceedings of the Informatik: Grundlagen - Amwendungen, 1993

1992
Conference Announcement: NATO Study Institute (ASI) on Real-Time Computing.
Real Time Syst., 1992

Real-time systems: Another perspective.
J. Syst. Softw., 1992

Achieving high integrity of process control software by graphical design and formal verification.
Softw. Eng. J., 1992

Load adaptive dynamic scheduling of tasks with hard deadlines useful for industrial applications.
Computing, 1992

PEARL in der Ausbildung an der FernUniversität.
Proceedings of the PEARL 92, 1992

Real-time systems - implementation of industrial computerised process automation.
World Scientific, ISBN: 978-981-02-1063-2, 1992

1991
Analysing PEARL Programs for Timely Schedulability and Executability.
Proceedings of the Prozeßrechnersysteme '91, 1991

Zum unterentwickelten Zeitbegriff der Informatik.
Proceedings of the Physik und Informatik, 1991

Performance Metrics for Real-Time Systems.
Proceedings of the PEARL 91, 1991

1990
Comparative Evaluation of High-Level Real-Time Programming Languages.
Real Time Syst., 1990

Erweiterung und Anwendung von PEARL zur Programmierung speicherprogrammierbarer Steuerungen.
Proceedings of the PEARL 90, 1990

1989
Schwerpunkte der internationalen Forschung im Bereich Echtzeitsysteme.
Proceedings of the PEARL 89, 1989

Methodologies for meeting hard deadlines in industrial distributed real-time systems.
Proceedings of the 13th Annual International Computer Software and Applications Conference, 1989

1986
Suitable Multiprocessor Structures and Virtual Storage Management when Applying a Feasible Scheduling Algorithm in Hard Real-Time Environment.
Softw. Pract. Exp., 1986

1984
A Proposal for Extensions of PEARL to Facilitate the Formulation of Hard Real-Time Applications.
Proceedings of the Prozeßrechner 1984, 1984

1980
Ansätze zu funktionsorientierten Prozessrechnerstrukturen.
PhD thesis, 1980


  Loading...