Travelled to:1 × Austria
1 × Canada
1 × China
1 × Denmark
1 × Estonia
1 × Italy
1 × Spain
1 × Switzerland
1 × The Netherlands
2 × USA
2 × United Kingdom
3 × Portugal
Collaborated with:M.Wirsing R.Hennicker M.V.Cengarle Kilian Telschig M.Roggenbach G.Zhang H.Baumeister A.Habermaier ∅ B.Schlingloff M.P.Krieger B.Wolff P.Cenciarelli E.Sibilio M.M.Hölzl M.Hammer S.Merz A.Rauschmayer A.Madeira Andreas Schonberger T.Mossakowski M.Glauer B.Eberhardinger H.Seebach W.Reif G.Marczynski A.Zawlocki M.Bidoit N.Koch H.Hassler
Talks about:model (5) orient (4) formal (4) approach (3) softwar (3) system (3) object (3) machin (3) applic (3) state (3)
♂ Person: Alexander Knapp
DBLP: Knapp:Alexander
Facilitated 1 volumes:
PrCoContributed to:
2015
2014
2014
2012
2010
2010200720072007
2005
2004
2004
2004
200220011999
199620022019
2019
2018Wrote 22 papers:
- FASE-2015-KnappMRG #state machine #uml
- An Institution for Simple UML State Machines (AK, TM, MR, MG), pp. 3–18.
- ICTSS-2014-EberhardingerSKR #adaptation #self #testing #towards
- Towards Testing Self-organizing, Adaptive Systems (BE, HS, AK, WR), pp. 180–185.
- SPLC-2014-KnappRS #development #modelling #on the #product line #testing #using
- On the use of test cases in model-based software product line development (AK, MR, BHS), pp. 247–251.
- ESOP-2012-HabermaierK #correctness #execution #on the
- On the Correctness of the SIMT Execution Model of GPUs (AH, AK), pp. 316–335.
- GPCE-2010-KriegerKW #automation #contract #performance #simulation
- Automatic and efficient simulation of operation contracts (MPK, AK, BW), pp. 53–62.
- SAC-2010-KnappMWZ #approach #specification
- A heterogeneous approach to service-oriented systems specification (AK, GM, MW, AZ), pp. 2477–2484.
- ESOP-2007-CenciarelliKS #axiom #java #memory management
- The Java Memory Model: Operationally, Denotationally, Axiomatically (PC, AK, ES), pp. 331–346.
- FASE-2007-HennickerK #state machine #synthesis
- Activity-Driven Synthesis of State Machines (RH, AK), pp. 87–101.
- MoDELS-2007-ZhangHK #aspect-oriented #state machine #uml
- Enhancing UML State Machines with Aspects (GZ, MMH, AK), pp. 529–543.
- TACAS-2005-HammerKM #ltl #model checking #on the fly
- Truly On-the-Fly LTL Model Checking (MH, AK, SM), pp. 191–205.
- ASE-2004-RauschmayerKW #consistency #framework #generative #scalability
- Consistency Checking in an Infrastructure for Large-Scale Generative (AR, AK, MW), pp. 238–247.
- SEFM-2004-BaumeisterKW #development
- Property-Driven Development (HB, AK, MW), pp. 96–102.
- SEFM-2004-BidoitHKB #black box #object-oriented #specification
- Glass-Box and Black-Box Views on Object-Oriented Specifications (MB, RH, AK, HB), pp. 208–217.
- UML-2004-KnappKZH #modelling #process #web
- Modeling Business Processes in Web Applications with ArgoUWE (AK, NK, GZ, HMH), pp. 69–83.
- FME-2002-CengarleK #ocl #towards
- Towards OCL/RT (MVC, AK), pp. 390–409.
- UML-2001-CengarleK #ocl #semantics
- A Formal Semantics for OCL 1.4 (MVC, AK), pp. 118–133.
- UML-1999-Knapp #interactive #semantics #uml
- A Formal Semantics for UML Interactions (AK), pp. 116–130.
- RWLW-1996-WirsingK #approach #formal method #object-oriented #re-engineering
- A formal approach to object-oriented software engineering (MW, AK), pp. 322–360.
- WRLA-J-1996-WirsingK02 #approach #formal method #object-oriented #re-engineering
- A formal approach to object-oriented software engineering (MW, AK), pp. 519–560.
- FASE-2019-HennickerMK #data-driven #hybrid #logic
- A Hybrid Dynamic Logic for Event/Data-Based Systems (RH, AM, AK), pp. 79–97.
- ICSA-2019-TelschigK #configuration management #distributed #embedded
- Synchronous Reconfiguration of Distributed Embedded Applications During Operation (KT, AK), pp. 121–130.
- CASE-2018-TelschigSK #architecture #distributed #embedded #realtime
- A Real-Time Container Architecture for Dependable Distributed Embedded Applications (KT, AS, AK), pp. 1367–1374.