Category:Publication

E

• Publications:EDF-based Protocol for a Fiber Optic Network with Passive Star and Separate Control Channel
• Publications:Efficient many-to-many communication using an intelligent Ethernet switch
• Publications:Efficient many-to-many real-time communication using an intelligent Ethernet switch
• Publications:Efficient Request Mechanism Usage in IEEE 802.16
• Publications:Efficient Support for High Traffic-Volumes of Short-Message Real-Time Communication Using an Active Ethernet Switch
• Publications:Embedded Signal Processing Using Free-Space Optical Hypercube Interconnects
• Publications:Enabling Greener DSL Access Networks by their Stabilization with Artificial Noise and SNR Margin
• Publications:Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point
• Publications:Energy Efficient Analog Front Ends For Access Networks Through Digital Signal Processing -- A Contribution To Green ICT
• Publications:Energy Efficient Power Back-Off Management for VDSL2 Transmission
• Publications:Energy- Efficient DSL using Vectoring
• Publications:Energy-Efficient Synthetic-Aperture Radar Processing on a Manycore Architecture
• Publications:Energy-saving by Low-Power Modes in ADSL2
• Publications:Enhanced pheromone-based mechanism to coordinate UAVs and WSN nodes on the ground
• Publications:Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents
• Publications:Enhancing reliability in IEEE 802.11 based real-time networks through transport layer retransmissions
• Publications:Environment Classifiers
• Publications:Esterel and the Semantics of Causality
• Publications:Estimating pressure peak position and air-fuel ratio using the ionization current and artificial neural networks
• Publications:Estimation of a successful beacon reception probability in vehicular ad-hoc networks
• Publications:Evaluating CALM M5-based vehicle-to-vehicle communication in various road settings through field trials
• Publications:Evaluating IEEE 802.15.4 for Cyber-Physical Systems
• Publications:Evaluation of coordination strategies for heterogeneous sensor networks aiming at surveillance applications
• Publications:Evaluation of RTSJ-Based Distributed Control System
• Publications:Evaluation of the IEEE 802.11p MAC method for vehicle-to-vehicle communication
• Publications:Event-Driven FRP
• Publications:Evolution in Architectures and Programming Methodologies of Coarse-Grained Reconfigurable Computing
• Publications:Evolution in architectures and programming methodologies of coarse-grained reconfigurable computing
• Publications:Experimental Analysis of a Wireless Sensor Network Setup Strategy Provided by an Agent-Oriented Middleware
• Publications:Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors
• Publications:Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
• Publications:Exploiting time and frequency diversity in IEEE 802.15.4 industrial networks for enhanced reliability and throughput
• Publications:Exploring geographic context awareness for data dissemination on mobile ad hoc networks
• Publications:Exploring the Design Space of Higher-Order Casts

F

• Publications:Fiber-optic interconnection networks for signal processing applications
• Publications:Fiber-Optic Interconnections in High-Performance Real-Time Computer Systems
• Publications:Fiber-ribbon pipeline ring network for high-performance distributed computing systems
• Publications:Fiber-ribbon ring network with services for parallel processing and distributed real-time systems
• Publications:Fibre-Optic AWG Networks Supporting Real-Time Communication in High-Performance Embedded Systems
• Publications:Fibre-ribbon pipeline ring network with distributed global deadline scheduling and deterministic user services
• Publications:Fibre-ribbon ring network with inherent support for earliest deadline first message scheduling
• Publications:Formal analysis of non-determinism in Verilog cell library simulation models
• Publications:Formal analysis of systemc designs in process algebra
• Publications:Formal modeling of evolving self-adaptive systems
• Publications:Formal specification and analysis of accelerated heartbeat protocols
• Publications:Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems
• Publications:Fundamental Approaches to Behavioral Modeling and Model-Based Testing of Software Product Lines

G

