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.

Houssam Abbas
SearchCollections
Map detail
Houssam Abbas11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipHoussam AbbasAHoussam AbbasResearcherConformance Testing as Falsification for Cyber-Physical SystemsWConformance Testing as ...preprint / 2014Linear Hybrid System Falsification With DescentWLinear Hybrid System Fa...preprint / 2011Towards composition of conformant systemsWTowards composition of ...preprint / 2015Model Checking Implantable Cardioverter DefibrillatorsWModel Checking Implanta...preprint / 2015Differentiable Inference of Temporal Logic FormulasWDifferentiable Inferenc...preprint / 2022Logical Signal Processing: a Fourier Analysis of Temporal LogicWLogical Signal Processi...preprint / 2020A Deontic Logic Analysis of Autonomous Systems' SafetyWA Deontic Logic Analysi...preprint / 2020FairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban AirspaceWFairFly: A Fair Motion ...preprint / 2020Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air MobilityWLearning-to-Fly: Learni...preprint / 2020Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance SchemeWLearning-'N-Flying: A L...preprint / 2021
Person10 links

Houssam Abbas

Researcher

PaperConformance Testing as Falsification for Cyber-Physical SystemsAuthorship / preprint / 2014PaperLinear Hybrid System Falsification With DescentAuthorship / preprint / 2011PaperTowards composition of conformant systemsAuthorship / preprint / 2015PaperModel Checking Implantable Cardioverter DefibrillatorsAuthorship / preprint / 2015PaperDifferentiable Inference of Temporal Logic FormulasAuthorship / preprint / 2022PaperLogical Signal Processing: a Fourier Analysis of Temporal LogicAuthorship / preprint / 2020PaperA Deontic Logic Analysis of Autonomous Systems' SafetyAuthorship / preprint / 2020PaperFairFly: A Fair Motion Planner for Fleets of Autonomous UAVs in Urban AirspaceAuthorship / preprint / 2020

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)