Joachim Falk

Dr.-Ing. Joachim Falk

Department Informatik (INF)
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Raum 02.141
Cauerstr. 11
91058 Erlangen

Telefon: +49 9131 85-25143
Faxnummer: +49 9131 85-25149
E-Mail: joachim.falk@fau.de
Webseite: https://www.cs12.tf.fau.de/person/joachim-falk

PGP Key: DA3730B7BC08AA9E (BC08AA9E)
PGP Key: 3054862D2546A180 (2546A180)

Curriculum Vitæ

2014	Doctorate degree (Dr.-Ing.) in Computer Science, FAU, Germany
since 2004	Employee at the department of computer science 12 (Hardware-Software-Co-Design) at the University of Erlangen-Nuremberg
2002 to 2003	Employee in the project group of Prof.-Dr. Jürgen Bäsig institute ELSYS.
2002	Diploma degree in electrical engineering (data processing), Georg-Simon-Ohm University of applied science Nuremberg, Germany
1977	born in Erlangen, Germany

Current Research Projects

Research Interests

Electronic System Level Design
Hardware/Software Code Generator for DFGs
Compiler Optimizations for Data-Flow Graphs (DFGs)
Parallel Architectures

Other Interests

Embedded System Programming
Debian

Teaching

WS 2024/2025	Entwicklung interaktiver eingebetteter Systeme
SS 2024	SystemC

Currently Supervised Theses

Sicherheitsmodellierung auf der elektronischen Systemebene
Analysis of Sleep and Wake-up Strategies for Hardware Implementations of Dataflow Actor Networks
Exploration of Sleep and Wake-up Strategies for Hardware Implementations of Dataflow Actor Networks at the Electronic System Level

Publications

2024

Karim A., Falk J., Schmidt D., Teich J.:
Self-Powering Dataflow Networks – Concepts and Implementation
22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) (Raleigh, NC, 3. Oktober 2024 - 4. Oktober 2024)
DOI: 10.1109/MEMOCODE63347.2024.00013
BibTeX: Download
Letras M., Falk J., Teich J.:
Exploring Multi-Reader Buffers and Channel Placement during Dataflow Network Mapping to Heterogeneous Many-core Systems
In: IEEE Access 12 (2024), S. 39748-39769
ISSN: 2169-3536
DOI: 10.1109/ACCESS.2024.3375079
BibTeX: Download

2023

Letras M., Falk J., Teich J.:
Throughput and Memory Optimization for Parallel Implementations of Dataflow Networks using Multi-Reader Buffers
Fourth Workshop on Next Generation Real-Time Embedded Systems (Toulouse, 18. Januar 2023 - 18. Januar 2023)
In: Fourth Workshop on Next Generation Real-Time Embedded Systems (NG-RES 2023), Germany: 2023
DOI: 10.4230/OASIcs.NG-RES.2023.6
URL: https://drops.dagstuhl.de/opus/volltexte/2023/17737/
BibTeX: Download

2022

Anantharajaiah N., Asfour T., Bader M., Bauer L., Becker J., Bischof S., Brand M., Bungartz HJ., Eichler C., Esper K., Falk J., Fasfous N., Freiling F., Fried A., Gerndt M., Glaß M., Gonzalez J., Hannig F., Heidorn C., Henkel J., Herkersdorf A., Herzog B., John J., Hönig T., Hundhausen F., Khdr H., Langer T., Lenke O., Lesniak F., Lindermayr A., Listl A., Maier S., Megow N., Mettler M., Müller-Gritschneder D., Nassar H., Paus F., Pöppl A., Pourmohseni B., Rabenstein J., Raffeck P., Rapp M., Rivas SN., Sagi M., Schirrmacher F., Schlichtmann U., Schmaus F., Schröder-Preikschat W., Schwarzer T., Sikal MB., Simon B., Snelting G., Spieck J., Srivatsa A., Stechele W., Teich J., Comprés Ureña IA., Verbauwhede I., Walter D., Wild T., Wildermann S., Wille M., Witterauf M., Zhang L.:
Invasive Computing
FAU University Press, 2022
ISBN: 978-3-96147-571-1
DOI: 10.25593/978-3-96147-571-1
BibTeX: Download
Teich J., Esper K., Falk J., Pourmohseni B., Schwarzer T., Wildermann S.:
Basics of Invasive Computing
In: Jürgen Teich, Jörg Henkel, Andreas Herkersdorf (Hrsg.): Invasive Computing, FAU University Press, 2022, S. 69-95
ISBN: 978-3-96147-571-1
DOI: 10.25593/978-3-96147-571-1
BibTeX: Download