• Publications:Gait Unsteadiness Analysis from Motion Primitives
• Publications:Generating Heap-bounded Programs in a Functional Setting
• Publications:Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET
• Publications:Gilbert-Elliot Model Parameters Derivation for the IEEE 802.11 Wireless Channel
• Publications:Globally Parallel, Locally Sequential : A Preliminary Proposal for Acumen Objects
• Publications:Gradual Typing for Functional Languages
• Publications:Gradual typing for objects
• Publications:Guaranteed periodic real-time communication over wormhole switched networks
• Publications:Guaranteed real-time communication in packet-switched networks with FCFS queuing
• Publications:Guaranteed Real-Time Communication in Packet-Switched Networks with FCFS queuing : Analysis and Simulations
• Publications:Guaranteed real-time services in switched Ethernet networks with deadline scheduling in the end nodes
• Publications:Guaranteed real-time services over standard switched Ethernet
• Publications:Guest editorial : Special section on wireless technologies in factory and industrial automation -- part I
• Publications:Guest editorial : Special section on wireless technologies in factory and industrial automation -- part II
• Publications:Guest editorial for the special issue on "Next generation networks service management"

H

• Publications:Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors
• Publications:Handover in IEEE 802.11p-based delay-sensitive vehicle-to-infrastructure communication
• Publications:Hard decision packet combining methods for industrial wireless relay networks
• Publications:Heterogeneous real-time services in high-performance system area networks - application demands and case study definitions
• Publications:Heuristics for Discrete Power Control - A Case-Study in Multi-Carrier DSL Networks

H cont.

• Publications:High performance fiber-optic interconnection networks for real-time computing systems
• Publications:High-level programming of coarse-grained reconfigurable architectures
• Publications:High-performance fiber-optic communication networks for distributed computing systems
• Publications:How severe is the hidden terminal problem in VANETs when using CSMA and STDMA?
• Publications:How to add laziness to a strict language without even being odd
• Publications:Hybrid ARQ based on serially concatenated block codes using iterative detection for real-time communication
• Publications:Hybrid ARQ Using Serially Concatenated Block Codes for Real-Time Communication : An Iterative Decoding Approach

I

• Publications:ICUMT 2009 Conference in St. Petersburg, Russia
• Publications:ICUMT 2010 Congress in Moscow, Russia
• Publications:ICUMT 2011 Congress in Budapest, Hungary
• Publications:ICUMT 2012 Congress in St. Petersburg, Russia
• Publications:Idealized MetaML : Simpler, and More Expressive
• Publications:Imperialist Competition Algorithm for DSA in Cognitive Radio Networks
• Publications:Implementing Haptic Feedback Environments from High-level Descriptions
• Publications:Implementing Multi-stage Languages Using ASTs, Gensym, and Reflection
• Publications:Implicitly Heterogeneous Multi-Stage Programming
• Publications:Implicitly Heterogeneous Multi-stage Programming
• Publications:Implicitly Heterogeneous Multi-Stage Programming for FPGAs
• Publications:Impossibility results for the equational theory of timed CCS
• Publications:Improving Connectivity of Nodes in Mobile WSN
• Publications:Improving the scheduling analysis of hard real-time traffic by analyzing traffic dependencies
• Publications:In Pursuit of Real Answers
• Publications:Increased communication reliability for delay-sensitive platooning applications on top of IEEE 802.11p
• Publications:Increasing the probability of timely and correct message delivery in road side unit based vehicular communication
• Publications:Incremental redundancy deadline dependent coding for efficient wireless real-time communications
• Publications:Information and telecommunication intellectual monitoring technology and system for complex technical objects under dynamic conditions in real time
• Publications:Integrating a data description language with protocol stack development
• Publications:Integrating Model-Based and Constraint-Based Testing Using SpecExplorer
• Publications:Interference-Aware Clustering Algorithms for Mobile ad hoc Network : Ant Colony optimization-based Algorithm
• Publications:Internet of Things
• Publications:Interpreted Systems Semantics for Process Algebra with Identity Annotations
• Publications:Investigation of Personal Mobility Vehicle stability and maneuverability under various road scenarios
• Publications:ITST 2011 Conference in Saint-Petersburg, Russia

