Author/Creator: Kowalewski, Stefan - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator Kowalewski, Stefan

1. A Cloud Architecture for Networked and Autonomous Vehicles⁎This research is accomplished within the project "UNICARagil" (FKZ EM2ADIS002). We acknowledge the financial support for the project by the Federal Ministry of Education and Research of Germany (BMBF). Issue 2 (2021)

Authors:: Mokhtarian, Armin; Kampmann, Alexandru; Lueer, Maximilian; Kowalewski, Stefan; Alrifaee, Bassam
Journal:: IFAC-PapersOnLine
Issue:: Volume 54:Issue 2(2021)
Page Start:: 233
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. A GPS-aided Inertial Navigation System for Vehicular Navigation using a Smartphone. Issue 10 (2018)

Authors:: Grochowski, Marco; Schweigler, Martin; Alrifaee, Bassam; Kowalewski, Stefan
Journal:: IFAC-PapersOnLine
Issue:: Volume 51:Issue 10(2018)
Page Start:: 121
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems. Issue 27 (2015)

Authors:: Makhlouf, Ibtissem Ben; Gan, Jonathan; Kowalewski, Stefan
Journal:: IFAC-PapersOnLine
Issue:: Volume 48:Issue 27(2015)
Page Start:: 13
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Agile Latency Estimation for a Real-time Service-oriented Software Architecture. Issue 2 (2020)

Authors:: Kampmann, Alexandru; Mokhtarian, Armin; Rogalski, Jan; Kowalewski, Stefan; Alrifaee, Bassam
Journal:: IFAC-PapersOnLine
Issue:: Volume 53:Issue 2(2020)
Page Start:: 5795
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Algorithmic distinction of ARDS and Heart Failure in ICU data from medical embedded systems by using a computer model ⁎This publication of the SMITH consortium was supported by the German Federal Ministry of Education and Research, grant numbers: 01ZZ1803K, 01ZZ1803B and 01ZZ1803M. Issue 4 (2021)

Authors:: Fonck, Simon; Fritsch, Sebastian; Kowalewski, Stefan; Hensen, Raimund; Stollenwerk, André
Journal:: IFAC-PapersOnLine
Issue:: Volume 54:Issue 4(2021)
Page Start:: 135
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

6. Automatic Error Cause Localization of Faulty PLC Programs. Issue 7 (2015)

Authors:: Biallas, Sebastian; Friedrich, Nico; Simon, Hendrik; Kowalewski, Stefan
Journal:: IFAC-PapersOnLine
Issue:: Volume 48:Issue 7(2015)
Page Start:: 79
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

7. Case studies on automated verification with slope boundaries for block diagrams. (December 2018)

Authors:: Dernehl, Christian; Kühn, Jan; Kowalewski, Stefan
Journal:: Computer languages, systems & structures
Issue:: Volume 54(2018)
Page Start:: 528
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Compositional Verification of PLC Software using Horn Clauses and Mode Abstraction. Issue 7 (2018)

Authors:: Bohlender, Dimitri; Kowalewski, Stefan
Journal:: IFAC-PapersOnLine
Issue:: Volume 51:Issue 7(2018)
Page Start:: 428
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. Explicit prioritization of parallel Intent broadcasts in real‐time Android. (5th May 2017)

Authors:: Kalkov, Igor; Gurghian, Alexandru; Kowalewski, Stefan
Other Names:: Fox Geoffrey C. guestEditor.; Goldman Alfredo guestEditor.; Arantes Luciana guestEditor.; Moreno Edward guestEditor.
Journal:: Concurrency and computation
Issue:: Volume 29:Number 22(2017)
Page Start:: n/a
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Matching Discrete Signals for Hardware-in-the-Loop-Testing of PLCs. Issue 10 (2018)

Authors:: Thönnessen, David; Rakel, Stefan; Reinker, Niklas; Kowalewski, Stefan
Journal:: IFAC-PapersOnLine
Issue:: Volume 51:Issue 10(2018)
Page Start:: 229
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