Travelled to:1 × Austria
1 × China
1 × India
1 × Ireland
1 × Japan
1 × New Zealand
1 × Norway
1 × South Korea
2 × Italy
2 × Portugal
2 × Switzerland
2 × The Netherlands
3 × France
3 × Spain
4 × Germany
7 × USA
Collaborated with:K.Lauenroth A.Metzger E.Sikora T.Weyer K.Weidenhaupt ∅ M.Jarke M.Daun B.Tenbergen S.Reis P.Haumer G.Halmans S.Bühne R.Pohl V.Stricker R.Dömges A.Reuys E.Kamsties C.L.Heitmeyer P.Heymans S.Toehning B.Penzenstadler F.v.d.Linden K.Schreck T.Bandyszak M.Rzepka A.Salmon A.Heuer C.J.Budnik S.Konrad P.Schobbens G.Saval A.Gehlert A.Bucchiarone R.Kazhamiakin M.Pistore M.Weber H.Kleinwechter T.Wierczoch S.Jacobs J.A.B.Jr. P.Assenova P.Holm B.Wangler C.Rolland V.Plihon J.Schmitt A.G.Sutcliffe S.Jones N.A.M.Maiden D.Till Y.Vassiliou P.Constantopoulos G.Spanoudakis
Talks about:requir (16) engin (14) product (11) line (10) model (9) base (9) softwar (7) system (6) variabl (5) test (5)
♂ Person: Klaus Pohl
DBLP: Pohl:Klaus
Facilitated 5 volumes:
EdPrCh
Ed
Ed
EdContributed to:
20152015
2014
2013201120112010
201020102009200920092008
20082007
200720072007200620062006200520052005200419991998199819981997
199719961993
1993Wrote 38 papers:
- ICEIS-v2-2015-BandyszakRWP #analysis #information management #specification #validation
- Supporting the Validation of Structured Analysis Specifications in the Engineering of Information Systems by Test Path Exploration (TB, MR, TW, KP), pp. 252–259.
- REFSQ-2015-DaunWP #detection #embedded #requirements
- Detecting and Correcting Outdated Requirements in Function-Centered Engineering of Embedded Systems (MD, TW, KP), pp. 65–80.
- REFSQ-2015-TenbergenWP #validation
- Supporting the Validation of Adequacy in Requirements-Based Hazard Mitigations (BT, TW, KP), pp. 17–32.
- CSEET-2014-DaunSTWP #case study #industrial #motivation #requirements #student
- Industrial case studies in graduate requirements engineering courses: The impact on student motivation (MD, AS, BT, TW, KP), pp. 3–12.
- ASE-2013-PohlSP #complexity #feature model #modelling
- Measuring the structural complexity of feature models (RP, VS, KP), pp. 454–464.
- ASE-2011-PohlLP #algorithm #analysis #automation #comparison #feature model #modelling #performance
- A performance comparison of contemporary algorithmic approaches for automated analysis operations on feature models (RP, KL, KP), pp. 313–322.
- REFSQ-2011-SikoraTP #embedded #industrial #requirements
- Requirements Engineering for Embedded Systems: An Investigation of Industry Needs (ES, BT, KP), pp. 151–165.
- REFSQ-2010-SikoraDP #abstraction #consistency #multi #specification
- Supporting the Consistent Specification of Scenarios across Multiple Abstraction Levels (ES, MD, KP), pp. 45–59.
- SAC-2010-GehlertBKMPP #adaptation #verification
- Exploiting assumption-based verification for the adaptation of service-based applications (AG, AB, RK, AM, MP, KP), pp. 2430–2437.
- SPLC-2010-HeuerBKLP #diagrams #process #semantics #syntax #variability
- Formal Definition of Syntax and Semantics for Documenting Variability in Activity Diagrams (AH, CJB, SK, KL, KP), pp. 62–76.
- SPLC-2010-StrickerMP #testing
- Avoiding Redundant Testing in Application Engineering (VS, AM, KP), pp. 226–240.
- ASE-2009-LauenrothPT #model checking #product line
- Model Checking of Domain Artifacts in Product Line Engineering (KL, KP, ST), pp. 269–280.
- CAiSE-2009-MetzgerP #framework #generative #research #towards
- Towards the Next Generation of Service-Based Systems: The S-Cube Research Framework (AM, KP), pp. 11–16.
- REFSQ-2009-PenzenstadlerSP #modelling #requirements
- A Requirements Reference Model for Model-Based Requirements Engineering in the Automotive Domain (BP, ES, KP), pp. 212–217.
- CAiSE-2008-HalmansPS #adaptation #product line
- Documenting Application-Specific Adaptations in Software Product Line Engineering (GH, KP, ES), pp. 109–123.
- RE-2008-LauenrothP #consistency #product line #requirements
- Dynamic Consistency Checking of Domain Requirements in Product Line Engineering (KL, KP), pp. 193–202.
- ASE-2007-LauenrothP #automation #consistency #product line #requirements #specification #towards
- Towards automated consistency checks of product line requirements specifications (KL, KP), pp. 373–376.
- FASE-2007-ReisMP #integration #modelling #product line #testing
- Integration Testing in Software Product Line Engineering: A Model-Based Technique (SR, AM, KP), pp. 321–335.
- RE-2007-MetzgerHPSS #analysis #automation #documentation #formal method #product line #variability
- Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis (AM, PH, KP, PYS, GS), pp. 243–253.
- RE-2007-PohlS #architecture #co-evolution #design #named #requirements
- COSMOD-RE: Supporting the Co-Design of Requirements and Architectural Artifacts (KP, ES), pp. 258–261.
- REFSQ-2007-PohlS #architecture #co-evolution #design #requirements
- Structuring the Co-design of Requirements and Architecture (KP, ES), pp. 48–62.
- ICSE-2006-PohlM #product line #variability
- Variability management in software product line engineering (KP, AM), pp. 1049–1050.
- SPL-BOOK-2006-BuhneHLP #requirements
- Scenario-Based Application Requirements Engineering (SB, GH, KL, KP), pp. 161–194.
- SPL-BOOK-2006-ReuysRKP #product line #testing
- The ScenTED Method for Testing Software Product Lines (AR, SR, EK, KP), pp. 479–520.
- SPLC-2006-PohlLM #product line #variability
- Software Product Line Variability Management (KP, FvdL, AM), p. 219.
- CAiSE-2005-ReuysKPR #modelling #product line #testing
- Model-Based System Testing of Software Product Families (AR, EK, KP, SR), pp. 519–534.
- ICSE-2005-HeitmeyerP #case study #experience
- Introduction to the experience reports track (CLH, KP), p. 480.
- RE-2005-BuhneLP #modelling #product line #requirements #variability
- Modelling Requirements Variability across Product Lines (SB, KL, KP), pp. 41–52.
- RE-2004-BuhneHPWKW #abstraction #requirements
- Defining Requirements at Different Levels of Abstraction (SB, GH, KP, MW, HK, TW), pp. 346–347.
- RE-1999-HaumerJPH #approach #past present future
- Bridging the Gap Between Past and Future in RE: A Scenario-Based Approach (PH, MJ, KP, PH), pp. 66–73.
- CAiSE-1998-DomgesPS
- A Filter-Mechanism for Method-Driven Trace Capture (RD, KP, KS), pp. 237–250.
- ICRE-1998-WeidenhauptPJH #development
- Scenario Usage in System Development: A Report on Current Practice (KW, KP, MJ, PH), p. 222–?.
- REFSQ-1998-HaumerPW #abstraction #concept #modelling
- Abstraction Guides: Interrelating Conceptual Models with Real World Scenes (PH, KP, KW), pp. 23–32.
- CAiSE-1997-PohlDJ #towards
- Towards Method-Driven Trace Capture (KP, RD, MJ), pp. 103–116.
- ESEC-FSE-1997-PohlW #approach #tool support
- A Contextual Approach for Process-Integrated Tools (KP, KW), pp. 176–192.
- ICRE-1996-Pohl #named #requirements
- PRO-ART: Enabling Requirements Pre-Traceability (KP), pp. 76–85.
- CAiSE-1993-Pohl #requirements
- The Three Dimensions of Requirements Engineering (KP), pp. 275–292.
- ESEC-1993-JarkePJBAHWRPSSJMTVCS #process #representation #requirements
- Requirements Engineering: An Integrated View of Representation, Process, and Domain (MJ, KP, SJ, JABJ, PA, PH, BW, CR, VP, JRS, AGS, SJ, NAMM, DT, YV, PC, GS), pp. 100–114.