Part of:
You are here:
Bernhard Steffen In: Computer Aided Verification (CAV 2025) DOI: https://doi.org/10.1007/978-3-031-98685-7_7 Preprint 2024 Tree-Based Scenario Classification Till Schallau, Stefan Naujokat, Fiona Kullmann, Falk [...] Lorber, Malte Mauritz In: NASA Formal Methods (NFM 2023) DOI: https://doi.org/0.1007/978-3-031-33170-1_7 Preprint The integration of multi-color taint-analysis with dynamic symbolic execution for Java web [...] Simon Dierl, Falk Howar In: Tests and Proofs (TAP 2022) DOI: https://doi.org/10.1007/978-3-031-09827-7_2 Preprint SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM Malte Mues …
aschinen Nr. 5/1997 PDF (160 KB) Schraubenmaschinen Nr. 6/1998 PDF (150 KB) Schraubenmaschinen Nr. 7/1999 PDF (139 KB) Schraubenmaschinen Nr. 8/2000 PDF (136 KB) Schraubenmaschinen Nr. 9/2001 PDF (149 …
there will be a guided lab tour of the laboratories of the Chair of Materials Test Engineering. At 7.30 p.m. a dinner is planned. On Friday, 25 October, the second day of lectures will begin at 8:30 am …
will take place on Monday, February 24, 2025 at 6.30 pm in the Gartensaal, Baukunstarchiv NRW, Ostwall 7, 44135 Dortmund Due to limited capacity, registration is required by 21.02.2025 if possible. Please …
elektromagnetische Wellen, Wellengleichung, Polarisation 6. Optik: Geometrische Optik, Wellenoptik 7. Physik des 20. Jahrhunderts: Quantenphysik, Energiezustände und H-Atommodell, Plancksche Strahlung …
This year's external LHCb week took place in Glasgow from June 3 to 7. In addition to many specialist talks and plenty of time for discussions, the program also included a number of events to get to know …
for in low mass dijets or at the LHC as well as dark photon searches. A light Z′ of ∼ 3 GeV or ∼ 5-7 GeV can moreover resolve the longstanding discrepancy in the J/ψ,ψ′branching ratios with pion form factors …
family photo shoot at PicturePeople (photo studios in Bochum, Dortmund, Essen or Duisburg) Places 6 and 7: Two RUHR.TOPCARDs each for the year 2020 A jury will evaluate the submitted photographs. The award-winning …
II: Business Informatics II Lecturer: Prof. Dr. Richard Lackes / Mathis Wilz Scope / Credits: 4 SWS / 7,5 Credits Course type: Lecture and exercise Language: German Place and date: Tuesday 12 pm - 2 pm in …
12: December 2016 No. 11: July 2016 No. 10: January 2016 No. 9: June 2015 No. 8: December 2014 No. 7: July 2014 No. 6: December 2013 No. 5: May 2013 No. 4: December 2012 No. 3: May 2012 No. 2: November …
