Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols

2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) ◽

10.1109/memcod.2007.371227 ◽

2007 ◽

Cited By ~ 1

Author(s):

Geoffrey M. Brown ◽

Lee Pike

Keyword(s):

Model Checking ◽

Physical Layer

Model Checking the FlexRay Physical Layer Protocol

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15898-8_9 ◽

2010 ◽

pp. 132-147 ◽

Cited By ~ 7

Author(s):

Michael Gerke ◽

Rüdiger Ehlers ◽

Bernd Finkbeiner ◽

Hans-Jörg Peter

Keyword(s):

Model Checking ◽

Physical Layer

Model-Checking of Infinite Graphs Defined by Graph Grammars

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)01231-4 ◽

2000 ◽

Vol 5 ◽

pp. 1 ◽

Cited By ~ 2

Author(s):

O BURKART ◽

Y QUEMENER

Keyword(s):

Model Checking ◽

Infinite Graphs ◽

Graph Grammars

Wireless Physical Layer Network Coding

10.1017/9781316156162 ◽

2018 ◽

Cited By ~ 3

Author(s):

Jan Sykora ◽

Alister Burr

Keyword(s):

Network Coding ◽

Physical Layer ◽

Physical Layer Network Coding

Physical-Layer Security

10.1017/cbo9780511977985 ◽

2009 ◽

Cited By ~ 604

Author(s):

Matthieu Bloch ◽

Joao Barros

Keyword(s):

Physical Layer Security ◽

Physical Layer

Using task analytic models and phenotypes of erroneous human behavior to discover system failures using model checking

PsycEXTRA Dataset ◽

10.1037/e578742012-006 ◽

2010 ◽

Author(s):

Matthew L. Bolton ◽

Ellen J. Bass

Keyword(s):

Model Checking ◽

Human Behavior ◽

System Failures ◽

Analytic Models

Physical Layer Security in Cognitive Radio Networks: Detection and Mitigation of Primary User Emulation Attacks

International Conference on Artificial Intelligence, Energy and Manufacturing Engineering (ICAEME'2015) Jan. 7-8, 2015 Dubai (UAE) ◽

10.15242/iie.e0115036 ◽

2015 ◽

Keyword(s):

Cognitive Radio ◽

Cognitive Radio Networks ◽

Physical Layer Security ◽

Primary User ◽

Physical Layer ◽

Radio Networks ◽

Primary User Emulation

Bit Error Rate Analysis of LTE Physical Layer with Different Channel Models

International Journal on Communications Antenna and Propagation (IRECAP) ◽

10.15866/irecap.v7i7.13355 ◽

2017 ◽

Vol 7 (7) ◽

pp. 641 ◽

Cited By ~ 2

Author(s):

V. Venkataramanan ◽

V. Kannan

Keyword(s):

Bit Error Rate ◽

Error Rate ◽

Physical Layer ◽

Channel Models ◽

Rate Analysis

100Gb/s Ethernet Inverse Multiplexing Based on Aggregation at the Physical Layer

IEICE Transactions on Communications ◽

10.1587/transcom.e94.b.904 ◽

2011 ◽

Vol E94-B (4) ◽

pp. 904-909 ◽

Cited By ~ 2

Author(s):

Kenji HISADOME ◽

Mitsuhiro TESHIMA ◽

Yoshiaki YAMADA ◽

Osamu ISHIDA

Keyword(s):

Physical Layer ◽

Inverse Multiplexing

A Chaos MIMO Transmission Scheme for Channel Coding and Physical-Layer Security

IEICE Transactions on Communications ◽

10.1587/transcom.e95.b.1384 ◽

2012 ◽

Vol E95-B (4) ◽

pp. 1384-1392 ◽

Cited By ~ 14

Author(s):

Eiji OKAMOTO

Keyword(s):

Channel Coding ◽

Physical Layer Security ◽

Physical Layer ◽

Transmission Scheme ◽

Mimo Transmission

Enhancing Physical Layer Security Performance in Downlink Cellular Networks through Cooperative Users

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e102.a.2008 ◽

2019 ◽

Vol E102.A (12) ◽

pp. 2008-2014

Author(s):

Shijie WANG ◽

Yuanyuan GAO ◽

Xiaochen LIU ◽

Guangna ZHANG ◽

Nan SHA ◽

...

Keyword(s):

Cellular Networks ◽

Physical Layer Security ◽

Physical Layer