2021

Brand P., Falk J., Ah Sue J., Brendel J., Hasholzner R., Teich J.:
Adaptive Predictive Power Management for Mobile LTE Devices
In: IEEE Transactions on Mobile Computing 20 (2021), S. 2518-2535
ISSN: 1536-1233
DOI: 10.1109/TMC.2020.2988651
BibTeX: Download
Brand P., Falk J., Maier T., Teich J.:
Simulating Realistic IoT Network Traffic Using Similarity-based DSE
International Conference on Computational Science and Computational Intelligence (CSCI) (Las Vegas, NV)
In: 2021 International Conference on Computational Science and Computational Intelligence (CSCI), New York: 2021
DOI: 10.1109/CSCI54926.2021.00276
BibTeX: Download
Brand P., Falk J., Potwigin E., Teich J.:
Multi-Step Ahead Grant Prediction for Dynamic Power Management in Cellular Modems
2021 International Symposium on Networks, Computers and Communications (ISNCC 2021) (Canadian University, Citywalk, Dubai, 31. Oktober 2021 - 2. November 2021)
In: IEEE (Hrsg.): Proceedings of the 2021 International Symposium on Networks, Computers and Communications (ISNCC 2021) 2021
DOI: 10.1109/ISNCC52172.2021.9615819
BibTeX: Download
Letras M., Falk J., Teich J.:
Decision Tree-based Throughput Estimation to Accelerate Design Space Exploration for Multi-Core Applications
24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (München, 18. März 2021 - 19. März 2021)
BibTeX: Download

2020

Brand P., Sabih M., Falk J., Ah Sue J., Teich J.:
Clustering-Based Scenario-Aware LTE Grant Prediction
IEEE Wireless Communications and Networking Conference (WCNC2020) (Seoul, 25. Mai 2020 - 28. Mai 2020)
In: IEEE (Hrsg.): Proceedings of the 2020 IEEE Wireless Communications and Networking Conference (WCNC) 2020
DOI: 10.1109/WCNC45663.2020.9120789
BibTeX: Download
Letras M., Falk J., Schwarzer T., Teich J.:
Multi-objective Optimization of Mapping Dataflow Applications to MPSoCs Using a Hybrid Evaluation Combining Analytic Models and Measurements
In: ACM Transactions on Design Automation of Electronic Systems 26 (2020), S. 1–33
ISSN: 1084-4309
DOI: 10.1145/3431814
BibTeX: Download
Simon B., Falk J., Megow N., Teich J.:
Energy Minimization in DAG Scheduling on MPSoCs at Run-Time: Theory and Practice
Workshop on Next Generation Real-Time Embedded Systems (Bologna, 21. Januar 2020)
In: Proceedings of the Workshop on Next Generation Real-Time Embedded Systems (NG-RES) 2020
DOI: 10.4230/OASIcs.NG-RES.2020.2
URL: https://drops.dagstuhl.de/opus/volltexte/2020/11778/
BibTeX: Download
Wang B., Glaß M., Falk J., Ahmed I., Teich J.:
Exploration of Power Domain Partitioning with Concurrent Task Mapping and Scheduling for Application-specific Multi-core SoCs
33rd International Conference on Architecture of Computing Systems (ARCS) (Aachen, 25. Mai 2020 - 28. Mai 2020)
In: In Proc. of the 33rd International Conference on Architecture of Computing Systems (ARCS) 2020
DOI: 10.1007/978-3-030-52794-5_12
BibTeX: Download

