Wolfgang A. Halang Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman 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)
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChengqing 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)
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Gumzej, Matjaz Colnaric, Wolfgang A. Halang: A reconfiguration pattern for distributed embedded systems. Software and System Modeling 8(1): 145-161 (2009)
2008
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Zhao, Wolfgang A. Halang, Xia Wang: A Rough Similarity Measure for Ontology Mapping. ICIW 2008: 136-141
2007
77no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernd J. Krämer, Wolfgang A. Halang: Contributions to Ubiquitous Computing Springer 2007
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShourong Lu, Wolfgang A. Halang: A UML Profile to Model Safety-Critical Embedded Real-Time Control Systems. Contributions to Ubiquitous Computing 2007: 197-218
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing Li, Zhong Li, Wolfgang A. Halang, Guanrong Chen: Securing Communication by Chaos-based Encryption. Contributions to Ubiquitous Computing 2007: 285-306
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaobin Mao, Wenbo Liu, Zhong Li, Ping Li, Wolfgang A. Halang: A Chip Performing Chaotic Stream Encryption. Contributions to Ubiquitous Computing 2007: 307-332
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXia Wang, Bernd J. Krämer, Yi Zhao, Wolfgang A. Halang: Representation and Discovery of Intelligent E-Services. E-Service Intelligence 2007: 233-252
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing 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
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Zhao, Wolfgang A. Halang, Xia Wang: Rough Ontology Mapping in E-Business Integration. E-Service Intelligence 2007: 75-93
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShujun Li, Gonzalo Álvarez, Zhong Li, Wolfgang A. Halang: Analog Chaos-based Secure Communications and Cryptanalysis: A Brief Survey CoRR abs/0710.5455: (2007)
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid 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)
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChengqing 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)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Gumzej, Wolfgang A. Halang: QoS-oriented design of embedded systems with specification PEARL. ISSE 3(4): 269-279 (2007)
2006
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Zhao, Xia Wang, Wolfgang A. Halang: Ontology Mapping based on Rough Formal Concept Analysis. AICT/ICIW 2006: 180
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Gumzej, Matjaz Colnaric, Wolfgang A. Halang: Safe and Timely Scenario Switching in UML Real-Time Projects. ISORC 2006: 335-342
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYi Zhao, Wolfgang A. Halang: Rough concept lattice based ontology similarity measure. Infoscale 2006: 15
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShourong Lu, Wolfgang A. Halang: A UML Framework for Safety Mechanisms Based on IEC 61508. Sicherheit 2006: 357-360
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing 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)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWei Zhang, Christian Diedrich, Wolfgang A. Halang: Specification of Function Block Applications with UML. ICRA 2005: 4002-4007
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShourong 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
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Gumzej, Matjaz Colnaric, Wolfgang A. Halang: Profiling Specification PEARL Designs. DIPES 2004: 217-226
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: Simplicity Considered Fundamental to Design for Predictability. Design of Systems with Predictable Behaviour 2004
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Gumzej, Matjaz Colnaric, Wolfgang A. Halang: Temporal Feasibility Verification of Specification PEARL Designs. ISORC 2004: 249-252
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhong Li, Guanrong Chen, Wolfgang A. Halang: Homoclinic and heteroclinic orbits in a modified Lorenz system. Inf. Sci. 165(3-4): 235-245 (2004)
2003
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Gumzej, Wolfgang A. Halang: An Approach to Configuration Management and Co-Simulation in Distributed Embedded Systems. WORDS Fall 2003: 125-130
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: Automated Control Systems for the Safety Integrity Levels 3 and 4. WORDS Fall 2003: 35-
2002
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Gumzej, Wolfgang A. Halang: PEARL for Distributed Embedded Systems. DIPES 2002: 11-20
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomen Verber, Matjaz Colnaric, Wolfgang A. Halang: Fault Detection in Safety-Critical Embedded Systems. DIPES 2002: 113-119
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Nihal Kececi, Grace Tsai: Checking the Temporal Behaviour of Distributed and Parallel Embedded Systems. DIPES 2002: 153-162
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNihal Kececi, Wolfgang A. Halang, Alain Abran: A Semi-Formal Method to Verify Correctness of Functional Requirements Specifications of Complex Systems. DIPES 2002: 61-69
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Carlos Eduardo Pereira, Alceu Heinke Frigeri: Safe Object Oriented Programming of Distributed Real Time Systems in PEARL. ISORC 2001: 87-94
46no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert Fitz, Wolfgang A. Halang: Schutz von Automatisierungssystemen durch gerätetechnisch unterstützte Sicherheitsmaßnahmen. PEARL 2001: 19-28
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Sias Mostert: Composing Dependable Real Time Software of Function Blocks. WORDS 2001: 119-128
2000
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Erdner, Wolfgang A. Halang: Realzeitfähige serielle Datenübertragung mit Fehlerkorrektur. PEARL 2000: 23-32
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Peter Vogrin, Matjaz Colnaric: A Safety Licensable PES for SIL 4 Applications. SAFECOMP 2000: 141-150
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Roman Gumzej, Matjaz Colnaric, Marjan Druzovec: Measuring the Performance of Real-Time Systems. Real-Time Systems 18(1): 59-68 (2000)
1999
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernhard Heulmanns, Jutta Düring: Ein netz- und multimediagestütztes Fernpraktikum. PEARL 1999: 39-48
1998
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, K. H. Kim, Kinji Mori, Ulrich Schmid, Horst Wedde: Real-Time Systems - Panel Overview. COMPSAC 1998: 338-343
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoman Gumzej, Matjaz Colnaric, Domen Verber, Wolfgang A. Halang: Towards Standard-Based Specification and Design of Embedded Real-Time Systems. EUROMICRO 1998: 10453-
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlceu Heinke Frigeri, Carlos Eduardo Pereira, Wolfgang A. Halang: An Object-Oriented Extension to PEARL90. ISORC 1998: 265-274
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer: Neue Medien im Fernstudium. Informatik und Ausbildung 1998: 286-288
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Alceu Heinke Frigeri: PEARL in der Sicherheitstechnik. PEARL 1998: 105-114
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Alceu Heinke Frigeri: Methods and Languages for Safety-Related Real-Time Programming. SAFECOMP 1998: 196-208
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatjaz 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatjaz Colnaric, Wolfgang A. Halang, Markus Wannemacher: Design of Peripheral Interfaces for Embedded Control Systems. ARCS 1997: 125-132
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Matjaz Colnaric: On Safety--Critical Computer Control Systems. CBMS 1997: 210-214
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatjaz Colnaric, C. T. Cheung, Wolfgang A. Halang: Designing an Embedded Hard Real-Time System: A Case Study. Euro-Par 1997: 1231-1235
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Witte, Andreas Jochheim, Wolfgang A. Halang, Helmut Hoyer: Virtuelles Labor-Nutzung vernetzter Multimediatechnologie. INFOS 1997: 206-213
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlceu Heinke Frigeri, Wolfgang A. Halang: Eine objektorientierte Erweiterung von PEARL 90. PEARL 1997: 31-40
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Markus Wannemacher: High Accuracy Concurrent Event Processing in Hard Real-Time Systems. Real-Time Systems 12(1): 77-94 (1997)
1996
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDomen Verber, Matjaz Colnaric, Wolfgang A. Halang: Zur Unterstützung der Vorhersehbarkeit von Programmausführungszeiten in PEARL. PEARL 1996: 60-69
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Sterzbach, Wolfgang A. Halang: A mobile vehicle on-board computing and communication system. Computers & Graphics 20(5): 659-667 (1996)
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, S. K. Jung, Bernd J. Krämer: Enforcing management policies in distributed systems. FTDCS 1995: 474-480
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Kim-Fung Man, Matjaz Colnaric: A graphical paradigm facilitating correct programming of complex computer control systems. ICECCS 1995: 39-42
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer, Jürgen Schormann: Einsatz eines integrierten elektronischen Multimediadokumentes in der informationstechnischen Grundausbildung. INFOS 1995: 118-127
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, M. Simon, H. Tatz: Ein multimedialer Kurs der Echtzeitprogrammiersprache PEARL. PEARL 1995: 31-40
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer, Norbert Völker: Formale Verifikation der Grundelemente in Funktionsplänen von Notabschaltsystemen. VIS 1995: 229-
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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)
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: Sprachelemente zur Formulierung von Ablaufsteuerungen. Inform., Forsch. Entwickl. 10(3): 139-147 (1995)
1994
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarkus Wannemacher, Wolfgang A. Halang: GPS-basierte Zeitgeber: Realzeitsysteme werden endlich "echt"zeitfähig. PEARL 1994: 77-86
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer: Safety Assurance in Process Control. IEEE Software 11(1): 61-67 (1994)
1993
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer: PEARL als Spezifikationssprache. PEARL 1993: 43-51
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Günter Hommel, Rudolf Lauber: Echtzeit. Perspektiven der Informatik 1993: 94-98
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Bernd J. Krämer: Graphische Entwicklung sicherheitstechnisch abnehmbarer Software für die Prozeßautomatisierung. VIS 1993: 163-174
1992
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: Real-time systems: Another perspective. Journal of Systems and Software 18(1): 101-108 (1992)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Alexander D. Stoyenko: Conference Announcement: NATO Study Institute (ASI) on Real-Time Computing. Real-Time Systems 4(2): 167-168 (1992)
1991
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: PEARL 91, Workshop über Realzeitsysteme, 12. Fachtagung des PEARL-Vereins e.V., Boppard, 28./29. November 1991, Proceedings Springer 1991
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. A. Heide, Wolfgang A. Halang: Performance Metrics for Real-Time Systems. PEARL 1991: 121-127
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: Zum unterentwickelten Zeitbegriff der Informatik. Physik und Informatik 1991: 35-45
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlexander D. Stoyenko, Wolfgang A. Halang: Analysing PEARL Programs for Timely Schedulability and Executability. Prozeßrechnersysteme 1991: 90-102
1990
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: Erweiterung und Anwendung von PEARL zur Programmierung speicherprogrammierbarer Steuerungen. PEARL 1990: 12-21
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang, Alexander D. Stoyenko: Comparative Evaluation of High-Level Real-Time Programming Languages. Real-Time Systems 2(4): 365-382 (1990)
1989
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: Schwerpunkte der internationalen Forschung im Bereich Echtzeitsysteme. PEARL 1989: 1-12
1986
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang 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
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWolfgang A. Halang: A Proposal for Extensions of PEARL to Facilitate the Formulation of Hard Real-Time Applications. Fachtagung Prozessrechner 1984: 573-582

