Veröffentlichungen

M. Bretschneider, M. Duque Anton: Constructing and verifying protocols using TCSP; Eighth Intern. Symp. on Protocol Specication,Testing, and Verifcation, Atlantic City, New Jersey, June 7-10, 1988;

M. Duque Anton, M. Bretschneider: Formulas, processes and Petri-Nets applied to the specifcation and verifcation of a HDLC protocol; TAPSOFT '89, Joint Conference on Theory and Practice of Software Development, Barcelona, March 13-17, 1989;

Duque Anton, M., Kunz, D.: Parallel Algorithms for channel assignment in cellular mobile radio systems: the neural network approach; Int. Conf. on Parallel Processing in Neural Systems and Computers (ICNC); 19-21 March, Düsseldorf Germany; 1990.

Duque Anton, M., Kunz, D.: Channel Assignment based on Neural Network Algorithms; Fourth Nordic Seminar on Digital Mobile Radio Communication, Oslo Norway; 26 - 28 June 1990.

Duque Anton, M., Kunz, D.: Kanalvergabe in Mobilfunknetzen mit Hilfe neuronaler Netze; Kleinheubacher Tagung 1990, 1-5 Oktober 1990.

Duque Anton, M., Rüber B., Kunz, D.: Channel Assignment using Simulated Annealing; MRC, Mobile Radio Conference, Nice France, 13 -15 November 1991.

Duque Anton, M., Rüber B., Kunz, D.: Simulated Annealing als exibles Kanalvergabeverfahren; Kleinheubacher Tagung 1992, 5-9 Oktober 1992.

Duque Anton, M., Rüber B., Kunz, D.: Flexible Channel Assignment by Simulated Annealing; Fifth Nordic Seminar on Digital Mobile Radio Communication, Helsinki Finland; 1-3 December 1992.

Duque Anton, M., Kunz, D., Rüber B., Ullrich, M., Randall, D., Richards, L.: Radio Network Simulations; Research and technology development in advanced communications technologies in Europe (RACE) Conference, Metz - France, 5 - 7 May 1993.

Duque Anton, M., Koch, P., Kunz, D., Rüber, B., Ullrich, M.: An Adaptive Method to Learn the Compatibility Matrix for Microcellular Systems; 44th IEEE Vehicular Tech. Conf. Stockholm, 7 - 10 June 1994.

Duque Anton, M., Kunz, D., Rüber B., Ullrich, M.: Radio Resource Management Strategies and their Impact on the Network; Research and technology development in advanced communications technologies in Europe (RACE) Conference, Amsterdam - The Nederlands, 18 - 20 May 1994.

Du, Y., Hulyalkar, May, P., Herrmann, C., Duque Anton, M.: System Architecture of a Home Wireless ATM Network; at ICUPC, New York, USA, August 1996.

Duque Anton, M., Günther, R, Karabek, R., Meuser, T.: A Software Architecture for Control and Management of Distributed ATM Switching; in Kommunikation in Verteilten Systemen, Februar 1997, Germany.

Duque Anton, M., Günther, R, Karabek, R., Meuser, T., J. Wasel: Open Switching for ATM Networks; at 2nd Intern. Workshop on Advanced Intelligent Networks, 8-11 July, 1997, Cesena, Italy.

Duque Anton, M., Karabek, R., Heimfarth, O.: Reliable Message Exchange in ATM-based Distributed Systems; at 5th IFIP Workshop on Performance Modelling and Evaulation of ATM Networks, 21-23 July, 1997, West Yorkshire, U.K

Duque Anton, M., Günther, R, Karabek, R., Meuser, T., J. Wasel: Object Oriented Software Architecture for Distributed Systems; at 14. ITG/GI-Fachtagung Architektur von Rechensystemen", 8-11 September, 1997, Rostock, Germany.

Duque Anton, M., Günther, R, Karabek, R., Meuser, T., J. Wasel: A Switch Software Architecture for Future ATM Broadband Services; at GLOBECOM'97", 4-8 November, 1997, Phonix, USA.

Sonntag, T., Duque Anton, M., Decker, B., Winkler, B., Binzel, M.: Comlab - Concepts and Tools for Developing Automotive Systems; at Embedded World Conference, 3-5 March, 2009, Nuremberg, Germany.

Duque-Anton, M. , Sieber, D.: Embedded goes Medical: Von Automotive Lernen; Design & Elektronik - Entwickler Forum, 9-10 Oktober 2013, München.

Duque-Anton, M.: Embedded Systeme im Automobil: Architekturen, Security und Virtualisierung; Fahrzeug-Initiative Rheinland-Pfalz 3rd Meeting, 4. Juni 2014, Rülzheim.

Barth, F., Duque Anton, M.: Smarter Home - Self-Adapting and Easy to Set Up; at Embedded World Conference, 14-16 March, 2017, Nuremberg, Germany.

Eisenbarth, M., Duque Anton, M.: Security-Tests im Autopilot-Modus; at Embedded Software Enginnering Kongress, 04-08 Dezember, 2017, Sindelfingen, Germany.

Björn Morgenthaler, Alexander Schwarz and Manuel Duque-Anton:  Verify Embedded Systems faster and more efficiently with AI, October 2021, HS Kaiserslautern, THE UPPER-RHINE ARTIFICIAL INTELLIGENCE SYMPOSIUM, Page 175 - 184.

Duque Anton, M., Rüber B., Kunz, D.: Channel Assignment for Cellular Radio Using Simulated Annealing; IEEE Trans. on Vehicular Techn; Vol-21, 1993.

Duque Anton, M., Rüber, B., Ullrich, M., Kunz, D., Koch, P.: Learning the Compatibility Matrix for Adaptive Resource Management in Cellular Radio Networks; European Transactions on Telecommunications, Vol.6 no.6, November-December, 1995.

