 | 2009 |
|---|
| 81 |       | Roman Gumzej,
Wolfgang A. Halang:
A safety shell for UML-RT projects structure and methods of the corresponding UML pattern.
ISSE 5(2): 97-105 (2009) |
| 80 | | Chengqing Li,
Shujun Li,
Guanrong Chen,
Wolfgang A. Halang:
Cryptanalysis of an image encryption scheme based on a compound chaotic sequence.
Image Vision Comput. 27(8): 1035-1039 (2009) |
| 79 | | Roman Gumzej,
Matjaz Colnaric,
Wolfgang A. Halang:
A reconfiguration pattern for distributed embedded systems.
Software and System Modeling 8(1): 145-161 (2009) |
| 2008 |
|---|
| 78 | | Yi Zhao,
Wolfgang A. Halang,
Xia Wang:
A Rough Similarity Measure for Ontology Mapping.
ICIW 2008: 136-141 |
| 2007 |
|---|
| 77 |  | Bernd J. Krämer,
Wolfgang A. Halang:
Contributions to Ubiquitous Computing
Springer 2007 |
| 76 | | Shourong Lu,
Wolfgang A. Halang:
A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems.
Contributions to Ubiquitous Computing 2007: 197-218 |
| 75 | | Ping Li,
Zhong Li,
Wolfgang A. Halang,
Guanrong Chen:
Securing Communication by Chaos-based Encryption.
Contributions to Ubiquitous Computing 2007: 285-306 |
| 74 | | Yaobin Mao,
Wenbo Liu,
Zhong Li,
Ping Li,
Wolfgang A. Halang:
A Chip Performing Chaotic Stream Encryption.
Contributions to Ubiquitous Computing 2007: 307-332 |
| 73 | | Xia Wang,
Bernd J. Krämer,
Yi Zhao,
Wolfgang A. Halang:
Representation and Discovery of Intelligent E-Services.
E-Service Intelligence 2007: 233-252 |
| 72 | | Ping Li,
Zhong Li,
Siegfried Fettinger,
Yaobing Mao,
Wolfgang A. Halang:
Application of Chaos-based Pseudo-Random-Bit Generators in Internet-based Online Payments.
E-Service Intelligence 2007: 667-685 |
| 71 | | Yi Zhao,
Wolfgang A. Halang,
Xia Wang:
Rough Ontology Mapping in E-Business Integration.
E-Service Intelligence 2007: 75-93 |
| 70 | | Shujun Li,
Gonzalo Álvarez,
Zhong Li,
Wolfgang A. Halang:
Analog Chaos-based Secure Communications and Cryptanalysis: A Brief Survey
CoRR abs/0710.5455: (2007) |
| 69 | | David Arroyo,
Chengqing Li,
Shujun Li,
Gonzalo Álvarez,
Wolfgang A. Halang:
Cryptanalysis of an image encryption scheme based on a new total shuffling algorithm
CoRR abs/0710.5465: (2007) |
| 68 | | Chengqing Li,
Shujun Li,
Guanrong Chen,
Wolfgang A. Halang:
Cryptanalysis of an Image Encryption Scheme Based on a Compound Chaotic Sequence
CoRR abs/0712.3964: (2007) |
| 67 | | Roman Gumzej,
Wolfgang A. Halang:
QoS-oriented design of embedded systems with specification PEARL.
ISSE 3(4): 269-279 (2007) |
| 2006 |
|---|
| 66 | | Yi Zhao,
Xia Wang,
Wolfgang A. Halang:
Ontology Mapping based on Rough Formal Concept Analysis.
AICT/ICIW 2006: 180 |
| 65 | | Roman Gumzej,
Matjaz Colnaric,
Wolfgang A. Halang:
Safe and Timely Scenario Switching in UML Real-Time Projects.
ISORC 2006: 335-342 |
| 64 | | Yi Zhao,
Wolfgang A. Halang:
Rough concept lattice based ontology similarity measure.
Infoscale 2006: 15 |
| 63 | | Shourong Lu,
Wolfgang A. Halang:
A UML Framework for Safety Mechanisms Based on IEC 61508.
Sicherheit 2006: 357-360 |
| 62 | | Ping Li,
Zhong Li,
Wolfgang A. Halang,
Guanrong Chen:
Analysis of a Multiple-Output Pseudo-Random-Bit Generator Based on a Spatiotemporal Chaotic System.
I. J. Bifurcation and Chaos 16(10): 2949-2963 (2006) |
| 61 | | John A. Stankovic,
Wolfgang A. Halang,
Kim-Fung Man,
Tarek F. Abdelzaher,
Giorgio C. Buttazzo,
Krithi Ramamritham:
Editorial.
Real-Time Systems 32(1-2): 5-7 (2006) |
| 2005 |
|---|
| 60 | | Wei Zhang,
Christian Diedrich,
Wolfgang A. Halang:
Specification of Function Block Applications with UML.
ICRA 2005: 4002-4007 |
| 59 | | Shourong Lu,
Wolfgang A. Halang,
Lichen Zhang:
A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach.
RTCSA 2005: 563-566 |
| 2004 |
|---|
| 58 | | Roman Gumzej,
Matjaz Colnaric,
Wolfgang A. Halang:
Profiling Specification PEARL Designs.
DIPES 2004: 217-226 |
| 57 | | Wolfgang A. Halang:
Simplicity Considered Fundamental to Design for Predictability.
Design of Systems with Predictable Behaviour 2004 |
| 56 | | Roman Gumzej,
Matjaz Colnaric,
Wolfgang A. Halang:
Temporal Feasibility Verification of Specification PEARL Designs.
ISORC 2004: 249-252 |
| 55 | | Zhong Li,
Guanrong Chen,
Wolfgang A. Halang:
Homoclinic and heteroclinic orbits in a modified Lorenz system.
Inf. Sci. 165(3-4): 235-245 (2004) |
| 2003 |
|---|
| 54 | | Roman Gumzej,
Wolfgang A. Halang:
An Approach to Configuration Management and Co-Simulation in Distributed Embedded Systems.
WORDS Fall 2003: 125-130 |
| 53 | | Wolfgang A. Halang:
Automated Control Systems for the Safety Integrity Levels 3 and 4.
WORDS Fall 2003: 35- |
| 2002 |
|---|
| 52 | | Roman Gumzej,
Wolfgang A. Halang:
PEARL for Distributed Embedded Systems.
DIPES 2002: 11-20 |
| 51 | | Domen Verber,
Matjaz Colnaric,
Wolfgang A. Halang:
Fault Detection in Safety-Critical Embedded Systems.
DIPES 2002: 113-119 |
| 50 | | Wolfgang A. Halang,
Nihal Kececi,
Grace Tsai:
Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems.
DIPES 2002: 153-162 |
| 49 | | Nihal Kececi,
Wolfgang A. Halang,
Alain Abran:
A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems.
DIPES 2002: 61-69 |
| 48 | | Wolfgang A. Halang,
Carlos Eduardo Pereira,
Alceu Heinke Frigeri:
Safe object oriented programming of distributed real time systems in PEARL.
Comput. Syst. Sci. Eng. 17(2): 85-94 (2002) |
| 2001 |
|---|
| 47 | | Wolfgang A. Halang,
Carlos Eduardo Pereira,
Alceu Heinke Frigeri:
Safe Object Oriented Programming of Distributed Real Time Systems in PEARL.
ISORC 2001: 87-94 |
| 46 | | Robert Fitz,
Wolfgang A. Halang:
Schutz von Automatisierungssystemen durch gerätetechnisch unterstützte Sicherheitsmaßnahmen.
PEARL 2001: 19-28 |
| 45 | | Wolfgang A. Halang,
Sias Mostert:
Composing Dependable Real Time Software of Function Blocks.
WORDS 2001: 119-128 |
| 2000 |
|---|
| 44 | | Thomas Erdner,
Wolfgang A. Halang:
Realzeitfähige serielle Datenübertragung mit Fehlerkorrektur.
PEARL 2000: 23-32 |
| 43 | | Wolfgang A. Halang,
Peter Vogrin,
Matjaz Colnaric:
A Safety Licensable PES for SIL 4 Applications.
SAFECOMP 2000: 141-150 |
| 42 | | Wolfgang A. Halang,
Roman Gumzej,
Matjaz Colnaric,
Marjan Druzovec:
Measuring the Performance of Real-Time Systems.
Real-Time Systems 18(1): 59-68 (2000) |
| 1999 |
|---|
| 41 | | Wolfgang A. Halang,
Bernhard Heulmanns,
Jutta Düring:
Ein netz- und multimediagestütztes Fernpraktikum.
PEARL 1999: 39-48 |
| 1998 |
|---|
| 40 | | Wolfgang A. Halang,
K. H. Kim,
Kinji Mori,
Ulrich Schmid,
Horst Wedde:
Real-Time Systems - Panel Overview.
COMPSAC 1998: 338-343 |
| 39 | | Roman Gumzej,
Matjaz Colnaric,
Domen Verber,
Wolfgang A. Halang:
Towards Standard-Based Specification and Design of Embedded Real-Time Systems.
EUROMICRO 1998: 10453- |
| 38 | | Alceu Heinke Frigeri,
Carlos Eduardo Pereira,
Wolfgang A. Halang:
An Object-Oriented Extension to PEARL90.
ISORC 1998: 265-274 |
| 37 | | Wolfgang A. Halang,
Bernd J. Krämer:
Neue Medien im Fernstudium.
Informatik und Ausbildung 1998: 286-288 |
| 36 | | Wolfgang A. Halang,
Alceu Heinke Frigeri:
PEARL in der Sicherheitstechnik.
PEARL 1998: 105-114 |
| 35 | | Wolfgang A. Halang,
Alceu Heinke Frigeri:
Methods and Languages for Safety-Related Real-Time Programming.
SAFECOMP 1998: 196-208 |
| 34 | | Matjaz Colnaric,
Domen Verber,
Roman Gumzej,
Wolfgang A. Halang:
Implementation of Hard Real-Time Embedded Control Systems.
Real-Time Systems 14(3): 293-310 (1998) |
| 1997 |
|---|
| 33 | | Matjaz Colnaric,
Wolfgang A. Halang,
Markus Wannemacher:
Design of Peripheral Interfaces for Embedded Control Systems.
ARCS 1997: 125-132 |
| 32 | | Wolfgang A. Halang,
Matjaz Colnaric:
On Safety--Critical Computer Control Systems.
CBMS 1997: 210-214 |
| 31 | | Matjaz Colnaric,
C. T. Cheung,
Wolfgang A. Halang:
Designing an Embedded Hard Real-Time System: A Case Study.
Euro-Par 1997: 1231-1235 |
| 30 | | Martin Witte,
Andreas Jochheim,
Wolfgang A. Halang,
Helmut Hoyer:
Virtuelles Labor-Nutzung vernetzter Multimediatechnologie.
INFOS 1997: 206-213 |
| 29 | | Alceu Heinke Frigeri,
Wolfgang A. Halang:
Eine objektorientierte Erweiterung von PEARL 90.
PEARL 1997: 31-40 |
| 28 | | Wolfgang A. Halang,
Markus Wannemacher:
High Accuracy Concurrent Event Processing in Hard Real-Time Systems.
Real-Time Systems 12(1): 77-94 (1997) |
| 1996 |
|---|
| 27 | | Domen Verber,
Matjaz Colnaric,
Wolfgang A. Halang:
Zur Unterstützung der Vorhersehbarkeit von Programmausführungszeiten in PEARL.
PEARL 1996: 60-69 |
| 26 | | Bernhard Sterzbach,
Wolfgang A. Halang:
A mobile vehicle on-board computing and communication system.
Computers & Graphics 20(5): 659-667 (1996) |
| 25 | | Wolfgang A. Halang,
Bernd J. Krämer,
Jürgen Schormann:
Integrated Multimedia-Based Distance Teaching of Information Technology.
J. UCS 2(6): 443-455 (1996) |
| 1995 |
|---|
| 24 | | Wolfgang A. Halang,
S. K. Jung,
Bernd J. Krämer:
Enforcing management policies in distributed systems.
FTDCS 1995: 474-480 |
| 23 | | Wolfgang A. Halang,
Carlos Eduardo Pereira:
Sharing of Work Between Industrialised and Developing Countries in Engineering of Highly Dependable Software for Process Automation.
GI Jahrestagung 1995: 588-595 |
| 22 | | Wolfgang A. Halang,
Kim-Fung Man,
Matjaz Colnaric:
A graphical paradigm facilitating correct programming of complex computer control systems.
ICECCS 1995: 39-42 |
| 21 | | Wolfgang A. Halang,
Bernd J. Krämer,
Jürgen Schormann:
Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung.
INFOS 1995: 118-127 |
| 20 | | Wolfgang A. Halang,
M. Simon,
H. Tatz:
Ein multimedialer Kurs der Echtzeitprogrammiersprache PEARL.
PEARL 1995: 31-40 |
| 19 | | Wolfgang A. Halang,
Bernd J. Krämer,
Norbert Völker:
Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen.
VIS 1995: 229- |
| 18 | | Wolfgang A. Halang,
Bernd J. Krämer,
Leszek Trybus:
Exploiting a Graphical Programming Paradigm to Facilitate Rigorous Verification of Embedded Software.
Comput. J. 38(4): 301-309 (1995) |
| 17 | | Wolfgang A. Halang:
Sprachelemente zur Formulierung von Ablaufsteuerungen.
Inform., Forsch. Entwickl. 10(3): 139-147 (1995) |
| 1994 |
|---|
| 16 | | Markus Wannemacher,
Wolfgang A. Halang:
GPS-basierte Zeitgeber: Realzeitsysteme werden endlich "echt"zeitfähig.
PEARL 1994: 77-86 |
| 15 | | Wolfgang A. Halang,
Bernd J. Krämer:
Safety Assurance in Process Control.
IEEE Software 11(1): 61-67 (1994) |
| 1993 |
|---|
| 14 | | Wolfgang A. Halang,
Bernd J. Krämer:
PEARL als Spezifikationssprache.
PEARL 1993: 43-51 |
| 13 | | Wolfgang A. Halang,
Günter Hommel,
Rudolf Lauber:
Echtzeit.
Perspektiven der Informatik 1993: 94-98 |
| 12 | | Wolfgang A. Halang,
Bernd J. Krämer:
Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung.
VIS 1993: 163-174 |
| 1992 |
|---|
| 11 | | Wolfgang A. Halang:
Real-time systems: Another perspective.
Journal of Systems and Software 18(1): 101-108 (1992) |
| 10 | | Wolfgang A. Halang,
Alexander D. Stoyenko:
Conference Announcement: NATO Study Institute (ASI) on Real-Time Computing.
Real-Time Systems 4(2): 167-168 (1992) |
| 1991 |
|---|
| 9 | | Wolfgang A. Halang:
PEARL 91, Workshop über Realzeitsysteme, 12. Fachtagung des PEARL-Vereins e.V., Boppard, 28./29. November 1991, Proceedings
Springer 1991 |
| 8 | | J. A. Heide,
Wolfgang A. Halang:
Performance Metrics for Real-Time Systems.
PEARL 1991: 121-127 |
| 7 | | Wolfgang A. Halang:
Zum unterentwickelten Zeitbegriff der Informatik.
Physik und Informatik 1991: 35-45 |
| 6 | | Alexander D. Stoyenko,
Wolfgang A. Halang:
Analysing PEARL Programs for Timely Schedulability and Executability.
Prozeßrechnersysteme 1991: 90-102 |
| 1990 |
|---|
| 5 | | Wolfgang A. Halang:
Erweiterung und Anwendung von PEARL zur Programmierung speicherprogrammierbarer Steuerungen.
PEARL 1990: 12-21 |
| 4 | | Wolfgang A. Halang,
Alexander D. Stoyenko:
Comparative Evaluation of High-Level Real-Time Programming Languages.
Real-Time Systems 2(4): 365-382 (1990) |
| 1989 |
|---|
| 3 | | Wolfgang A. Halang:
Schwerpunkte der internationalen Forschung im Bereich Echtzeitsysteme.
PEARL 1989: 1-12 |
| 1986 |
|---|
| 2 | | Wolfgang A. Halang:
Suitable Multiprocessor Structures and Virtual Storage Management when Applying a Feasible Scheduling Algorithm in Hard Real-Time Environment.
Softw., Pract. Exper. 16(8): 761-769 (1986) |
| 1984 |
|---|
| 1 | | Wolfgang A. Halang:
A Proposal for Extensions of PEARL to Facilitate the Formulation of Hard Real-Time Applications.
Fachtagung Prozessrechner 1984: 573-582 |