2019

Ah Sue J., Brand P., Falk J., Hasholzner R., Teich J.:
Optimizing Exploratory Workflows for Embedded Platform Trace Analysis and its Application to Cellular Modems
21st Int. Conf. on Human-Computer Interaction (Orlando, Florida, USA, 26. Juli 2019 - 31. Juli 2019)
In: HCII 2019 Late Breaking Work Papers Proceedings, New York, NY, USA: 2019
DOI: 10.1007/978-3-030-30033-3_10
BibTeX: Download
Letras M., Falk J., Schwarzer T., Teich J.:
On the Analytic Evaluation of Schedules via Max-Plus Algebra for DSE of Multi-Core Architectures
22nd International Workshop on Software and Compilers for Embedded Systems, (SCOPES) (Sankt Goar, Germany, 27. Mai 2019 - 28. Mai 2019)
In: Proceedings of the 22st International Workshop on Software and Compilers for Embedded Systems, SCOPES 2019, Sankt Goar, Germany 2019
DOI: 10.1145/3323439.3323979
BibTeX: Download
Schwarzer T., Falk J., Müller S., Letras M., Heidorn C., Wildermann S., Teich J.:
Compilation of Dataflow Applications for Multi-Cores using Adaptive Multi-Objective Optimization
In: ACM Transactions on Design Automation of Electronic Systems 24 (2019), Art.Nr.: 29
ISSN: 1084-4309
DOI: 10.1145/3310249
BibTeX: Download

2018

Ah Sue J., Brand P., Brendel J., Hasholzner R., Falk J., Teich J.:
A Predictive Dynamic Power Management for LTE-Advanced Mobile Devices
IEEE Wireless Communications and Networking Conference (Barcelona, Catalonia, Spain, 15. April 2018 - 18. April 2018)
In: IEEE (Hrsg.): 2018 IEEE Wireless Communications and Networking Conference (WCNC'18) 2018
DOI: 10.1109/WCNC.2018.8377189
BibTeX: Download
Brand P., Falk J., Ah Sue J., Brendel J., Hasholzner R., Teich J.:
Reinforcement Learning for Power-Efficient Grant Prediction in LTE
(2018), S. 18-26
DOI: 10.1145/3207719.3207722
BibTeX: Download
Falk J., Neubauer K., Haubelt C., Zebelein C., Teich J.:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
In: Bhattacharyya S., Deprettere E., Leupers R., Takala J. (Hrsg.): Handbook of Signal Processing Systems, Springer, 2018, S. 825-864
ISBN: 978-3-319-91734-4
DOI: 10.1007/978-3-319-91734-4_23
BibTeX: Download
Streit FJ., Letras M., Wildermann S., Hackenberg B., Falk J., Becher A., Teich J.:
Model-Based Design Automation of Hardware/Software Co-Designs for Xilinx Zynq PSoCs
International Conference on Reconfigurable Computing and FPGAs (ReConFig) (Cancún, Mexico, 3. Dezember 2018 - 5. Dezember 2018)
In: IEEE Proceedings of the 13th International Conference on ReConFigurable Computing and FPGAs 2018
DOI: 10.1109/RECONFIG.2018.8641736
BibTeX: Download

2017

Brand P., Ah Sue J., Brendel J., Falk J., Hasholzner R., Teich J., Wildermann S.:
Exploiting Predictability in Dynamic Network Communication for Power-Efficient Data Transmission in LTE Radio Systems
20th International Workshop on Software and Compilers for Embedded Systems (SCOPES’17) (Sankt Goar, Deutschland, 12. Juni 2017 - 13. Juni 2017)
In: ACM (Hrsg.): 20th International Workshop on Software and Compilers for Embedded Systems (SCOPES’17) 2017
DOI: 10.1145/3078659.3078670
BibTeX: Download
Falk J., Haubelt C., Teich J., Zebelein C.:
SysteMoC: A Data-Flow Programming Language for Codesign
In: Ha S, Teich J (Hrsg.): Handbook of Hardware/Software Codesign, Dordrecht, The Netherlands: Springer, 2017, S. 59 - 97
ISBN: 978-94-017-7266-2
BibTeX: Download
Letras M., Falk J., Wildermann S., Teich J.:
Automatic Conversion of Simulink Models to SysteMoC Actor Networks
20th International Workshop on Software and Compilers for Embedded Systems (SCOPES) (Sankt Goar, 12. Juni 2017 - 13. Juni 2017)
DOI: 10.1145/3078659.3078668
BibTeX: Download
Streit FJ., Letras M., Schid M., Falk J., Wildermann S., Teich J.:
High-Level Synthesis for Hardware/Software Co-Design of Distributed Smart Camera Systems
International Conference on Distributed Smart Cameras (ICDSC) (Stanford, USA, 5. September 2017 - 7. September 2017)
In: ACM Proceedings of the 11th International Conference on Distributed Smart Cameras 2017
DOI: 10.1145/3131885.3131932
BibTeX: Download

2016

Wang B., Xu Y., Hasholzner R., Drewes C., Rosales R., Graf S., Falk J., Glaß M., Teich J.:
Exploration of Power Domain Partitioning for Application-Specific SoCs in System-Level Design
19. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2016) (Freiburg, 1. März 2016 - 2. März 2016)
In: In Proceedings of the 19. GI/ITG/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2016) 2016
DOI: 10.6094/UNIFR/10643
BibTeX: Download