Coauthor Index

1Tarek F. Abdelzaher [61]
2Alain Abran [49]
3Gonzalo Álvarez [69] [70]
4David Arroyo [69]
5Giorgio C. Buttazzo [61]
6Guanrong Chen [55] [62] [68] [75] [80]
7C. T. Cheung [31]
8Matjaz Colnaric [22] [27] [31] [32] [33] [34] [39] [42] [43] [51] [56] [58] [65] [79]
9Christian Diedrich [60]
10Marjan Druzovec [42]
11Jutta Düring [41]
12Thomas Erdner [44]
13Siegfried Fettinger [72]
14Robert Fitz [46]
15Alceu Heinke Frigeri [29] [35] [36] [38] [47] [48]
16Roman Gumzej [34] [39] [42] [52] [54] [56] [58] [65] [67] [79] [81]
17J. A. Heide [8]
18Bernhard Heulmanns [41]
19Günter Hommel [13]
20Helmut Hoyer [30]
21Andreas Jochheim [30]
22S. K. Jung [24]
23Nihal Kececi [49] [50]
24K. H. (Kane) Kim (K. H. Kim, Kane Kim) [40]
25Bernd J. Krämer [12] [14] [15] [18] [19] [21] [24] [25] [37] [73] [77]
26Rudolf Lauber [13]
27Chengqing Li [68] [69] [80]
28Ping Li [62] [72] [74] [75]
29Shujun Li [68] [69] [70] [80]
30Zhong Li [55] [62] [70] [72] [74] [75]
31Wenbo Liu [74]
32Shourong Lu [59] [63] [76]
33Kim-Fung Man [22] [61]
34Yaobin Mao [74]
35Yaobing Mao [72]
36Kinji Mori [40]
37Sias Mostert [45]
38Carlos Eduardo Pereira [23] [38] [47] [48]
39Krithi Ramamritham [61]
40Ulrich Schmid [40]
41Jürgen Schormann [21] [25]
42M. Simon [20]
43John A. Stankovic [61]
44Bernhard Sterzbach [26]
45Alexander D. Stoyen (Alexander D. Stoyenko) [4] [6] [10]
46H. Tatz [20]
47Leszek Trybus [18]
48Grace Tsai [50]
49Domen Verber [27] [34] [39] [51]
50Peter Vogrin [43]
51Norbert Völker [19]
52Xia Wang [66] [71] [73] [78]
53Markus Wannemacher [16] [28] [33]
54Horst F. Wedde (Horst Wedde) [40]
55Martin Witte [30]
56Lichen Zhang [59]
57Wei Zhang [60]
58Yi Zhao [64] [66] [71] [73] [78]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)