Travelled to:1 × Austria
1 × Belgium
1 × Canada
1 × China
1 × Estonia
1 × Finland
1 × France
1 × Greece
1 × Switzerland
2 × Hungary
2 × Portugal
3 × Germany
5 × Italy
8 × USA
Collaborated with:L.Lambers S.Hildebrandt C.Krause A.Seibel J.Dyck S.Burmester M.Tichy ∅ F.Klein W.Schäfer R.Hebig G.Gabrysiak B.Becker R.Wagner M.Hirsch D.Schilling S.Neumann J.Graf G.Wirtz A.Anjorin A.Schürr L.Pirl F.Stallmann T.Han M.Z.Kwiatkowska F.Orejas U.Golas H.Ehrig B.Axenath U.Frank O.Oberschelp S.Flake M.Maximova L.Sakizloglou S.S.0001 S.Henkler J.Greenyer S.Schlesinger S.Glesner D.Petrick I.Richter S.Birth D.Beyer A.Cunha F.Hermann A.Rensink T.Vogel S.Wätzoldt M.Gehrke U.Nickel J.Niere J.P.Wadsack A.Zündorf A.Gambuzza E.Münch H.Vöcking J.Rieke M.Lauder K.Alhawash T.Eckardt C.Heinzemann R.Löffler
Talks about:model (13) graph (13) transform (11) time (10) system (9) behavior (6) grammar (6) tripl (6) tool (6) real (6)
♂ Person: Holger Giese
DBLP: Giese:Holger
Facilitated 15 volumes:
PrCo
PrCo
EdPrCo
PrCo
SCoPrCoPrCoPrCoPrCo
Ed
EdPrCoContributed to:
20152015
2014
20142013
2013201320132013
2013201220122012
2012
2011201120112011
20102009
20092007200720062006
2006
20052005
2004
20032002
19992019Wrote 36 papers:
- AMT-2015-DyckGLSG #automation #behaviour #model transformation #towards #verification
- Towards the Automatic Verification of Behavior Preservation at the Transformation Level for Operational Model Transformations (JD, HG, LL, SS, SG), pp. 36–45.
- ICGT-2015-DyckG #induction #invariant
- Inductive Invariant Checking with Partial Negative Application Conditions (JD, HG), pp. 237–253.
- BX-2014-AnjorinCG0RS
- BenchmarX (AA, AC, HG, FH, AR, AS), pp. 82–86.
- FASE-2014-KrauseTG #graph transformation #implementation #parallel
- Implementing Graph Transformations in the Bulk Synchronous Parallel Model (CK, MT, HG), pp. 325–339.
- BX-2013-HildebrandtLGRGSLAS #graph grammar #overview #tool support
- A Survey of Triple Graph Grammar Tools (SH, LL, HG, JR, JG, WS, ML, AA, AS), pp. 1–17.
- CSEET-2013-GabrysiakHPG #education #implementation #requirements
- Cooperating with a non-governmental organization to teach gathering and implementation of requirements (GG, RH, LP, HG), pp. 11–20.
- GT-VMT-2013-Giese #behaviour #graph transformation #probability
- Invited Talk: Extensions of Graph Transformation Systems for Timed, Continuous, and Probabilistic Behavior (HG).
- ICMT-2013-HildebrandtLG #automation #consistency #graph grammar #implementation #specification #testing
- Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations (SH, LL, HG), pp. 174–188.
- ICMT-2013-KrauseDG #co-evolution #evolution #graph transformation #metamodelling
- Metamodel-Specific Coupled Evolution Based on Dynamically Typed Graph Transformations (CK, JD, HG), pp. 76–91.
- MoDELS-2013-HebigGSS #evolution #on the
- On the Complex Nature of MDE Evolution (RH, HG, FS, AS), pp. 436–453.
- QAPL-2013-HanKKG #probability #specification
- Modal Specifications for Probabilistic Timed Systems (TH, CK, MZK, HG), pp. 66–80.
- AMT-2012-HildebrandtLG #development #framework #graph grammar #model transformation
- The MDELab tool framework for the development of correct model transformations with triple graph grammars (SH, LL, HG), pp. 33–34.
- BX-2012-LambersHGO #bidirectional #graph grammar #model transformation
- Attribute Handling for Bidirectional Model Transformations: The Triple Graph Grammar Case (LL, SH, HG, FO), pp. 84–99.
- ICGT-2012-GieseL #automation #behaviour #invariant #model transformation #towards #verification
- Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking (HG, LL), pp. 249–263.
- ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards
- Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
- ICGT-2012-KrauseG #graph transformation #probability
- Probabilistic Graph Transformation Systems (CK, HG), pp. 311–325.
- SFM-2012-GieseLBHNVW #adaptation #graph transformation #modelling #runtime
- Graph Transformations for MDE, Adaptation, and Models at Runtime (HG, LL, BB, SH, SN, TV, SW), pp. 137–191.
- AGTIVE-2011-HildebrandtLGPR #automation #consistency #graph grammar #implementation #testing
- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations (SH, LL, HG, DP, IR), pp. 238–253.
- BX-2011-Giese #incremental
- Incremental Model Synchronization (HG), p. 52.
- ICMT-2011-BeckerLDBG #development #refactoring #rule-based
- Iterative Development of Consistency-Preserving Rule-Based Refactorings (BB, LL, JD, SB, HG), pp. 123–137.
- SLE-2011-SeibelHNG #black box #composition #execution #model transformation
- A Dedicated Language for Context Composition and Execution of True Black-Box Model Transformations (AS, RH, SN, HG), pp. 19–39.
- ASE-2010-GabrysiakGS #behaviour #interactive #multi #process #requirements #validation
- Deriving behavior of multi-user processes from interactive requirements validation (GG, HG, AS), pp. 355–356.
- GT-VMT-2009-GieseHS #diagrams #flexibility #scalability
- Improved Flexibility and Scalability by Interpreting Story Diagrams (HG, SH, AS), pp. 147–158.
- ICSE-2009-HenklerGHSAEHLSG #behaviour #realtime #synthesis
- Synthesis of timed behavior from scenarios in the Fujaba Real-Time Tool Suite (SH, JG, MH, WS, KA, TE, CH, RL, AS, HG), pp. 615–618.
- FASE-2007-KleinG #diagrams #specification #using
- Joint Structural and Temporal Property Specification Using Timed Story Scenario Diagrams (FK, HG), pp. 185–199.
- ICSE-2007-BurmesterGHHTGMV #perspective #realtime #tool support
- Tool Support for Developing Advanced Mechatronic Systems: Integrating the Fujaba Real-Time Tool Suite with CAMeL-View (SB, HG, SH, MH, MT, AG, EM, HV), pp. 801–804.
- ICSE-2006-BeckerBGKS #adaptation #invariant #verification
- Symbolic invariant verification for systems with dynamic structural adaptation (BB, DB, HG, FK, DS), pp. 72–81.
- MoDELS-2006-GieseW #graph grammar #incremental
- Incremental Model Synchronization with Triple Graph Grammars (HG, RW), pp. 543–557.
- RE-2006-AxenathGKF #evaluation #synthesis
- Systematic Requirements-Driven Evaluation and Synthesis of Alternative Principle Solutions for Advanced Mechatronic Systems (BA, HG, FK, UF), pp. 156–165.
- ECMDA-FA-2005-BurmesterGS #architecture #framework #independence #modelling #platform #realtime
- Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code (SB, HG, WS), pp. 25–40.
- ICSE-2005-BurmesterGHST #development #modelling #realtime #safety
- The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems (SB, HG, MH, DS, MT), pp. 670–671.
- FSE-2004-GieseBSO #component #composition #configuration management #design #verification
- Modular design and verification of component-based mechatronic systems with online-reconfiguration (HG, SB, WS, OO), pp. 179–188.
- ESEC-FSE-2003-GieseTBF #composition #design #realtime #towards #uml #verification
- Towards the compositional verification of real-time UML designs (HG, MT, SB, SF), pp. 38–47.
- ICSE-2002-GehrkeGNNTWZ #industrial #re-engineering
- Reporting about industrial strength software engineering courses for undergraduates (MG, HG, UN, JN, MT, JPW, AZ), pp. 395–405.
- UML-1999-GieseGW #behaviour #modelling #object-oriented
- Closing the Gap Between Object-Oriented Modeling of Structure and Behavior (HG, JG, GW), pp. 534–549.
- FASE-2019-GieseMSS #graph #logic #metric
- Metric Temporal Graph Logic over Typed Attributed Graphs (HG, MM, LS, SS0), pp. 282–298.