2015

Falk J.:
A Clustering-Based MPSoC Design Flow for Data Flow-Oriented Applications (Dissertation, 2015)
DOI: 10.13140/RG.2.1.5029.5763
BibTeX: Download
Falk J., Schwarzer T., Glaß M., Teich J., Zebelein C., Haubelt C.:
Quasi-static scheduling of data flow graphs in the presence of limited channel capacities
13th IEEE Symposium on Embedded Systems for Real-Time Multimedia, ESTIMedia 2015
DOI: 10.1109/ESTIMedia.2015.7351766
BibTeX: Download
Falk J., Schwarzer T., Zhang L., Glaß M., Teich J.:
Automatic communication-driven virtual prototyping and design for networked embedded systems
In: Microprocessors and Microsystems 39 (2015), S. 1012–1028
ISSN: 0141-9331
DOI: 10.1016/j.micpro.2015.08.008
BibTeX: Download
Schwarzer T., Falk J., Glaß M., Teich J., Zebelein C., Haubelt C.:
Throughput-optimizing compilation of dataflow applications for multi-cores using quasi-static scheduling
18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 (St. Goar)
In: Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems (SCOPES) 2015
DOI: 10.1145/2764967.2764972
BibTeX: Download

2014

Zebelein C., Haubelt C., Falk J., Schwarzer T., Teich J.:
Model-based actor multiplexing with application to complex communication protocols
17th Design, Automation and Test in Europe, DATE 2014 (Dresden, 24. März 2014 - 28. März 2014)
In: Proceedings of Design, Automation and Test in Europe (DATE 2014) 2014
DOI: 10.7873/DATE2014.229
BibTeX: Download
Zhang L., Falk J., Schwarzer T., Glaß M., Teich J.:
Communication-driven Automatic Virtual Prototyping for Networked Embedded Systems
Euromicro Conference on Digital System Design (DSD) (Verona, 27. August 2014 - 29. August 2014)
In: Proc. of Euromicro Conference on Digital System Design (DSD), New York, NY, USA: 2014
BibTeX: Download

2013

