Travelled to:1 × Canada
1 × France
1 × Ireland
1 × Norway
1 × South Africa
1 × The Netherlands
3 × Germany
Collaborated with:Thomas Gerlitz S.Biallas J.Brauer D.Franke C.Weise J.Preußig David Thönnessen A.Polzer N.Prakobkosol A.King C.Elsemann S.Hauck-Stattelmann B.Schlich R.Jetley A.Michailidis U.Spieth T.Ringler B.Hedenetz G.Botterweck A.Pleuß D.Dhungana Manfred Smieschek Timo Hinrichs André Stollenwerk Rudiger Preub Niklas Reinker Stefan Rakel Andrei Svetlakov Nick Smallbone M.Fabian K.Claessen D.Schmitz M.Zhang T.Rose M.Jarke J.Palczynski M.Reke
Talks about:model (5) control (4) applic (4) test (3) simulink (2) properti (2) discret (2) develop (2) system (2) matlab (2)
Person: Stefan Kowalewski
DBLP: Kowalewski:Stefan
Facilitated 1 volumes:
EdContributed to:
2015
2012
2012
2012
2011
2010
2010
20091996
2016
20182019Wrote 14 papers:
- FM-2015-Hauck-Stattelmann #behaviour #industrial
- Analyzing the Restart Behavior of Industrial Control Applications (SHS, SB, BS, SK, RJ), pp. 585–588.
- ASE-2012-BiallasBK #framework #logic #platform #programmable #verification
- Arcade.PLC: a verification platform for programmable logic controllers (SB, JB, SK), pp. 338–341.
- ICST-2012-FrankeKWP #consistency #lifecycle #mobile #testing
- Testing Conformance of Life Cycle Dependent Properties of Mobile Applications (DF, SK, CW, NP), pp. 241–250.
- SAS-2012-BiallasBKK
- Loop Leaping with Closures (SB, JB, AK, SK), pp. 214–230.
- WCRE-2011-FrankeEKW #lifecycle #mobile #reverse engineering
- Reverse Engineering of Mobile Application Lifecycles (DF, CE, SK, CW), pp. 283–292.
- DATE-2010-MichailidisSRHK #development
- Test front loading in early stages of automotive software development based on AUTOSAR (AM, US, TR, BH, SK), pp. 435–440.
- PLEASE-2010-BotterweckPDPK #evolution #named #product line
- EvoFM: feature-driven planning of product-line evolution (GB, AP, DD, AP, SK), pp. 24–31.
- ECMDA-FA-2009-SchmitzZRJPPKR #development #modelling
- Mapping Requirement Models to Mathematical Models in Control System Development (DS, MZ, TR, MJ, AP, JP, SK, MR), pp. 253–264.
- TACAS-1996-KowalewskiP #composition #framework #modelling #realtime #verification
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control (SK, JP), pp. 225–240.
- WICSA-2016-GerlitzK #matlab #modelling #slicing
- Flow Sensitive Slicing for MATLAB/Simulink Models (TG, SK), pp. 81–90.
- WICSA-2016-GerlitzK16a #analysis #architecture #matlab #modelling
- Architectural Analysis of MATLAB/Simulink Models with Artshop (TG, SK), pp. 307–310.
- CASE-2018-SmieschekHSKP
- A New Condition Indicator for Slow-Rotating Roller Chains based on the Angle and Torque of the Driving Motor (MS, TH, AS, SK, RP), pp. 642–644.
- CASE-2018-ThonnessenRRSK #algorithm #correctness #multi #specification
- Correctness Properties and Exemplified Applicability of a Signal Matching Algorithm with Multidimensional Tolerance Specifications (DT, NR, SR, AS, SK), pp. 1197–1202.
- CASE-2019-ThonnessenSFCK #quickcheck #safety #testing #using
- Testing Safety PLCs Using QuickCheck (DT, NS, MF, KC, SK), pp. 1–6.