Automata Learning for Symbolic Execution

Authors: Aichernig, Bernhard K., Bloem, Roderick, Ebrahimi, Masoud, Tappler, Martin, Winter, Johannes

Source: 2018 Formal Methods in Computer Aided Design (FMCAD) Formal Methods in Computer Aided Design (FMCAD), 2018. :1-9 Oct, 2018

Relation: 2018 Formal Methods in Computer Aided Design (FMCAD)

Highly selective scalable electrosynthesis of 4-hydroxybenzo[e]-1,2,4-thiadiazine-1,1-dioxides

Authors: Winter, Johannes, Prenzel, Tobias, Wirtanen, Tom, de Jesús Gálvez-Vázquez, María, Hofman, Kamil, Schollmeyer, Dieter, Waldvogel, Siegfried R.

Source: In Cell Reports Physical Science 15 May 2024 5(5)

Simple and scalable electrosynthesis of 1H-1-hydroxy-quinazolin-4-onesElectronic supplementary information (ESI) available. CCDC 2234739. For ESI and crystallographic data in CIF or other electronic format see DOI: https://doi.org/10.1039/d3sc00266g

Authors: Koleda, Olesja, Prenzel, Tobias, Winter, Johannes, Hirohata, Tomoki, de Jesús Gálvez-Vázquez, María, Schollmeyer, Dieter, Inagi, Shinsuke, Suna, Edgars, Waldvogel, Siegfried R.

Source: Chemical science. 14(10):2669-2675

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100176981282.0x000001&indx=1&recIds=ETOCvdc_100176981282.0x000001

Hardware-security technologies for industrial IoT: TrustZone and security controller

Authors: Lesjak, Christian, Hein, Daniel, Winter, Johannes

Source: IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society Industrial Electronics Society, IECON 2015 - 41st Annual Conference of the IEEE. :002589-002595 Nov, 2015

Relation: IECON 2015 - 41st Annual Conference of the IEEE Industrial Electronics Society

Secure Block Device -- Secure, Flexible, and Efficient Data Storage for ARM TrustZone Systems

Authors: Hein, Daniel, Winter, Johannes, Fitzek, Andreas

Source: 2015 IEEE Trustcom/BigDataSE/ISPA Trustcom/BigDataSE/ISPA, 2015 IEEE. 1:222-229 Aug, 2015

Relation: 2015 IEEE Trustcom/BigDataSE/ISPA

The ANDIX research OS — ARM TrustZone meets industrial control systems security

Authors: Fitzek, Andreas, Achleitner, Florian, Winter, Johannes, Hein, Daniel

Source: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN) Industrial Informatics (INDIN), 2015 IEEE 13th International Conference on. :88-93 Jul, 2015

Relation: 2015 IEEE 13th International Conference on Industrial Informatics (INDIN)

Formal concepts and methods fostering creative thinking in digital game design

Authors: Winter, Johannes, Jantke, Klaus P.

Source: 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE) Consumer Electronics (GCCE), 2014 IEEE 3rd Global Conference on. :483-487 Oct, 2014

Relation: 2014 IEEE 3rd Global Conference on Consumer Electronics (GCCE)

Simple and versatile electrochemical synthesis of highly substituted 2,1-benzisoxazoles.

Authors: Lenhard, Marola S., Winter, Johannes, Sandvoß, Alexander, de Jesús Gálvez-Vázquez, María, Schollmeyer, Dieter, Waldvogel, Siegfried R.

Source: Organic & Biomolecular Chemistry; 3/14/2025, Vol. 23 Issue 10, p2391-2399, 9p

Electrochemical synthesis of N, N′-disubstituted indazolin-3-ones via an intramolecular anodic dehydrogenative N–N coupling reactionElectronic supplementary information (ESI) available. CCDC 2148238. For ESI and crystallographic data in CIF or other electronic format see https://doi.org/10.1039/d2sc01827f

Authors: Bieniek, Jessica C., Grünewald, Michele, Winter, Johannes, Schollmeyer, Dieter, Waldvogel, Siegfried R.

Source: Chemical science. 13(27):8180-8186

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100155425890.0x000001&indx=1&recIds=ETOCvdc_100155425890.0x000001

Experimenting with ARM TrustZone -- Or: How I Met Friendly Piece of Trusted Hardware

Authors: Winter, Johannes

Source: 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications Trust, Security and Privacy in Computing and Communications (TrustCom), 2012 IEEE 11th International Conference on. :1161-1166 Jun, 2012

Relation: 2012 IEEE 11th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom)

Tris(5‐aryl‐1, 3, 4‐oxadiazolyl)benzotrithiophenes – Discotic Liquid Crystals with Enormous Mesophase Ranges

