J. Blech
发表
Michaël Périn,
J. Blech,
2008
.
J. Blech,
Thanh-Hung Nguyen,
2010
.
Sabine Glesner,
Jan Olaf Blech,
S. Glesner,
2005
.
S. Graf,
G. Karsai,
B. Schmerl,
2015
.
Marko Jurmu,
Jan Olaf Blech,
Susanna Pirttikangas,
2021,
ArXiv.
Jan Olaf Blech,
J. Blech,
2011,
SAC.
Jan Olaf Blech,
Paolo Pedrazzoli,
Sotiris Makris,
2020,
2020 IEEE International Conference on Artificial Intelligence and Virtual Reality (AIVR).
M. Jurmu,
S. Pirttikangas,
J. Majava,
2021,
ArXiv.
Jan Olaf Blech,
Maria Spichkova,
Nasser Alzahrani,
2016,
STAF Workshops.
Jan Olaf Blech,
Borja Fernández Adiego,
Dániel Darvas,
2014
.
Jan Olaf Blech,
Sithu D. Sudarsan,
Keith Foster,
2017,
ArXiv.
Alois Knoll,
Jan Olaf Blech,
Christian Buckl,
2011,
2011 Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
Jan Olaf Blech,
Mohammad Azangoo,
Amirhosein Taherkordi,
2020,
2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
Jan Olaf Blech,
Jose L. Martinez Lastra,
Udayanto Dwi Atmojo,
2020,
2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS).
Jan Olaf Blech,
Maria Spichkova,
Heinz W. Schmidt,
2014,
ENASE.
BeSpaceD: Towards a Tool Framework and Methodology for the Specification and Verification of Spatial Behavior of Distributed Software Component Systems
pdf
Jan Olaf Blech,
Heinz W. Schmidt,
H. Schmidt,
2014,
ArXiv.
Jan Olaf Blech,
Arnd Poetzsch-Heffter,
A. Poetzsch-Heffter,
2007,
COCV@ETAPS.
Jan Olaf Blech,
Heinz Schmidt,
H. Schmidt,
2013
.
J Blech,
B Grégoire,
B. Grégoire,
2008
.
Huazhou Chen,
Jan Olaf Blech,
Hanli Qiao,
2020,
2020 IEEE International Conference on Industrial Technology (ICIT).
Jan Olaf Blech,
J. Blech,
2020,
QAPL@ETAPS.
Jan Olaf Blech,
Boris Novikov,
Hanli Qiao,
2021,
IEEE Transactions on Industrial Informatics.
Alois Zoitl,
Jan Olaf Blech,
Monika Wenger,
2015,
2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).
Jan Olaf Blech,
J. Blech,
2012,
ArXiv.
Sabine Glesner,
Jan Olaf Blech,
S. Glesner,
2004,
Architecting Systems with Trustworthy Components.
Sabine Glesner,
Jan Olaf Blech,
Johannes Leitner,
2005,
COCV@ETAPS.
Sabine Glesner,
Jan Olaf Blech,
S. Glesner,
2004,
GI Jahrestagung.
Jan Olaf Blech,
Peter Herrmann,
J. Blech,
2016,
STAF Workshops.
Jan Olaf Blech,
Guillaume Prévost,
Keith Foster,
2016,
ArXiv.
Jan Olaf Blech,
Peter Herrmann,
Amirhosein Taherkordi,
2018,
2018 4th IEEE Conference on Network Softwarization and Workshops (NetSoft).
Jan Olaf Blech,
Arnd Poetzsch-Heffter,
Ina Schaefer,
2007,
RV.
Jan Olaf Blech,
Peter Herrmann,
Heinz W. Schmidt,
2014,
FESCA.
Jan Olaf Blech,
Peter Herrmann,
Heinz Schmidt,
2019,
Advances in Web Technologies and Engineering.
Jan Olaf Blech,
Peter Herrmann,
Heinz W. Schmidt,
2016,
Int. J. Web Serv. Res..
Benjamin Grégoire,
Jan Olaf Blech,
B. Grégoire,
2011,
Formal Methods Syst. Des..
Sabine Glesner,
Jan Olaf Blech,
S. Glesner,
2004,
COCV@ETAPS.
Jan Olaf Blech,
J. Blech,
2018,
Principled Software Development.
J Blech,
B Grégoire,
B. Grégoire,
2009
.
J Blech,
B Grégoire,
B. Grégoire,
2008
.
Jan Olaf Blech,
J. Blech,
2007
.
Alois Knoll,
Jan Olaf Blech,
Christian Buckl,
2012,
2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Valeriy Vyatkin,
Jan Olaf Blech,
Peter Herrmann,
2020,
2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).
Jan Olaf Blech,
Peter Herrmann,
Amirhosein Taherkordi,
2017,
SAC.
Jan Olaf Blech,
Peter Herrmann,
Alexander Svae,
2016,
ENASE.
Víctor M. González Suárez,
Jan Olaf Blech,
Simon Bliudze,
2015,
IEEE Transactions on Industrial Informatics.
James Harland,
Jan Olaf Blech,
Ian Peake,
2016,
ENASE.
Jan Olaf Blech,
Thanh-Hung Nguyen,
Michaël Périn,
2010,
WING@ETAPS/IJCAR.
Jan Olaf Blech,
Heinz W. Schmidt,
Mark A. Gregory,
2015,
2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS).