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.

José Meseguer
SearchCollections
Map detail
José Meseguer8 visible / 8 total nodes / 7 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJosé MeseguerAJosé MeseguerResearcherVerification of the IBOS Browser Security Properties in Reachability LogicWVerification of the IBO...preprint / 2020Dist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal AnalysisWDist-Orc: A Rewriting-b...preprint / 2010Using the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node FailuresWUsing the PALS Architec...preprint / 2010Specification and Verification of Distributed Embedded Systems: A Traffic Intersection Product FamilyWSpecification and Verif...preprint / 2010Distributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device ControlWDistributed Real-Time E...preprint / 2010PALS-Based Analysis of an Airplane Multirate Control System in Real-Time MaudeWPALS-Based Analysis of ...preprint / 2013Effective Sequential Protocol Composition in Maude-NPAWEffective Sequential Pr...preprint / 2016
Person7 links

José Meseguer

Researcher

PaperVerification of the IBOS Browser Security Properties in Reachability LogicAuthorship / preprint / 2020PaperDist-Orc: A Rewriting-based Distributed Implementation of Orc with Formal AnalysisAuthorship / preprint / 2010PaperUsing the PALS Architecture to Verify a Distributed Topology Control Protocol for Wireless Multi-Hop Networks in the Presence of Node FailuresAuthorship / preprint / 2010PaperSpecification and Verification of Distributed Embedded Systems: A Traffic Intersection Product FamilyAuthorship / preprint / 2010PaperDistributed Real-Time Emulation of Formally-Defined Patterns for Safe Medical Device ControlAuthorship / preprint / 2010PaperPALS-Based Analysis of an Airplane Multirate Control System in Real-Time MaudeAuthorship / preprint / 2013PaperEffective Sequential Protocol Composition in Maude-NPAAuthorship / 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)