J

• Publications:Joint design of relay and packet combining schemes for wireless industrial networks

K

• Publications:Key Issues in Implementing an Optoelectronic Planar Free-space Architecture for Signal Processing Applications
• Publications:Knowledge Horizon - Dynamic limitations in a wireless ad hoc network

L

• Publications:Less pessimistic worst-case delay analysis for packet-switched networks
• Publications:Lifting non-finite axiomatizability results to extensions of process algebras
• Publications:Logical Modalities and Multi-Stage Programming
• Publications:Long-run order-independence of vector-based transition systems
• Publications:Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines

M

• Publications:MAC-level Forward Error Correction mechanism for minimum error recovery overhead and retransmission
• Publications:Machine Assisted Code Generation for Manycore Processors
• Publications:Macros as Multi-Stage Computations : Type-Safe, Generative, Binding Macros in MacroML
• Publications:Managing Dynamic Reconfiguration for Fault-tolerance on a Manycore Architecture
• Publications:Manycore performance analysis using timed configuration graphs
• Publications:Mapping Occam-pi programs to a Manycore Architecture
• Publications:Mathematical Equations as Executable Models of Mechanical Systems
• Publications:MC-EDF: A control-channel based wireless multichannel MAC protocol with real-time support
• Publications:Measuring and using the RSSI of IEEE 802.11p
• Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks
• Publications:Medium access control in vehicular networks based on the upcoming IEEE 802.11p standard
• Publications:Meeting Engineer Efficiency Requirements in Highly Parallel Signal Processing by Using Platforms
• Publications:Meeting reliability and real-time demands in wireless industrial communication
• Publications:Merging ant colony optimization based clustering and an imperialist competitive algorithm for spectrum management of a cognitive mobile ad hoc network
• Publications:MetaML and multi-stage programming with explicit annotations
• Publications:Method of optimizing bit rate capacities of DSL user lines
• Publications:Methodologies and tools for development of signal processing software on multicore platforms
• Publications:Middleware Support for Wireless Sensor Networks : a survey
• Publications:Middleware Support in Unmanned Aerial Vehicles and Wireless Sensor Networks for Surveillance Applications
• Publications:Minimum EDF-feasible deadline calculation with low-time complexity
• Publications:Mint : Java Multi-stage Programming Using Weak Separability
• Publications:ML-like Inference for Classifiers
• Publications:Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application
• Publications:Model checking Verilog descriptions of cell libraries
• Publications:Model-based estimation of driver intentions using particle filtering
• Publications:Modeling and Optimization of Line-Driver Power Consumption in xDSL Systems

M cont.

• Publications:Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks.
• Publications:Modeling Basic Aspects of Cyber-Physical Systems
• Publications:Modeling Basic Aspects of Cyber-Physical Systems, Part II
• Publications:Modeling Broadcasting in IEEE 802.11p/WAVE Vehicular Networks
• Publications:Modeling Event-Driven Safety Messages Delivery in IEEE 802.11p/WAVE Vehicular Networks
• Publications:Modeling Prioritized Broadcasting in Multichannel Vehicular Networks
• Publications:Modular interconnection system for optical PCB and backplane communication
• Publications:Modular Semantics for Transition System Specifications with Negative Premises
• Publications:Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks
• Publications:Multi-agents supporting reflection in a middleware for mission-driven heterogeneous sensor networks
• Publications:Multi-Stage Programming : Axiomatization and Type-Safety
• Publications:Multi-Stage Programming : Its Theory and Applications
• Publications:Multi-Stage Programming for High-Level Description of Circuit Families
• Publications:Multi-Stage Programming with Explicit Annotations
• Publications:Multi-Terrain Vehicle Active Suspension Control Modeling and Design
• Publications:Multiple Access Communications : 4th International Workshop, MACOM 2011, Trento, Italy, September 12-13, 2011. Proceedings
• Publications:Multiple Access Communications : 5th International Workshop, MACOM 2012, Maynooth, Ireland, November 19-20, 2012. Proceedings
• Publications:Multiple Access Communications : 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013, Proceedings
• Publications:Multiple Access Communications : Third International Workshop, MACOM 2010, Barcelona, Spain, September 13-14, 2010, Proceedings
• Publications:Multiple access communications in future-generation wireless networks