Falk J., Haubelt C., Teich J.:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
In: huvra S. Bhattacharyya and Ed F. Deprettere and Rainer Leupers and Jarmo Takala (Hrsg.): Handbook of Signal Processing Systems, 2013, S. 975-2013
DOI: 10.1007/978-1-4614-6859-2_30
BibTeX: Download
Falk J., Haubelt C., Zebelein C., Teich J.:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
In: Bhattacharyya S., Deprettere E., Leupers R., Takala J. (Hrsg.): Handbook of Signal Processing Systems, New York, NY: Springer, 2013
ISBN: 978-1-4614-6858-5
DOI: 10.1007/978-1-4614-6859-2_30
BibTeX: Download
Falk J., Zebelein C., Haubelt C., Teich J.:
A Rule-Based Quasi-Static Scheduling Approach for Static Islands in Dynamic Dataflow Graphs
In: ACM Transactions on Embedded Computing Systems, New York, NY: ACM, 2013, S. 74:1-74:31
DOI: 10.1145/2442116.2442124
BibTeX: Download
Falk J., Zebelein C., Haubelt C., Teich J.:
A rule-based quasi-static scheduling approach for static islands in dynamic dataflow graphs
In: ACM Transactions on Embedded Computing Systems 12 (2013), Art.Nr.: 74
ISSN: 1539-9087
DOI: 10.1145/2442116.2442124
BibTeX: Download
Zebelein C., Haubelt C., Falk J., Schwarzer T., Teich J.:
Representing mapping and scheduling decisions within dataflow graphs
2013 16th Forum on Specification and Design Languages, FDL 2013 (Paris, 24. September 2013 - 26. September 2013)
In: Proceedings of Forum on Specification & Design Languages (FDL 2013) 2013
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=84891286674&origin=inward
BibTeX: Download
Zebelein C., Haubelt C., Falk J., Teich J.:
Model-Based Representation of Schedules for Dataflow Graphs
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013) (Rostock, 12. März 2013 - 14. März 2013)
In: Proceedings of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2013) 2013
BibTeX: Download

2012

Zebelein C., Falk J., Haubelt C., Teich J.:
A model-based inter-process resource sharing approach for high-level synthesis of dataflow graphs
2nd Electronic System Level Synthesis Conference, ESLsyn 2012 (San Francisco, CA, 2. Juni 2012 - 3. Juni 2012)
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=84866155902&origin=inward
BibTeX: Download
Zebelein C., Falk J., Haubelt C., Teich J.:
Exploiting Model-Knowledge in High-Level Synthesis
Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’12) (Kaiserslautern, 5. März 2012 - 7. März 2012)
In: Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV’12) 2012
BibTeX: Download

2011

