Markus Roggenbach


Ontology type: schema:Person     


Person Info

NAME

Markus

SURNAME

Roggenbach

Publications in SciGraph latest 50 shown

  • 2022-03-29 An Institutional Approach to Communicating UML State Machines in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2021-10-25 An Initial Study of Machine Learning Underspecification Using Feature Attribution Explainable AI Algorithms: A COVID-19 Virus Transmission Case Study in PRICAI 2021: TRENDS IN ARTIFICIAL INTELLIGENCE
  • 2021-04-11 Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2021-03-11 Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper — in FORMAL METHODS – FUN FOR EVERYBODY
  • 2020-02 André Platzer: Logical foundations of cyber-physical systems in FORMAL ASPECTS OF COMPUTING
  • 2020 On the Construction of Engineering Handbooks, with an Illustration from the Railway Safety Domain in NONE
  • 2019-06-26 An Algebraic Theory for Data Linkage in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2018-06-16 Software Model Checking for Mobile Security – Collusion Detection in K in MODEL CHECKING SOFTWARE
  • 2017-08-02 Detecting Malicious Collusion Between Mobile Software Applications: The AndroidTM Case in DATA ANALYTICS AND DECISION SUPPORT FOR CYBERSECURITY
  • 2016-10-05 OnTrack: The Railway Verification Toolset in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS
  • 2016-09-13 Utilising Semantics for Collusion Detection in Android Applications in CRITICAL SYSTEMS: FORMAL METHODS AND AUTOMATED VERIFICATION
  • 2016-06-15 Comparing Formal Verification Approaches of Interlocking Systems in RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS. MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION
  • 2016-01-30 Towards Safety Analysis of ERTMS/ETCS Level 2 in Real-Time Maude in FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS
  • 2015 An Institution for Simple UML State Machines in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING
  • 2015 Towards an Institutional Framework for Heterogeneous Formal Development in UML in SOFTWARE, SERVICES, AND SYSTEMS
  • 2014-03-15 Techniques for modelling and verifying railway interlockings in INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
  • 2014-03-08 Verification of Solid State Interlocking Programs in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2014-03-08 Verification of Scheme Plans Using CSP||B in SOFTWARE ENGINEERING AND FORMAL METHODS
  • 2014-03 Encapsulating Formal Methods within Domain Specific Languages: A Solution for Verifying Railway Scheme Plans in MATHEMATICS IN COMPUTER SCIENCE
  • 2013 Using Domain Specific Languages to Support Verification in the Railway Domain in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2013 Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B in HARDWARE AND SOFTWARE: VERIFICATION AND TESTING
  • 2013 Designing Domain Specific Languages – A Craftsman’s Approach for the Railway Domain Using Casl in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2013 OnTrack: An Open Tooling Environment for Railway Verification in NASA FORMAL METHODS
  • 2012 Towards Bialgebraic Semantics for the Linear Time – Branching Time Spectrum in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2012 Compositional Modelling and Reasoning in an Institution for Processes and Data in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2012 Safety and Line Capacity in Railways – An Approach in Timed CSP in INTEGRATED FORMAL METHODS
  • 2009 Property Preserving Refinement for Csp-Casl in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2008-01-01 Proof Principles of CSP – CSP-Prover in Practice in DYNAMICS IN LOGISTICS
  • 2007-01-01 Structured CSP – A Process Algebra as an Institution in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2006 A Complete Axiomatic Semantics for the CSP Stable-Failures Model in CONCUR 2006 – CONCURRENCY THEORY
  • 2005 CCC – The Casl Consistency Checker in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2005 Towards a Formal Specification of an Electronic Payment System in CSP-CASL in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2005 A Generic Theorem Prover of CSP Refinement in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
  • 2003 Applications of Computer Algebra in COMPUTER ALGEBRA HANDBOOK
  • 2003 Algebraic-Coalgebraic Specification in CoCasl in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2003 MultiMedia Instruction in Safe and Secure Systems in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2002-11-29 Determinization of Büchi-Automata in AUTOMATA LOGICS, AND INFINITE GAMES
  • 2002-01-29 Towards Trustworthy Specification I: Consistency Checks in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 2000 Specifying Real Numbers in CASL in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES
  • 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": "http://www.grid.ac/institutes/grid.4827.9", 
              "type": "Organization"
            }, 
            "isCurrent": true, 
            "type": "OrganizationRole"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.5601.2", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.7704.4", 
            "type": "Organization"
          }, 
          {
            "id": "http://www.grid.ac/institutes/grid.8155.9", 
            "type": "Organization"
          }
        ], 
        "familyName": "Roggenbach", 
        "givenName": "Markus", 
        "id": "sg:person.014634147051.77", 
        "identifier": [
          {
            "name": "orcid_id", 
            "type": "PropertyValue", 
            "value": "0000-0002-3819-2787"
          }
        ], 
        "sameAs": [
          "https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77", 
          "https://orcid.org/0000-0002-3819-2787"
        ], 
        "sdDataset": "persons", 
        "sdDatePublished": "2022-06-01T22:52", 
        "sdLicense": "https://scigraph.springernature.com/explorer/license/", 
        "sdPublisher": {
          "name": "Springer Nature - SN SciGraph project", 
          "type": "Organization"
        }, 
        "sdSource": "s3://com-springernature-scigraph/baseset/20220601/entities/gbq_results/person/person_772.jsonl", 
        "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.014634147051.77'

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

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

    Turtle is a human-readable linked data format.

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

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

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


     

    This table displays all metadata directly associated to this object as RDF triples.

    27 TRIPLES      11 PREDICATES      16 URIs      8 LITERALS      3 BLANK NODES

    Subject Predicate Object
    1 sg:person.014634147051.77 schema:affiliation N28b7e79a5dd044ae847c26367c1a590f
    2 grid-institutes:grid.5601.2
    3 grid-institutes:grid.7704.4
    4 grid-institutes:grid.8155.9
    5 schema:familyName Roggenbach
    6 schema:givenName Markus
    7 schema:identifier Nfcc3fa40a979463bbdc4f76e2dc2d963
    8 schema:sameAs https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.014634147051.77
    9 https://orcid.org/0000-0002-3819-2787
    10 schema:sdDatePublished 2022-06-01T22:52
    11 schema:sdLicense https://scigraph.springernature.com/explorer/license/
    12 schema:sdPublisher N3975f53253bd4601b5d06119d6db720e
    13 sgo:license sg:explorer/license/
    14 sgo:sdDataset persons
    15 rdf:type schema:Person
    16 N28b7e79a5dd044ae847c26367c1a590f schema:affiliation grid-institutes:grid.4827.9
    17 sgo:isCurrent true
    18 rdf:type schema:OrganizationRole
    19 N3975f53253bd4601b5d06119d6db720e schema:name Springer Nature - SN SciGraph project
    20 rdf:type schema:Organization
    21 Nfcc3fa40a979463bbdc4f76e2dc2d963 schema:name orcid_id
    22 schema:value 0000-0002-3819-2787
    23 rdf:type schema:PropertyValue
    24 grid-institutes:grid.4827.9 schema:Organization
    25 grid-institutes:grid.5601.2 schema:Organization
    26 grid-institutes:grid.7704.4 schema:Organization
    27 grid-institutes:grid.8155.9 schema:Organization
     




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


    ...