BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Harald Ruess
SearchCollections
Map detail
Harald Ruess13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHarald RuessAHarald RuessResearcherA Decision Method for Elementary Stream CalculusWA Decision Method for E...preprint / 2024A Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded SystemsWA Game-theoretic Approa...preprint / 2010Certification for mu-calculus with winning strategiesWCertification for mu-ca...preprint / 2014Security Engineering for ISO 21434WSecurity Engineering fo...preprint / 2021EFSMT: A Logical Framework for Cyber-Physical SystemsWEFSMT: A Logical Framew...preprint / 2013G4LTL-ST: Automatic Generation of PLC ProgramsWG4LTL-ST: Automatic Gen...preprint / 2014Timed Orchestration for Component-based SystemsWTimed Orchestration for...preprint / 2016Structural Synthesis for GXW SpecificationsWStructural Synthesis fo...preprint / 2016Distributed Priority Synthesis and its ApplicationsWDistributed Priority Sy...preprint / 2012Distributed Priority SynthesisWDistributed Priority Sy...preprint / 2012Security policies for distributed systemsWSecurity policies for d...preprint / 2013Algorithms for Synthesizing Priorities in Component-based SystemsWAlgorithms for Synthesi...preprint / 2011
Person12 links

Harald Ruess

Researcher

PaperA Decision Method for Elementary Stream CalculusAuthorship / preprint / 2024PaperA Game-theoretic Approach for Synthesizing Fault-Tolerant Embedded SystemsAuthorship / preprint / 2010PaperCertification for mu-calculus with winning strategiesAuthorship / preprint / 2014PaperSecurity Engineering for ISO 21434Authorship / preprint / 2021PaperEFSMT: A Logical Framework for Cyber-Physical SystemsAuthorship / preprint / 2013PaperG4LTL-ST: Automatic Generation of PLC ProgramsAuthorship / preprint / 2014PaperTimed Orchestration for Component-based SystemsAuthorship / preprint / 2016PaperStructural Synthesis for GXW SpecificationsAuthorship / preprint / 2016

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)