Falk J., Zebelein C., Haubelt C., Teich J.:
A rule-based static dataflow clustering algorithm for efficient embedded software synthesis
14th Design, Automation and Test in Europe Conference and Exhibition, DATE 2011 (Grenoble, 14. März 2011 - 18. März 2011)
In: Proceedings of Design, Automation and Test in Europe (DATE'11) 2011
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=79957549287&origin=inward
BibTeX: Download

2010

Falk J., Keinert J., Haubelt C., Teich J., Zebelein C.:
Integrated Modeling Using Finite State Machines and Dataflow Graphs
In: Bhattacharyya S., Deprettere E., Leupers R., Takala J. (Hrsg.): Handbook of Signal Processing Systems, Boston, MA: Springer, 2010, S. 1041-1075
ISBN: 978-1-4419-6344-4
DOI: 10.1007/978-1-4419-6345-1_36
BibTeX: Download
Falk J., Zebelein C., Haubelt C., Teich J., Dorsch R.:
Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models
3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (Dresden, 22. Februar 2010 - 24. Februar 2010)
In: 3. ITG/GI/GMM Workshop für Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 2010
BibTeX: Download
Falk J., Zebelein C., Keinert J., Haubelt C., Teich J., Bhattacharyya SS.:
Analysis of systemc actor networks for efficient synthesis
In: ACM Transactions on Embedded Computing Systems 10 (2010), Art.Nr.: 18
ISSN: 1539-9087
DOI: 10.1145/1880050.1880054
BibTeX: Download
Zebelein C., Falk J., Haubelt C., Teich J., Dorsch R.:
Efficient high-level modeling in the networking domain
Design, Automation and Test in Europe Conference and Exhibition, DATE 2010 (Dresden, 8. März 2010 - 12. März 2010)
In: Proceedings of Design, Automation and Test in Europe (DATE 2010) 2010
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=77953092909&origin=inward
BibTeX: Download

2009

Keinert J., Streubühr M., Schlichter T., Falk J., Gladigau J., Teich J., Haubelt C., Meredith M.:
SYSTEMCODESIGNER - An Automatic ESL Synthesis Approach by Design Space Exploration and Behavioral Synthesis for Streaming Applications
In: ACM Transactions on Design Automation of Electronic Systems 14 (2009), S. 1-23
ISSN: 1084-4309
DOI: 10.1145/1455229.1455230
BibTeX: Download

2008

Falk J., Keinert J., Haubelt C., Teich J., Bhattacharyya SS.:
A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications
8th ACM & IEEE international conference on Embedded software (EMSOFT'2008) (Atlanta, Georgia, 20. Oktober 2008 - 22. Oktober 2008)
In: Proc. of the 8th ACM & IEEE international conference on Embedded software (EMSOFT'2008) 2008
BibTeX: Download
Zebelein C., Falk J., Haubelt C., Teich J.:
Classification of general data flow actors into known models of computation
6th ACM and IEEE International Conference on Formal Methods and Models for Co-Design, MEMOCODE'08 (Anaheim, CA, 5. Juli 2008 - 7. Juli 2008)
In: Proc. of the Sixth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2008) 2008
DOI: 10.1109/MEMCOD.2008.4547699
BibTeX: Download

2007

Falk J., Haubelt C., Teich J.:
Task Graph Clustering with Internal State
(2007)
BibTeX: Download
(Techreport)
Haubelt C., Falk J., Keinert J., Schlichter T., Streubühr M., Deyhle A., Hadert A., Teich J.:
A SystemC-based Design Methodology for Digital Signal Processing Systems
In: EURASIP Journal on Embedded Systems 2007 (2007), S. Article ID 47580, 22 pages
ISSN: 1687-3955
DOI: 10.1155/2007/47580
BibTeX: Download
Keinert J., Falk J., Haubelt C., Teich J.:
Actor-oriented modeling and simulation of sliding window image processing algorithms
2007 5th Workshop on Embedded Systems for Real-Time Multimedia, ESTIMedia 2007 (Salzburg, 4. Oktober 2007 - 5. Oktober 2007)
In: Proceedings of the 2007 IEEE/ACM/IFIP Workshop of Embedded Systems for Real-Time Multimedia (ESTIMEDIA 2007) 2007
DOI: 10.1109/ESTMED.2007.4375815
BibTeX: Download

2006

Falk J., Haubelt C., Teich J.:
Efficient Representation and Simulation of Model-Based Designs in SystemC
FDL'06, Forum on Design Languages 2006 (Darmstadt, 29. September 3006 - 22. September 2006)
In: Proceedings FDL'06, Forum on Design Languages 2006 2006
BibTeX: Download
Streubühr M., Falk J., Teich J., Haubelt C., Dorsch R., Schlipf T.:
Task-accurate performance modeling in SystemC for real-time multi-processor architectures
Design, Automation and Test in Europe, DATE'06 (Munich, 6. März 2006 - 10. März 2006)
In: Proceedings of Design, Automation and Test in Europe (DATE 2006), IEEE Computer Society 2006
URL: https://www.scopus.com/inward/record.url?partnerID=HzOxMe3b&scp=34047100936&origin=inward
BibTeX: Download

2005

Falk J., Haubelt C., Teich J.:
Representing Models of Computation in SystemC
GI/ITG/GMM-Workshop 2005 (Munich, 6. April 2005 - 7. April 2005)
BibTeX: Download
Falk J., Haubelt C., Teich J.:
Syntax and execution behavior of SysteMoC
In: Technical Report 04-2005, 2005
BibTeX: Download
(Techreport)