N

• Publications:Network component architectures from a real-time perspective
• Publications:Neuro-Fuzzy Models, BELRFS and LOLIMOT, for Prediction of Chaotic Time Series
• Publications:Nominal SOS
• Publications:Notions of bisimulation and congruence formats for SOS with data

O

• Publications:Occam-pi as a High-level Language for Coarse-Grained Reconfigurable Architectures
• Publications:Occam-pi for Programming of Massively Parallel Reconfigurable Architectures
• Publications:OFDM/OFDMA Subcarrier Allocation
• Publications:On inter-cluster communication in a time-deterministic WDM star network
• Publications:On relaying for wireless industrial communications : Is careful placement of relayers strictly necessary?
• Publications:On rule formats for zero and unit elements
• Publications:On the ability of the 802.11p MAC method and STDMA to support real-time vehicle-to-vehicle communications
• Publications:On the ability of the IEEE 802.11p and STDMA to provide predictable channel access
• Publications:On the Complexity of Input Output Conformance Testing
• Publications:On the delay lower bound for the emergency message dissemination in vehicular ad-hoc networks
• Publications:On the Investigation of Cloud-Based Mobile Media Environments With Service-Populating and QoS-Aware Mechanisms
• Publications:On the Performance of Beaconing in 802.11p/WAVE Vehicular Ad Hoc Networks
• Publications:On the performance of packet aggregation in IEEE 802.11ac MU-MIMO WLANs
• Publications:On the requirements on models and simulator design for integrated VANET Simulation
• Publications:On well-foundedness and expressiveness of promoted tyft : being promoted makes a difference
• Publications:Operational and epistemic approaches to protocol analysis : bridging the gap
• Publications:Operational and epistemic approaches to protocol analysis : Bridging the gap
• Publications:Opportunities for Optical Planar Interconnection Technology in Terabit Switches
• Publications:Optical interconnect architectures in signal processing systems and terabit communication equipment
• Publications:Optical Interconnection Technology in Switches, Routers and Optical Cross Connects
• Publications:Optical interconnection technology in switches, routers and optical cross connects
• Publications:Optical interconnections in parallel radar signal processing systems
• Publications:Optimal Incremental-redundancy strategy for type-II hybrid ARQ
• Publications:Optimal type-II concatenated hybrid ARQ using single parity check codes
• Publications:Optimization of the frame structure for the IEEE 802.16 in the error-prone channel
• Publications:Optoelectronic router with a reconfigurable shuffle network based on micro-optoelectromechanical systems
• Publications:Optoelectronic router with MOEMS--based reconfigurable shuffle network
• Publications:Order-independence of vector-based transition systems
• Publications:Ordinateur porté : dispositifs d'entrée sortie
• Publications:Orthogonal extensions in structural operational semantics
• Publications:Overall Delay in IEEE 802.16 with Contention-Based Random Access
• Publications:Overview of broadband wireless access technologies and stochastic models for their performance evaluation

P

• Publications:Packet combining and doping in concatenated hybrid ARQ schemes using iterative decoding
• Publications:Parabolic Synthesis
• Publications:Parabolic Synthesis Methodology
• Publications:Parabolic Synthesis Methodology Implemented on the Sine Function
• Publications:Parallelization of the Estimation Algorithm of the 3D Structure Tensor
• Publications:PARS : a process algebraic approach to resources and schedulers
• Publications:Performance analysis and enhancement of an ultra-wideband WPAN MAC in the presence of noise
• Publications:Performance analysis of a high-speed ultra-wideband WPAN MAC
• Publications:Performance Analysis of Contention Based Bandwidth Request Mechanisms in WiMAX Networks
• Publications:Performance Analysis of CSMA/CA Protocols with Multi-packet Transmission