Travelled to:1 × China
1 × Czech Republic
1 × Denmark
1 × Italy
1 × Mexico
1 × Poland
1 × Switzerland
1 × USA
2 × Estonia
2 × United Kingdom
3 × Austria
Collaborated with:A.Knapp R.Hennicker M.Bidoit M.Broy G.Mascari W.Dosch ∅ D.Sannella J.Eckhardt T.Mühlbauer J.Meseguer M.M.Hölzl M.Meier A.Rauschmayer H.Baumeister S.Merz J.Zappe B.Reus R.Stabl G.Marczynski A.Zawlocki F.Tort U.Lechner C.Lengauer F.Nickl E.Astesiano G.Reggio M.AlTurki G.Denker C.L.Talcott A.Poggio L.Briesemeister H.Partsch P.Pepper
Talks about:specif (8) approach (4) constraint (3) system (3) orient (3) object (3) formal (3) abstractor (2) implement (2) framework (2)
♂ Person: Martin Wirsing
DBLP: Wirsing:Martin
Facilitated 4 volumes:
EdPrCh
EdEdContributed to:
2012
2012
2010
201020092007
2004
200420032001
1999
199619962002
19941995
1989
1982
19821979
19851989Wrote 22 papers:
- FASE-2012-EckhardtMAMW
- Stable Availability under Denial of Service Attacks through Formal Patterns (JE, TM, MA, JM, MW), pp. 78–93.
- WRLA-2012-WirsingEMM #analysis #architecture #design #maude
- Design and Analysis of Cloud-Based Architectures with KLAIM and Maude (MW, JE, TM, JM), pp. 54–82.
- QoSA-2010-Wirsing #adaptation #approach #component #pervasive
- A Component-Based Approach to Adaptive User-Centric Pervasive Applications (MW), p. 2.
- SAC-2010-KnappMWZ #approach #specification
- A heterogeneous approach to service-oriented systems specification (AK, GM, MW, AZ), pp. 2477–2484.
- WRLA-2008-HolzlMW09 #constraints #question
- Which Soft Constraints do you Prefer? (MMH, MM, MW), pp. 189–205.
- WRLA-2006-WirsingDTPB07 #constraints #framework #logic
- A Rewriting Logic Framework for Soft Constraints (MW, GD, CLT, AP, LB), pp. 181–197.
- 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.
- FASE-2003-MerzWZ #logic #mobile #refinement #specification
- A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems (SM, MW, JZ), pp. 87–101.
- FASE-2001-ReusWH #calculus #design #hoare #java #modelling #ocl #verification
- A Hoare Calculus for Verifying Java Realizations of OCL-Constrained Design Models (BR, MW, RH), pp. 300–317.
- UML-1999-TortBHW #constraints #interface #ocl
- Correct Realization of Interface Constraints with OCL (FT, MB, RH, MW), pp. 399–415.
- ECOOP-1996-LechnerLNW #concurrent #inheritance #reuse #usability
- (Objects + Concurrency) & Reusability — A Proposal to Circumvent the Inheritance Anomaly (UL, CL, FN, MW), pp. 232–247.
- 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.
- ESOP-1994-BidoitHW #behaviour #semantics
- Characterizing Behavioural Semantics and Abstractor Semantics (MB, RH, MW), pp. 105–119.
- ESOP-J-1994-BidoitHW95 #behaviour #specification
- Behavioural and Abstractor Specifications (MB, RH, MW), pp. 149–186.
- ESEC-1989-WirsingHS #named #reuse #specification #using
- MENU — An Example for the Systematic Reuse of Specifications (MW, RH, RS), pp. 20–41.
- ICALP-1982-SannellaW #implementation #specification
- Implementation of Parameterised Specifications (DS, MW), pp. 473–488.
- VLDB-1982-DoschMW #algebra #database #on the #specification
- On the Algebraic Specification of Databases (WD, GM, MW), pp. 370–385.
- ICALP-1979-BroyDPPW #data type #quantifier
- Existential Quantifiers in Abstract Data Types (MB, WD, HP, PP, MW), pp. 73–87.
- CAAP-1985-AstesianoMRW #algebra #concurrent #on the #specification
- On the Parameterized Algebraic Specification of Concurrent Systems (EA, GM, GR, MW), pp. 342–358.
- AS-1989-WirsingB #composition #framework #implementation #specification
- A Modular Framework for Specification and Implementation (MW, MB), pp. 42–73.