Du, Y., Hulyalkar, S. N., Evans,D., Herrmann, C., Duque Anton, M., Field, R.: A Scalable Adhoc WATM Model ; in ATM Forum/96-1293, October 1996.

Duque Anton, M.: Constructing Efficient Simulated Annealing Algorithms; Discrete Applied Mathematics, 1997.

Duque Anton, M., Rüber, B., Killat, U.: Extending Kohonen's Self-Organizing Mapping for Adaptive Resource Management; IEEE Trans. On Vehicular Techn; 1997.

Duque Anton, M., Bruyaux, F., Semal, P.: How to Increase the Connectivity of a Network: A New Measure; European Transactions on Telecommunications, 1997.

Duque Anton, M., Günther, R, Karabek, R., Meuser, T., J. Wasel: Open Switching for ATM Networks; Services and Visualization Towards User Friendly Design, Lecture Notes in Computer Science, Springer-Verlag, S. 265-277, 1998.

Duque Anton, M., Bruyaux, F., Semal, P.: Measuring the Survivability of a Network: Connectivity and Rest-Connectivity; European Transactions on Telecommunications, 2000.

Duque-Anton, M. : Testen, Integration und Maintenance - eine Make-or-Buy Decision; CVC (Commercial Vehicle Cluster) News 1, 2013.

Björn Morgenthaler, Alexander Schwarz and Manuel Duque-Anton:  Intelligente Qualitätssicherung durch lernende Testprozesse, GERMAN TESTING MAGAZIN, Ausgabe 02 2021, Seite 32 -35

Duque Anton, M., Rüber B., Kunz, D.: Static and Dynamic Channel Assignment using Simulated Annealing; in Neural Networks in Telecommunications, Chapter 12; ed. Ansari and Yuhas; Kluwer Academic Publishers, 1994.

Duque Anton, M.: Anwendung stochastischer Verfahren zur Lösung statischer und dynamischer Kanalvergabeprobleme in Mobilfunknetzen; VDI-Verlag, Fortschritt-Berichte Reihe 10, Nr. 386; Düsseldorf, 1995.

Duque Anton, M.: Mobile Netze: Grundlagen, Dienste und Protokolle; Vieweg-Verlag, Wiesbaden, 2002.

Duque Anton, M., Kunz, D., Rüber B.: Cellular Mobile Radio System Comprimising Sub-Cells; Philips Patent Aplication PHD 092-095; März 1992.

Duque Anton, M., Rüber B., Kunz, D.: Cellular Mobile Radio System; Philips Patent Aplication PHD 092-150; September 1992.

Duque Anton, M., Kunz, D., Rüber B.: Mobile Radio System; Philips Patent Aplication PHD 093-023; April 1993.

Duque Anton, M., Rüber B., Kunz, D.: Resource Management in Mobile Radio Systems Using extended Kohonen Networks; Philips Patent Aplication PHD 094-031; März 1994.

Duque Anton, M., Kunz, D., Rüber B.: A Spread-Spectrum Based Cellular Mobile Radio System, And A Control Arrangement, A Radio Base Station, And A Mobile Radio Station; Philips Patent Aplication PHN 14799; April 1994.

Duque Anton, M., Idrissou, G.: Verfahren zur Konstruktion von Ring-Clustern bei der Planung und Optimierung von Festnetzen; Aplication PHDE000227; März 1995.

Duque Anton, M.: Verfahren zur Bestimmung der Rest-Konnektivität bei der Planung und Optimierung von Festnetzen; Aplication PHN 148429; Mai 1995.

Duque Anton, M., Guenther, R., Karabek, R., Meuser, T.: Flexible Kontroll-Architektur für breitbandige Vermittlungsysteme; Aplication PHDE 096-069; Juni 1996.

Duque Anton, M., Guenther, R., Karabek, R., Meuser, T.: Software-Architektur für verteiltes ATM-Switching; Aplication PHDE 096-449; August 1996.

Duque Anton, M., Du, Y., Falck, T., Stahl, M.: Location Management in Mobile ATM Networks; Aplication PHDE 098-148; Oktober 1998.

Duque Anton, M.: Methods And Algorithms To Improve The Survivability: Connectivity Aspects; Aplication PHDE 000-227; Juni 2000.

Duque Anton, M.: Sprachbasiertes Verfahren zur Behandlung von Internet-Seiten in Mobilfunksystemen; comlet GmbH; DE 100 17 503 A1, Oktober 2001.

Duque-Anton, M. , Tran, T. : Multimediales Informationssystem für Kraftfahrzeuge; comlet GmbH; DE 10 2003 103 127, September 2003.

Duque-Anton, M. , Tran, T. , Wollny, T, Feiertag, T. : Verfahren zur Gewinnung von Daten für die Erzeugung perspektivischer Abbildungen eines Objekts; comlet GmbH; DE 10 2007 029 473, Juni 2007.

Duque-Anton, M. , Wagner, S. , Decker, B.: Informationssystem, insbesondere Notrufsystem für Fahrzeuge; comlet GmbH; DE 10 2009 058 056, Dezember 2009.

Duque-Anton, M.: System zur Vermittlung von Beförderungsleistungen; comlet GmbH; DE 10 2012 104 264, Mai 2012.

Duque-Anton, M., Eisenbarth, M.: Verfahren zur Überprüfung von Software auf Sicherheitsschwachstellen, comlet GmbH, 17638-DE, Februar 2020.

HSKL

Prof. Dr. Manuel Duque-Anton

Faculties

Informatik und Mikrosystemtechnik

Consultations

SS 24: Donnerstag 10:00 - 11:30 Uhr Und nach telefonischer Absprache.

Campus

Zweibrücken

Room

H237