Authors: Tober, Natalie, Winter, Johannes, Jochem, Matthias, Lehmann, Matthias, Detert, Heiner

Source: European journal of organic chemistry. 2021(5):798-809

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100114707621.0x000001&indx=1&recIds=ETOCvdc_100114707621.0x000001

Coming Home in the Age of Industry 4.0? The Effects of Offshoring and Backshoring on Manufacturing Companies' Success.

Authors: Werbik, Alexander, Nussbaum, Julien, Winter, Johannes

Source: Sci; Dec2024, Vol. 6 Issue 4, p58, 14p

Subject Terms: VALUE creation, OFFSHORE outsourcing, SALES statistics, REGRESSION analysis, EXPORT sales contracts

Direct Electrochemical Synthesis of 2, 3‐Disubstituted Quinoline N‐oxides by Cathodic Reduction of Nitro Arenes

Authors: Winter, Johannes, Prenzel, Tobias, Wirtanen, Tom, Schollmeyer, Dieter, Waldvogel, Siegfried R.

Source: Chemistry. 29(12)

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCvdc_100182464539.0x000001&indx=1&recIds=ETOCvdc_100182464539.0x000001

Formal Verification of Masked Hardware Implementations in the Presence of Glitches
Theory and applications of cryptographic techniques (International conference)

Authors: Bloem, Roderick, Gross, Hannes, Iusupov, Rinat, Könighofer, Bettina, Mangard, Stefan, Winter, Johannes

Source: Lecture notes in computer science. 10821(2):321-353

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN603507317&indx=1&recIds=ETOCCN603507317

Secure Boot Revisited

Authors: Dietrich, Kurt, Winter, Johannes

Source: 2008 The 9th International Conference for Young Computer Scientists Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for. :2360-2365 Nov, 2008

Relation: 2008 9th International Conference for Young Computer Scientists (ICYCS)

Highly Selective Electrosynthesis of 1H‑1-Hydroxyquinol-4-ones–Synthetic Access to Versatile Natural Antibiotics.

Authors: Prenzel, Tobias, Schwarz, Nils, Hammes, Jasmin, Krähe, Franziska, Pschierer, Sarah, Winter, Johannes, Gálvez-Vázquez, María de Jesús, Schollmeyer, Dieter, Waldvogel, Siegfried R.

Source: Organic Process Research & Development; 10/18/2024, Vol. 28 Issue 10, p3922-3928, 7p

Biphasic Electrosynthesis of 2-Isoxazol(in)e-3-carboxylates: Reaction Optimization from Milligram to Hectogram Scale.

Authors: Yuto Nakamura, Linden, Martin, Winter, Johannes, Hofmann, Silja, Shida, Naoki, Atobe, Mahito, Waldvogel, Siegfried R.

Source: ACS Sustainable Chemistry & Engineering; 7/29/2024, Vol. 12 Issue 30, p11369-11376, 8p

Simple electrochemical synthesis of cyclic hydroxamic acids by reduction of nitroarenes.

Authors: Winter, Johannes¹ (AUTHOR), Lühr, Susan² (AUTHOR), Hochadel, Kyra¹ (AUTHOR), Gálvez-Vázquez, María de Jesús¹ (AUTHOR), Prenzel, Tobias¹ (AUTHOR), Schollmeyer, Dieter¹ (AUTHOR), Waldvogel, Siegfried R.^1,3,4 (AUTHOR) siegfried.waldvogel@cec.mpg.de

Source: Chemical Communications. 7/14/2024, Vol. 60 Issue 55, p7065-7068. 4p.

Subject Terms: *NITROAROMATIC compounds, *HYDROXAMIC acids, *ELECTROLYTIC reduction, *HETEROCYCLIC compounds, *SCALABILITY

Film Education for Primary-School Students: Interactive Storytelling as an Educational Approach to Raise Awareness of Design Structures in Feature Films
Interactive digital storytelling (International conference)

Authors: Friess, Regina, Blessing, Anke, Winter, Johannes, Zöckler, Meike, Eckerle, Felix, Prosch, Felix, Gondek, Philip

Source: Lecture notes in computer science. 9445:321-328

Availability: http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN601031538&indx=1&recIds=ETOCCN601031538

Self‐Standing Metal Foam Catalysts for Cathodic Electro‐Organic Synthesis.

Authors: Moreno‐García, Pavel, de Gálvez‐Vázquez, María de Jesús, Prenzel, Tobias, Winter, Johannes, Gálvez‐Vázquez, Liliana, Broekmann, Peter, Waldvogel, Siegfried R.

Source: Advanced Materials; Mar2024, Vol. 36 Issue 9, p1-11, 11p