Martin Wirsing


Ontology type: schema:Person     


Person Info

NAME

Martin

SURNAME

Wirsing

Publications in SciGraph latest 50 shown

  • 2018-10-31 The Sharer’s Dilemma in Collective Adaptive Systems of Self-interested Agents in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31 The Meaning of Adaptation: Mastering the Unforeseen? in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31 Dynamic Logic for Ensembles in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2018-10-31 Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. DISTRIBUTED SYSTEMS
  • 2017 Software-Verifikation in 50 JAHRE UNIVERSITÄTS-INFORMATIK IN MÜNCHEN
  • 2016 Rigorous Engineering of Collective Adaptive Systems Track Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2016 OnPlan: A Framework for Simulation-Based Online Planning in FORMAL ASPECTS OF COMPONENT SOFTWARE
  • 2016 Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: FOUNDATIONAL TECHNIQUES
  • 2016 Collective Autonomic Systems: Towards Engineering Principles and Their Foundations in TRANSACTIONS ON FOUNDATIONS FOR MASTERING CHANGE I
  • 2015 The Ensemble Development Life Cycle and Best Practices for Collective Autonomic Systems in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2015 Model-Checking Helena Ensembles with Spin in LOGIC, REWRITING, AND CONCURRENCY
  • 2015 Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation in SOFTWARE ENGINEERING FOR COLLECTIVE AUTONOMIC SYSTEMS
  • 2015 A SOC-Based Formal Specification and Verification of Hybrid Systems in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2015 Algebraic Reinforcement Learning in LOGIC, REWRITING, AND CONCURRENCY
  • 2014 Assembly Theories for Communication-Safe Component Systems in FROM PROGRAMS TO SYSTEMS. THE SYSTEMS PERSPECTIVE IN COMPUTING
  • 2014 Reasoning (on) Service Component Ensembles in Rewriting Logic in SPECIFICATION, ALGEBRA, AND SOFTWARE
  • 2014 Introduction to “Rigorous Engineering of Autonomic Ensembles”– Track Introduction in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION. TECHNOLOGIES FOR MASTERING CHANGE
  • 2014 Evaluation of Engineering Approaches in the Secure Software Development Life Cycle in ENGINEERING SECURE FUTURE INTERNET SERVICES AND SYSTEMS
  • 2013 Soft Constraints for Lexicographic Orders in ADVANCES IN ARTIFICIAL INTELLIGENCE AND ITS APPLICATIONS
  • 2013 Statistical Model Checking for Composite Actor Systems in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2013 ASCENS: Engineering Autonomic Service-Component Ensembles in FORMAL METHODS FOR COMPONENTS AND OBJECTS
  • 2012 Design and Analysis of Cloud-Based Architectures with KLAIM and Maude in REWRITING LOGIC AND ITS APPLICATIONS
  • 2012 Building a Modal Interface Theory for Concurrency and Data in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2012 Stable Availability under Denial of Service Attacks through Formal Patterns in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2011 Evaluation of Cost Based Best Practices in Business Processes in ENTERPRISE, BUSINESS-PROCESS AND INFORMATION SYSTEMS MODELING
  • 2011 Towards a System Model for Ensembles in FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS
  • 2011 Sensoria – Software Engineering for Service-Oriented Overlay Computers in RIGOROUS SOFTWARE ENGINEERING FOR SERVICE-ORIENTED SYSTEMS
  • 2011 Sensoria Patterns in RIGOROUS SOFTWARE ENGINEERING FOR SERVICE-ORIENTED SYSTEMS
  • 2010 A Component-Based Approach to Adaptive User-Centric Pervasive Applications in RESEARCH INTO PRACTICE – REALITY AND GAPS
  • 2010 Performance Prediction of Service-Oriented Systems with Layered Queueing Networks in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION
  • 2009 Constraint-Muse: A Soft-Constraint Based System for Music Therapy in ALGEBRA AND COALGEBRA IN COMPUTER SCIENCE
  • 2009 On the Specification and Verification of Model Transformations in SEMANTICS AND ALGEBRAIC SPECIFICATION
  • 2009 What Is a Multi-modeling Language? in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2009 A Service-Oriented UML Profile with Formal Support in SERVICE-ORIENTED COMPUTING
  • 2009 Computing the Cost of Business Processes in INFORMATION SYSTEMS: MODELING, DEVELOPMENT, AND INTEGRATION
  • 2008 Sensoria Patterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION
  • 2008 A Heterogeneous Approach to UML Semantics in CONCURRENCY, GRAPHS AND MODELS
  • 2008 Software Engineering for Ensembles in SOFTWARE-INTENSIVE SYSTEMS AND NEW COMPUTING PARADIGMS
  • 2008 Engineering of Software-Intensive Systems: State of the Art and Research Challenges in SOFTWARE-INTENSIVE SYSTEMS AND NEW COMPUTING PARADIGMS
  • 2008 Service Specification and Matchmaking Using Description Logic in ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY
  • 2008 Modelling the CoCoME with the Java/A Component Model in THE COMMON COMPONENT MODELING EXAMPLE
  • 2007 A Formal Framework for “Living” Cooperative Information Systems in ADVANCES AND INNOVATIONS IN SYSTEMS, COMPUTING SCIENCES AND SOFTWARE ENGINEERING
  • 2007 Using Goals for Flexible Service Orchestration in SERVICE-ORIENTED COMPUTING: AGENTS, SEMANTICS, AND ENGINEERING
  • 2007 Sensoria Process Calculi for Service-Oriented Computing in TRUSTWORTHY GLOBAL COMPUTING
  • 2006 Semantic-Based Development of Service-Oriented Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006
  • 2005-06-26 An object-oriented airport: Specification and refinement in Maude in RECENT TRENDS IN DATA TYPE SPECIFICATION
  • 2005-06-14 Polymorphism, parameterization and typing: An algebraic specification perspective in STACS 91
  • 2005-06-09 A method for the development of correct software in KORSO: METHODS, LANGUAGES, AND TOOLS FOR THE CONSTRUCTION OF CORRECT SOFTWARE
  • 2005 Structured Program Synthesis in ADAPTING PROOFS-AS-PROGRAMS
  • 2005 Properties of Intuitionistic Hoare Logic in ADAPTING PROOFS-AS-PROGRAMS
  • JSON-LD is the canonical representation for SciGraph data.

    TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT

    [
      {
        "@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json", 
        "affiliation": [
          {
            "affiliation": {
              "id": "https://www.grid.ac/institutes/grid.5252.0", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }
        ], 
        "familyName": "Wirsing", 
        "givenName": "Martin", 
        "id": "sg:person.010602274463.18", 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.010602274463.18"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2019-03-07T14:02", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-uberresearch-data-dimensions-researchers-20181010/20181011/dim_researchers/base/researchers_1803.json", 
        "type": "Person"
      }
    ]
     

    Download the RDF metadata as:  json-ld nt turtle xml License info

    HOW TO GET THIS DATA PROGRAMMATICALLY:

    JSON-LD is a popular format for linked data which is fully compatible with JSON.

    curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/person.010602274463.18'

    N-Triples is a line-based linked data format ideal for batch operations.

    curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/person.010602274463.18'

    Turtle is a human-readable linked data format.

    curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/person.010602274463.18'

    RDF/XML is a standard XML format for linked data.

    curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/person.010602274463.18'


     




    Preview window. Press ESC to close (or click here)


    ...