Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "time ax"
download as .bib file
@article{DBLP:journals/sensors/MendozaArmentaBGCHRLR24,
author = {Axel A. Mendoza{-}Armenta and
Paula Blanco{-}T{\'{e}}llez and
Adaliz G. Garc{\'{\i}}a{-}Alc{\'{a}}ntar and
Ivet Ceballos{-}Gonz{\'{a}}lez and
Mar{\'{\i}}a A. Hern{\'{a}}ndez{-}Mustieles and
Ricardo A. Ram{\'{\i}}rez{-}Mendoza and
Jorge de{-}J. Lozoya{-}Santos and
Mauricio Adolfo Ram{\'{\i}}rez{-}Moreno},
title = {Implementation of a Real-Time Brain-to-Brain Synchrony Estimation
Algorithm for Neuroeducation Applications},
journal = {Sensors},
volume = {24},
number = {6},
pages = {1776},
year = {2024}
}
@article{DBLP:journals/agis/ZhangWZZ23,
author = {Jinqu Zhang and
Donglin Wu and
A{-}Xing Zhu and
Yunqiang Zhu},
title = {Modelling urban expansion with cellular automata supported by urban
growth intensity over time},
journal = {Ann. {GIS}},
volume = {29},
number = {3},
pages = {337--353},
year = {2023}
}
@article{DBLP:journals/automatica/ZhangR23,
author = {Han Zhang and
Axel Ringh},
title = {Inverse linear-quadratic discrete-time finite-horizon optimal control
for indistinguishable homogeneous agents: {A} convex optimization
approach},
journal = {Autom.},
volume = {148},
pages = {110758},
year = {2023}
}
@article{DBLP:journals/data/RadouxBCVDD23,
author = {Julien Radoux and
Axel Bourdouxhe and
Thomas Copp{\'{e}}e and
Mathilde De Vroey and
Marc Dufr{\^{e}}ne and
Pierre Defourny},
title = {A Consistent Land Cover Map Time Series at 2 m Spatial Resolution
- The LifeWatch 2006-2015-2018-2019 Dataset for Wallonia},
journal = {Data},
volume = {8},
number = {1},
pages = {13},
year = {2023}
}
@article{DBLP:journals/di/NordvikA23,
author = {Rune Nordvik and
Stefan Axelsson},
title = {Corrigendum to "It is about time-do exFAT implementations handle timestamps
correctly?" [Forensic Science International: Digital Investigation
42-43 {(2022)} 301476]},
journal = {Forensic Sci. Int. Digit. Investig.},
volume = {45},
pages = {301542},
year = {2023}
}
@article{DBLP:journals/eor/ParmentierT23,
author = {Axel Parmentier and
Vincent T'kindt},
title = {Structured learning based heuristics to solve the single machine scheduling
problem with release times and sum of completion times},
journal = {Eur. J. Oper. Res.},
volume = {305},
number = {3},
pages = {1032--1041},
year = {2023}
}
@article{DBLP:journals/iotj/RomanovGATS23,
author = {Alexey M. Romanov and
Francesco Gringoli and
Kamil Alkhouri and
Pavel E. Tripolskiy and
Axel Sikora},
title = {Enabling Time-Synchronized Hybrid Networks With Low-Cost IoT Modules},
journal = {{IEEE} Internet Things J.},
volume = {10},
number = {11},
pages = {9966--9978},
year = {2023}
}
@article{DBLP:journals/rts/AlconBMAC23,
author = {Miguel Alcon and
Axel Brando and
Enrico Mezzetti and
Jaume Abella and
Francisco J. Cazorla},
title = {Main sources of variability and non-determinism in {AD} software:
taxonomy and prospects to handle them},
journal = {Real Time Syst.},
volume = {59},
number = {3},
pages = {438--478},
year = {2023}
}
@inproceedings{DBLP:conf/IEEEares/CharpentierNBCY23,
author = {Axel Charpentier and
Christopher Neal and
Nora Boulahia{-}Cuppens and
Fr{\'{e}}d{\'{e}}ric Cuppens and
Reda Yaich},
title = {Real-Time Defensive Strategy Selection via Deep Reinforcement Learning},
booktitle = {{ARES}},
pages = {15:1--15:11},
publisher = {{ACM}},
year = {2023}
}
@inproceedings{DBLP:conf/cvpr/SchniderWGLABSP23,
author = {Yannick Schnider and
Stanislaw Wozniak and
Mathias Gehrig and
Jules Lecomte and
Axel von Arnim and
Luca Benini and
Davide Scaramuzza and
Angeliki Pantazi},
title = {Neuromorphic Optical Flow and Real-time Implementation with Event
Cameras},
booktitle = {{CVPR} Workshops},
pages = {4129--4138},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/etfa/ShubbarWGS23,
author = {Adian Shubbar and
Andreas Walz and
Julian G{\"{o}}ppert and
Axel Sikora},
title = {A NETCONF-Based Solution for Credential Management in Time-Sensitive
Networks},
booktitle = {{ETFA}},
pages = {1--8},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/icassp/LeiberMBB23,
author = {Maxime Leiber and
Yosra Marnissi and
Axel Barrau and
Mohamed El Badaoui},
title = {Differentiable Adaptive Short-Time Fourier Transform with Respect
to the Window Length},
booktitle = {{ICASSP}},
pages = {1--5},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/iecon/ModiJM23,
author = {Akash Modi and
Nikita Joshi and
Axaykumar J. Mehta},
title = {Formation of Quadcopter Swarm Using Distributed Exponential Discrete-Time
Sliding Mode Protocol},
booktitle = {{IECON}},
pages = {1--8},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/indin/NaikWOFLSS23,
author = {Kedar Naik and
Dominik Welte and
Stefan Oechsle and
Florian Frick and
Armin Lechler and
Manuel Schappacher and
Axel Sikora},
title = {Methodology and Implementation for Monitoring Precise Time Synchronisation
in {TSN}},
booktitle = {{INDIN}},
pages = {1--6},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/isbi/VilaBCGDCR23,
author = {G. Vila and
Axel Bonnet and
F. Chauveau and
S. Gaillard and
F. Durand{-}Dubief and
Sorina Camarasu{-}Pop and
H. Ratiney},
title = {Computational Reproducibility in Metabolite Quantification Applied
to Short Echo Time In Vivo {MR} Spectroscopy},
booktitle = {{ISBI}},
pages = {1--5},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/mocast/Axiotis23,
author = {Konstantinos Axiotis},
title = {Data Preparation And Optimization For Real Time Track Reconstruction
On The {ATLAS} {HTT} {PRM} Board},
booktitle = {{MOCAST}},
pages = {1--4},
publisher = {{IEEE}},
year = {2023}
}
@inproceedings{DBLP:conf/ssp/LeiberMBB23,
author = {Maxime Leiber and
Yosra Marnissi and
Axel Barrau and
Mohamed El Badaoui},
title = {Differentiable short-time Fourier transform with respect to the hop
length},
booktitle = {{SSP}},
pages = {230--234},
publisher = {{IEEE}},
year = {2023}
}
@article{DBLP:journals/corr/abs-2302-04529,
author = {Martijn A. Goorden and
Kim G. Larsen and
Axel Legay and
Florian Lorber and
Ulrik Nyman and
Andrzej Wasowski},
title = {Timed {I/O} Automata: It is never too late to complete your timed
specification theory},
journal = {CoRR},
volume = {abs/2302.04529},
year = {2023}
}
@article{DBLP:journals/corr/abs-2304-00789,
author = {L{\'{e}}o Baty and
Kai Jungel and
Patrick S. Klein and
Axel Parmentier and
Maximilian Schiffer},
title = {Combinatorial Optimization enriched Machine Learning to solve the
Dynamic Vehicle Routing Problem with Time Windows},
journal = {CoRR},
volume = {abs/2304.00789},
year = {2023}
}
@article{DBLP:journals/corr/abs-2304-07139,
author = {Yannick Schnider and
Stanislaw Wozniak and
Mathias Gehrig and
Jules Lecomte and
Axel von Arnim and
Luca Benini and
Davide Scaramuzza and
Angeliki Pantazi},
title = {Neuromorphic Optical Flow and Real-time Implementation with Event
Cameras},
journal = {CoRR},
volume = {abs/2304.07139},
year = {2023}
}
@article{DBLP:journals/corr/abs-2304-11576,
author = {Daniel Arnstr{\"{o}}m and
David Broman and
Daniel Axehill},
title = {Exact Worst-Case Execution-Time Analysis for Implicit Model Predictive
Control},
journal = {CoRR},
volume = {abs/2304.11576},
year = {2023}
}
@article{DBLP:journals/corr/abs-2308-02418,
author = {Maxime Leiber and
Yosra Marnissi and
Axel Barrau and
Mohamed El Badaoui},
title = {Differentiable adaptive short-time Fourier transform with respect
to the window length},
journal = {CoRR},
volume = {abs/2308.02418},
year = {2023}
}
@article{DBLP:journals/corr/abs-2308-02421,
author = {Maxime Leiber and
Yosra Marnissi and
Axel Barrau and
Mohamed El Badaoui},
title = {Differentiable short-time Fourier transform with respect to the hop
length},
journal = {CoRR},
volume = {abs/2308.02421},
year = {2023}
}
@article{DBLP:journals/access/LundstromOQJ22,
author = {Adam Lundstr{\"{o}}m and
Mattias O'Nils and
Faisal Z. Qureshi and
Axel Jantsch},
title = {Improving Deep Learning Based Anomaly Detection on Multivariate Time
Series Through Separated Anomaly Scoring},
journal = {{IEEE} Access},
volume = {10},
pages = {108194--108204},
year = {2022}
}
@article{DBLP:journals/bigdatasociety/IsfeldtEBP22,
author = {Annika Solveig Hedegaard Isfeldt and
Thyge Enggaard and
Anders Blok and
Morten Axel Pedersen},
title = {\emph{Gr{\o}n Genstart}: {A} quali-quantitative micro-history of a
political idea in real-time},
journal = {Big Data Soc.},
volume = {9},
number = {1},
pages = {205395172110703},
year = {2022}
}
@article{DBLP:journals/ejwcn/NarteyTGYNWS22,
author = {Clement Nartey and
Eric Tutu Tchao and
James Dzisi Gadze and
Bright Yeboah{-}Akowuah and
Henry Nunoo{-}Mensah and
Dominik Welte and
Axel Sikora},
title = {Blockchain-IoT peer device storage optimization using an advanced
time-variant multi-objective particle swarm optimization algorithm},
journal = {{EURASIP} J. Wirel. Commun. Netw.},
volume = {2022},
number = {1},
pages = {1--27},
year = {2022}
}
@article{DBLP:journals/ese/BasileBLCL22,
author = {Davide Basile and
Maurice H. ter Beek and
Sami Lazreg and
Maxime Cordy and
Axel Legay},
title = {Static detection of equivalent mutants in real-time model-based mutation
testing},
journal = {Empir. Softw. Eng.},
volume = {27},
number = {7},
pages = {160},
year = {2022}
}
@article{DBLP:journals/ijpr/GahmWT22,
author = {Christian Gahm and
Stefan Wahl and
Axel Tuma},
title = {Scheduling parallel serial-batch processing machines with incompatible
job families, sequence-dependent setup times and arbitrary sizes},
journal = {Int. J. Prod. Res.},
volume = {60},
number = {17},
pages = {5131--5154},
year = {2022}
}
@article{DBLP:journals/ipol/RoquesZ22,
author = {Axel Roques and
Anne Zhao},
title = {Association Rules Discovery of Deviant Events in Multivariate Time
Series: An Analysis and Implementation of the {SAX-ARM} Algorithm},
journal = {Image Process. Line},
volume = {12},
pages = {604--624},
year = {2022}
}
@article{DBLP:journals/jimaging/LangkemperMBRSN22,
author = {Ralph Langkemper and
Stefan Moser and
Markus B{\"{u}}ttner and
Dominik Rakus and
Axel S{\"{a}}ttler and
Siegfried Nau},
title = {A Priori Information Based Time-Resolved 3D Analysis of the Trajectory
and Spatial Orientation of Fast-Moving Objects Using High-Speed Flash
X-ray Imaging},
journal = {J. Imaging},
volume = {8},
number = {2},
pages = {28},
year = {2022}
}
@article{DBLP:journals/lmcs/BrihayeGHLM22,
author = {Thomas Brihaye and
Gilles Geeraerts and
Axel Haddad and
Engel Lefaucheux and
Benjamin Monmege},
title = {One-Clock Priced Timed Games with Negative Weights},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {3},
year = {2022}
}
@article{DBLP:journals/mmas/LjungMM22,
author = {Per Ljung and
Roland Maier and
Axel M{\aa}lqvist},
title = {A Space-Time Multiscale Method for Parabolic Problems},
journal = {Multiscale Model. Simul.},
volume = {20},
number = {1},
pages = {714--740},
year = {2022}
}
@article{DBLP:journals/sensors/Fornasier-Santos22,
author = {Charly Fornasier{-}Santos and
Axelle Arnould and
J{\'{e}}r{\'{e}}my Jusseaume and
Benjamin Millot and
Ga{\"{e}}l Guilhem and
Antoine Couturier and
Pierre Samozino and
Jean Slawinski and
Jean{-}Beno{\^{\i}}t Morin},
title = {Sprint Acceleration Mechanical Outputs Derived from Position- or Velocity-Time
Data: {A} Multi-System Comparison Study},
journal = {Sensors},
volume = {22},
number = {22},
pages = {8610},
year = {2022}
}
@article{DBLP:journals/sensors/XiC22,
author = {Axing Xi and
Yuanli Cai},
title = {A Nonlinear Finite-Time Robust Differential Game Guidance Law},
journal = {Sensors},
volume = {22},
number = {17},
pages = {6650},
year = {2022}
}
@article{DBLP:journals/simods/BohmSCB22,
author = {Axel B{\"{o}}hm and
Michael Sedlmayer and
Ern{\"{o}} Robert Csetnek and
Radu Ioan Bot},
title = {Two Steps at a Time - Taking {GAN} Training in Stride with Tseng's
Method},
journal = {{SIAM} J. Math. Data Sci.},
volume = {4},
number = {2},
pages = {750--771},
year = {2022}
}
@article{DBLP:journals/symmetry/YeWSZ22,
author = {Renyu Ye and
Chen Wang and
Axiu Shu and
Hai Zhang},
title = {Quasi-Synchronization and Quasi-Uniform Synchronization of Caputo
Fractional Variable-Parameter Neural Networks with Probabilistic Time-Varying
Delays},
journal = {Symmetry},
volume = {14},
number = {5},
pages = {1035},
year = {2022}
}
@article{DBLP:journals/tac/RinghKL22,
author = {Axel Ringh and
Johan Karlsson and
Anders Lindquist},
title = {An Analytic Interpolation Approach to Stability Margins With Emphasis
on Time Delay},
journal = {{IEEE} Trans. Autom. Control.},
volume = {67},
number = {1},
pages = {105--120},
year = {2022}
}
@inproceedings{DBLP:conf/aiiot/LiriLGAD22,
author = {Francis Liri and
Austin Luu and
Kiran George and
Axel Angulo and
Johnathan Dittloff},
title = {Real-Time Dynamic Object Grasping with a Robotic Arm: {A} Design for
Visually Impaired Persons},
booktitle = {AIIoT},
pages = {344--350},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/eusipco/LeiberBMA22,
author = {Maxime Leiber and
Axel Barrau and
Yosra Marnissi and
Dany Abboud},
title = {A differentiable short-time Fourier transform with respect to the
window length},
booktitle = {{EUSIPCO}},
pages = {1392--1396},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/hci/MertensRTSBKBWZ22,
author = {Alexander Mertens and
Peter Rasche and
Sabine Theis and
Tobias Seinsch and
Maximilian Boddin and
Rebecca K{\"{u}}pper and
Christina Br{\"{o}}hl and
Matthias Wille and
Axel Zweck and
Christopher Brandl and
Verena Nitsch and
Katharina Sch{\"{a}}fer},
title = {Health Technology Use in Germany Among Older Adults (Part {I):} Short
Time Changes in Information and Communication Technology},
booktitle = {{HCI} {(19)}},
series = {Lecture Notes in Computer Science},
volume = {13320},
pages = {112--128},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/hci/SchaferRTSBKBWZ22,
author = {Katharina Sch{\"{a}}fer and
Peter Rasche and
Sabine Theis and
Tobias Seinsch and
Maximilian Boddin and
Rebecca K{\"{u}}pper and
Christina Br{\"{o}}hl and
Matthias Wille and
Axel Zweck and
Christopher Brandl and
Verena Nitsch and
Alexander Mertens},
title = {Health Technology Use in Germany Among Older Adults (Part {II):} Short
Time Changes in Health-Related Information and mHealth Applications},
booktitle = {{HCI} {(19)}},
series = {Lecture Notes in Computer Science},
volume = {13320},
pages = {129--147},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/newcas/El-ArabyJ22,
author = {Nahla A. El{-}Araby and
Axel Jantsch},
title = {Reliable Power Efficient Systems through Run-time Reconfiguration},
booktitle = {{NEWCAS}},
pages = {347--351},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/rws/WranaLJSTK22,
author = {Dominik Wrana and
Yigal Leiba and
Laurenz John and
Benjamin Schoch and
Axel Tessmann and
Ingmar Kallfass},
title = {Short-Range Full-Duplex Real-Time Wireless Terahertz Link for IEEE802.15.3d
Applications},
booktitle = {{RWS}},
pages = {94--97},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/semweb/BigerlCBSN22,
author = {Alexander Bigerl and
Lixi Conrads and
Charlotte Behning and
Muhammad Saleem and
Axel{-}Cyrille Ngonga Ngomo},
title = {Hashing the Hypertrie: Space- and Time-Efficient Indexing for {SPARQL}
in Tensors},
booktitle = {{ISWC}},
series = {Lecture Notes in Computer Science},
volume = {13489},
pages = {57--73},
publisher = {Springer},
year = {2022}
}
@inproceedings{DBLP:conf/vlsi/El-ArabyFFJ22,
author = {Nahla A. El{-}Araby and
David Frismuth and
Nilson Neves Filho and
Axel Jantsch},
title = {Run Time Power and Accuracy Management with Approximate Circuits},
booktitle = {VLSI-SoC},
pages = {1--6},
publisher = {{IEEE}},
year = {2022}
}
@inproceedings{DBLP:conf/wfcs/Nouruzi-PurLNVK22,
author = {Jan Nouruzi{-}Pur and
Jens Lambrecht and
The Duy Nguyen and
Axel Vick and
J{\"{o}}rg Kr{\"{u}}ger},
title = {Redundancy Concepts for Real-Time Cloud- and Edge-based Control of
Autonomous Mobile Robots},
booktitle = {{WFCS}},
pages = {1--8},
publisher = {{IEEE}},
year = {2022}
}
@article{DBLP:journals/corr/abs-2204-13013,
author = {Han Zhang and
Axel Ringh and
Weihan Jiang and
Shaoyuan Li and
Xiaoming Hu},
title = {Statistically Consistent Inverse Optimal Control for Linear-Quadratic
Tracking with Random Time Horizon},
journal = {CoRR},
volume = {abs/2204.13013},
year = {2022}
}
@article{DBLP:journals/corr/abs-2206-08258,
author = {Axel Wassington and
Sergi Abadal},
title = {ProGNNosis: {A} Data-driven Model to Predict {GNN} Computation Time
Using Graph Metrics},
journal = {CoRR},
volume = {abs/2206.08258},
year = {2022}
}
@article{DBLP:journals/corr/abs-2206-11376,
author = {Axel Lefrant and
Jean{-}Marc Montanier},
title = {Real-Time Online Skeleton Extraction and Gesture Recognition on Pepper},
journal = {CoRR},
volume = {abs/2206.11376},
year = {2022}
}
@article{DBLP:journals/corr/abs-2208-10886,
author = {Maxime Leiber and
Axel Barrau and
Yosra Marnissi and
Dany Abboud},
title = {A differentiable short-time Fourier transform with respect to the
window length},
journal = {CoRR},
volume = {abs/2208.10886},
year = {2022}
}
@article{DBLP:journals/corr/abs-2212-08426,
author = {Han Zhang and
Axel Ringh},
title = {Statistically consistent inverse optimal control for discrete-time
indefinite linear-quadratic systems},
journal = {CoRR},
volume = {abs/2212.08426},
year = {2022}
}
@book{DBLP:books/sp/PatelM21,
author = {Keyurkumar Patel and
Axaykumar J. Mehta},
title = {Discrete-Time Sliding Mode Protocols for Discrete Multi-Agent System},
volume = {303},
publisher = {Springer},
year = {2021}
}
@article{DBLP:journals/access/WessIUNWJ21,
author = {Matthias Wess and
Matvey Ivanov and
Christoph Unger and
Anvesh Nookala and
Alexander Wendt and
Axel Jantsch},
title = {{ANNETTE:} Accurate Neural Network Execution Time Estimation With
Stacked Models},
journal = {{IEEE} Access},
volume = {9},
pages = {3545--3556},
year = {2021}
}
@article{DBLP:journals/di/PorterNTA21,
author = {Kyle Porter and
Rune Nordvik and
Fergus Toolan and
Stefan Axelsson},
title = {Timestamp prefix carving for filesystem metadata extraction},
journal = {Digit. Investig.},
volume = {38},
pages = {301266},
year = {2021}
}
@article{DBLP:journals/ejasp/AspeelLJM21,
author = {Antoine Aspeel and
Axel Legay and
Rapha{\"{e}}l M. Jungers and
Beno{\^{\i}}t Macq},
title = {Optimal measurement budget allocation for Kalman prediction over a
finite time horizon by genetic algorithms},
journal = {{EURASIP} J. Adv. Signal Process.},
volume = {2021},
number = {1},
pages = {39},
year = {2021}
}
@article{DBLP:journals/jrtip/DavyE21,
author = {Axel Davy and
Thibaud Ehret},
title = {{GPU} acceleration of NL-means, {BM3D} and {VBM3D}},
journal = {J. Real Time Image Process.},
volume = {18},
number = {1},
pages = {57--74},
year = {2021}
}
@article{DBLP:journals/rcim/DiezDAK21,
author = {Jorge Barrientos D{\'{\i}}ez and
Xin Dong and
Dragos Axinte and
James Kell},
title = {Real-Time Kinematics of Continuum Robots: Modelling and Validation},
journal = {Robotics Comput. Integr. Manuf.},
volume = {67},
pages = {102019},
year = {2021}
}
@article{DBLP:journals/siamma/ChicaudCM21,
author = {Damien Chicaud and
Patrick Ciarlet Jr. and
Axel Modave},
title = {Analysis of Variational Formulations and Low-regularity Solutions
for Time-harmonic Electromagnetic Problems in Complex Anisotropic
Media},
journal = {{SIAM} J. Math. Anal.},
volume = {53},
number = {3},
pages = {2691--2717},
year = {2021}
}
@article{DBLP:journals/staeors/SauvageatAKHGNM21,
author = {Eric Sauvageat and
Roland Albers and
Mikko Kotiranta and
Klemens Hocke and
R. Michael Gomez and
Gerald E. Nedoluha and
Axel Murk},
title = {Comparison of Three High Resolution Real-Time Spectrometers for Microwave
Ozone Profiling Instruments},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {14},
pages = {10045--10056},
year = {2021}
}
@article{DBLP:journals/tgis/ForschDNORH21a,
author = {Axel Forsch and
Youness Dehbi and
Benjamin Niedermann and
Johannes Oehrlein and
Peter Rottmann and
Jan{-}Henrik Haunert},
title = {Multimodal travel-time maps with formally correct and schematic isochrones},
journal = {Trans. {GIS}},
volume = {25},
number = {6},
pages = {3233--3256},
year = {2021}
}
@article{DBLP:journals/tinstmc/PatelM21,
author = {Keyurkumar Patel and
Axaykumar J. Mehta},
title = {Fixed time steps discrete-time sliding mode consensus protocols for
two degree of freedom helicopter systems},
journal = {Trans. Inst. Meas. Control},
volume = {43},
number = {15},
year = {2021}
}
@article{DBLP:journals/tits/BenarbiaAF21,
author = {Taha Benarbia and
Kay W. Axhausen and
Bilal Farooq},
title = {Modeling, Relocation, and Real-Time Inventory Control of One-Way Electric
Cars Sharing Systems in a Stochastic Petri Nets Framework},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {22},
number = {5},
pages = {2846--2861},
year = {2021}
}
@inproceedings{DBLP:conf/dsrt/TschokeLB0WVC21,
author = {Simon Tsch{\"{o}}ke and
Frederic Lynker and
Hauke Buhr and
Florian Schreiner and
Alexander Willner and
Axel Vick and
Moritz Chemnitz},
title = {Time-Sensitive Networking over Metropolitan Area Networks for Remote
Industrial Control},
booktitle = {{DS-RT}},
pages = {1--4},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/etfa/SkuballaWBS21,
author = {Matthias Skuballa and
Andreas Walz and
Heiko B{\"{u}}hler and
Axel Sikora},
title = {Cryptographic Protection of Cyclic Real-Time Communication in Ethernet-Based
Fieldbuses: How Much Hardware is Required?},
booktitle = {{ETFA}},
pages = {1--7},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/hicss/FuchsFGW21,
author = {Anna Fuchs and
Kevin Fuchs and
Fabian Gwinner and
Axel Winkelmann},
title = {A Meta-Model for Real-Time Fraud Detection in {ERP} Systems},
booktitle = {{HICSS}},
pages = {1--10},
publisher = {ScholarSpace},
year = {2021}
}
@inproceedings{DBLP:conf/idaacs/BuhlerZZWS21,
author = {Heiko B{\"{u}}hler and
Andrzej Zbrzezny and
Agnieszka M. Zbrzezny and
Andreas Walz and
Axel Sikora},
title = {Towards a Formal Verification of Seamless Cryptographic Rekeying in
Real-Time Communication Systems},
booktitle = {{IDAACS}},
pages = {343--347},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/itasec/NardinMPF21,
author = {Axel De Nardin and
Marino Miculan and
Claudio Piciarelli and
Gian Luca Foresti},
title = {A Time-series Classification Approach to Shallow Web Traffic De-anonymization},
booktitle = {{ITASEC}},
series = {{CEUR} Workshop Proceedings},
volume = {2940},
pages = {156--165},
publisher = {CEUR-WS.org},
year = {2021}
}
@inproceedings{DBLP:conf/lssc/AxelssonLN21,
author = {Owe Axelsson and
Dalibor Luk{\'{a}}s and
Maya G. Neytcheva},
title = {An Exact Schur Complement Method for Time-Harmonic Optimal Control
Problems},
booktitle = {{LSSC}},
series = {Lecture Notes in Computer Science},
volume = {13127},
pages = {91--100},
publisher = {Springer},
year = {2021}
}
@inproceedings{DBLP:conf/smartiot/HuFSW21,
author = {Qianru Hu and
Xiumei Fan and
Axida Shan and
Zicheng Wang},
title = {Sybil Attack Detection Method based on Timestamp-Chain in Internet
of Vehicles},
booktitle = {SmartIoT},
pages = {174--178},
publisher = {{IEEE}},
year = {2021}
}
@inproceedings{DBLP:conf/wfcs/BuhlerWS21,
author = {Heiko B{\"{u}}hler and
Andreas Walz and
Axel Sikora},
title = {A Mechanism for Seamless Cryptographic Rekeying in Real-Time Communication
Systems},
booktitle = {{WFCS}},
pages = {53--58},
publisher = {{IEEE}},
year = {2021}
}
@article{DBLP:journals/corr/abs-2101-01082,
author = {Axel Parmentier and
Vincent T'kindt},
title = {Learning to solve the single machine scheduling problem with release
times and sum of completion times},
journal = {CoRR},
volume = {abs/2101.01082},
year = {2021}
}
@article{DBLP:journals/corr/abs-2105-03176,
author = {Matthias Wess and
Matvey Ivanov and
Anvesh Nookala and
Christoph Unger and
Alexander Wendt and
Axel Jantsch},
title = {{ANNETTE:} Accurate Neural Network Execution Time Estimation with
Stacked Models},
journal = {CoRR},
volume = {abs/2105.03176},
year = {2021}
}
@article{DBLP:journals/corr/abs-2109-01040,
author = {Han Zhang and
Axel Ringh},
title = {Inverse Linear-Quadratic Discrete-Time Finite-Horizon Optimal Control
for Indistinguishable Agents: {A} Convex Optimization Approach},
journal = {CoRR},
volume = {abs/2109.01040},
year = {2021}
}
@article{DBLP:journals/corr/abs-2109-06647,
author = {Per Ljung and
Roland Maier and
Axel M{\aa}lqvist},
title = {A space-time multiscale method for parabolic problems},
journal = {CoRR},
volume = {abs/2109.06647},
year = {2021}
}
@article{DBLP:journals/corr/abs-2110-03744,
author = {Frederik Bous and
Laurent Benaroya and
Nicolas Obin and
Axel Roebel},
title = {Sequence-To-Sequence Voice Conversion using {F0} and Time Conditioning
and Adversarial Learning},
journal = {CoRR},
volume = {abs/2110.03744},
year = {2021}
}
@article{DBLP:journals/access/VegaOLOBGMM20,
author = {Francisco Fern{\'{a}}ndez de Vega and
Gustavo Olague and
Daniel Lanza and
Francisco Ch{\'{a}}vez de la O and
Wolfgang Banzhaf and
Erik D. Goodman and
Jose Menendez{-}Clavijo and
Axel Martinez},
title = {Time and Individual Duration in Genetic Programming},
journal = {{IEEE} Access},
volume = {8},
pages = {38692--38713},
year = {2020}
}
@article{DBLP:journals/access/ZouYZ20,
author = {Zhiqiang Zou and
Haoyu Yang and
A{-}Xing Zhu},
title = {Estimation of Travel Time Based on Ensemble Method With Multi-Modality
Perspective Urban Big Data},
journal = {{IEEE} Access},
volume = {8},
pages = {24819--24828},
year = {2020}
}
@article{DBLP:journals/di/KarresandDA20,
author = {Martin Karresand and
Geir Olav Dyrkolbotn and
Stefan Axelsson},
title = {An Empirical Study of the {NTFS} Cluster Allocation Behavior Over
Time},
journal = {Digit. Investig.},
volume = {33 Supplement},
pages = {301008},
year = {2020}
}
@article{DBLP:journals/di/NordvikPTAF20,
author = {Rune Nordvik and
Kyle Porter and
Fergus Toolan and
Stefan Axelsson and
Katrin Franke},
title = {Generic Metadata Time Carving},
journal = {Digit. Investig.},
volume = {33 Supplement},
pages = {301005},
year = {2020}
}
@article{DBLP:journals/ejcon/PatelM20,
author = {Keyurkumar Patel and
Axaykumar J. Mehta},
title = {Discrete-time sliding mode protocols for leader-following consensus
of discrete multi-agent system with switching graph topology},
journal = {Eur. J. Control},
volume = {51},
pages = {65--75},
year = {2020}
}
@article{DBLP:journals/ejcon/PatelM20a,
author = {Keyurkumar Patel and
Axaykumar J. Mehta},
title = {Discrete-time event-triggered higher order sliding mode control for
consensus of 2-DOF robotic arms},
journal = {Eur. J. Control},
volume = {56},
pages = {231--241},
year = {2020}
}
@article{DBLP:journals/isse/BasileBL20,
author = {Davide Basile and
Maurice H. ter Beek and
Axel Legay},
title = {Timed service contract automata},
journal = {Innov. Syst. Softw. Eng.},
volume = {16},
number = {2},
pages = {199--214},
year = {2020}
}
@article{DBLP:journals/jlap/FahrenbergL20,
author = {Uli Fahrenberg and
Axel Legay},
title = {A linear-time-branching-time spectrum for behavioral specification
theories},
journal = {J. Log. Algebraic Methods Program.},
volume = {110},
year = {2020}
}
@article{DBLP:journals/taffco/AriasSBRSA20,
author = {Pablo Arias and
Catherine Soladi{\'{e}} and
Oussema Bouafif and
Axel Roebel and
Renaud S{\'{e}}guier and
Jean{-}Julien Aucouturier},
title = {Realistic Transformation of Facial and Vocal Smiles in Real-Time Audiovisual
Streams},
journal = {{IEEE} Trans. Affect. Comput.},
volume = {11},
number = {3},
pages = {507--518},
year = {2020}
}
@inproceedings{DBLP:conf/aips/KiamSJS20,
author = {Jane Jean Kiam and
Enrico Scala and
Miquel Ram{\'{\i}}rez J{\'{a}}vega and
Axel Schulte},
title = {An AI-Based Planning Framework for {HAPS} in a Time-Varying Environment},
booktitle = {{ICAPS}},
pages = {412--420},
publisher = {{AAAI} Press},
year = {2020}
}
@inproceedings{DBLP:conf/hci/MundS20,
author = {Dennis Mund and
Axel Schulte},
title = {Experimental Evaluation of Heart-Based Workload Measures as Related
to Their Suitability for Real-Time Applications},
booktitle = {{HCI} {(34)}},
series = {Lecture Notes in Computer Science},
volume = {12214},
pages = {372--382},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/icis/Hund20,
author = {Axel Hund},
title = {Recombination in Times of Pervasive Digitalization: {A} Review},
booktitle = {{ICIS}},
publisher = {Association for Information Systems},
year = {2020}
}
@inproceedings{DBLP:conf/idaacssws/CecilSTS20,
author = {Roman Cecil and
Vlastimil Setka and
David M. Tolar and
Axel Sikora},
title = {{RETIS} - Real-Time Sensitive Wireless Communication Solution for
Industrial Control Applications},
booktitle = {{IDAACS-SWS}},
pages = {1--9},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/ihsi/HeilemannS20,
author = {Felix Heilemann and
Axel Schulte},
title = {Time Line Based Tasking Concept for {MUM-T} Mission Planning with
Multiple Delegation Levels},
booktitle = {{IHSI}},
series = {Advances in Intelligent Systems and Computing},
volume = {1131},
pages = {1014--1020},
publisher = {Springer},
year = {2020}
}
@inproceedings{DBLP:conf/isncc/AxamitnyyAMPM20,
author = {Rostislav Axamitnyy and
Alexander Aric and
Serguei A. Mokhov and
Joey Paquet and
Sudhir P. Mudur},
title = {OpenISS IoT Camera Simulation Environment for Real-time IoT Forensics
and Incident Response},
booktitle = {{ISNCC}},
pages = {1--8},
publisher = {{IEEE}},
year = {2020}
}
@inproceedings{DBLP:conf/mibam/WismullerS20,
author = {Axel Wism{\"{u}}ller and
Larry Stockmaster},
title = {A prospective randomized clinical trial for measuring radiology study
reporting time on Artificial Intelligence-based detection of intracranial
hemorrhage in emergent care head {CT}},
booktitle = {Medical Imaging: Biomedical Applications in Molecular, Structural,
and Functional Imaging},
series = {{SPIE} Proceedings},
volume = {11317},
pages = {113170M},
publisher = {{SPIE}},
year = {2020}
}
@inproceedings{DBLP:conf/nordichi/SvangrenKAPNBS20,
author = {Michael Kvist Svangren and
Louise Krog and
Alisa Ananjeva and
John Stouby Persson and
Peter Axel Nielsen and
Camilla Brunsgaard and
Karl Sperling},
title = {Investigating One-Time Actions for Domestic Energy Reduction: The
Case of District Heating},
booktitle = {NordiCHI},
pages = {47:1--47:11},
publisher = {{ACM}},
year = {2020}
}
@inproceedings{DBLP:conf/splc/BasileBCL20,
author = {Davide Basile and
Maurice H. ter Beek and
Maxime Cordy and
Axel Legay},
title = {Tackling the equivalent mutant problem in real-time systems: the 12
commandments of model-based mutation testing},
booktitle = {{SPLC} {(A)}},
pages = {30:1--30:11},
publisher = {{ACM}},
year = {2020}
}
@inproceedings{DBLP:conf/wacv/IlicP20,
author = {Filip Ilic and
Axel Pinz},
title = {Representing Objects in Video as Space-Time Volumes by Combining Top-Down
and Bottom-Up Processes},
booktitle = {{WACV}},
pages = {1903--1911},
publisher = {{IEEE}},
year = {2020}
}
@article{DBLP:journals/corr/abs-2009-03074,
author = {Thomas Brihaye and
Gilles Geeraerts and
Axel Haddad and
Engel Lefaucheux and
Benjamin Monmege},
title = {One-Clock Priced Timed Games with Arbitrary Weights},
journal = {CoRR},
volume = {abs/2009.03074},
year = {2020}
}
@article{DBLP:journals/corr/abs-2009-04681,
author = {Axel Wism{\"{u}}ller and
Adora M. DSouza and
Anas Z. Abidin},
title = {Large-scale nonlinear Granger causality: {A} data-driven, multivariate
approach to recovering directed networks from short time-series data},
journal = {CoRR},
volume = {abs/2009.04681},
year = {2020}
}
@article{DBLP:journals/hf/ReinhardTRHGHM19,
author = {Ren{\'{e}} Reinhard and
Ender Tutulmaz and
Hans M. Rutrecht and
Patricia Hengstenberg and
Britta Geissler and
Heiko Hecht and
Axel Muttray},
title = {Effects of Visually Induced Motion Sickness on Emergency Braking Reaction
Times in a Driving Simulator},
journal = {Hum. Factors},
volume = {61},
number = {6},
year = {2019}
}
@article{DBLP:journals/jcam/AxelssonL19,
author = {Owe Axelsson and
Zhao{-}Zheng Liang},
title = {A note on preconditioning methods for time-periodic eddy current optimal
control problems},
journal = {J. Comput. Appl. Math.},
volume = {352},
pages = {262--277},
year = {2019}
}
@article{DBLP:journals/jnma/AxelssonL19,
author = {Owe Axelsson and
Dalibor Luk{\'{a}}s},
title = {Preconditioning methods for eddy-current optimally controlled time-harmonic
electromagnetic problems},
journal = {J. Num. Math.},
volume = {27},
number = {1},
pages = {1--21},
year = {2019}
}
@article{DBLP:journals/lmcs/CacheraFL19,
author = {David Cachera and
Uli Fahrenberg and
Axel Legay},
title = {An {\(\omega\)}{\(\omega\)}{\textbackslash}omega-Algebra for Real-Time
Energy Problems},
journal = {Log. Methods Comput. Sci.},
volume = {15},
number = {2},
year = {2019}
}
@article{DBLP:journals/remotesensing/WangCZHX19,
author = {Beibei Wang and
Zhenjie Chen and
A{-}Xing Zhu and
Yuzhu Hao and
Changqing Xu},
title = {Multi-Level Classification Based on Trajectory Features of Time Series
for Monitoring Impervious Surface Expansions},
journal = {Remote. Sens.},
volume = {11},
number = {6},
pages = {640},
year = {2019}
}
@article{DBLP:journals/sttt/CordyL19,
author = {Maxime Cordy and
Axel Legay},
title = {Verification and abstraction of real-time variability-intensive systems},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {21},
number = {6},
pages = {635--649},
year = {2019}
}
@inproceedings{DBLP:conf/apf/RaschkeZKK19,
author = {Philip Raschke and
Sebastian Zickau and
Jacob Leon Kr{\"{o}}ger and
Axel K{\"{u}}pper},
title = {Towards Real-Time Web Tracking Detection with {T.EX} - The Transparency
EXtension},
booktitle = {{APF}},
series = {Lecture Notes in Computer Science},
volume = {11498},
pages = {3--17},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/eusipco/HellingsMJU19,
author = {Christoph Hellings and
Bho Matthiesen and
Eduard A. Jorswieck and
Wolfgang Utschick},
title = {Globally Optimal {TIN} Strategies with Time-Sharing in the {MISO}
Interference Channel},
booktitle = {{EUSIPCO}},
pages = {1--5},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/gecco/KiamBHS19,
author = {Jane Jean Kiam and
Eva Besada{-}Portas and
Valerie Hehtke and
Axel Schulte},
title = {GA-guided task planning for multiple-HAPS in realistic time-varying
operation environments},
booktitle = {{GECCO}},
pages = {1232--1240},
publisher = {{ACM}},
year = {2019}
}
@inproceedings{DBLP:conf/i2mtc/SikoraSG19,
author = {Axel Sikora and
Manuel Schappacher and
Voicu Groza},
title = {Evaluation of {A} Novel Ultra-Low Energy Real-Time SmartMAC Protocol},
booktitle = {{I2MTC}},
pages = {1--6},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/icmla/SanchezTHBBBA19,
author = {Carlos Salort S{\'{a}}nchez and
Radu Tudoran and
Mohamad Al Hajj Hassan and
Stefano Bortoli and
Goetz Brasche and
Jan Baumbach and
Cristian Axenie},
title = {An Online Incremental Clustering Framework for Real-Time Stream Analytics},
booktitle = {{ICMLA}},
pages = {1480--1485},
publisher = {{IEEE}},
year = {2019}
}
@inproceedings{DBLP:conf/ihsi/KiamHBS19,
author = {Jane Jean Kiam and
Valerie Hehtke and
Eva Besada{-}Portas and
Axel Schulte},
title = {Hierarchical Planning Guided by Genetic Algorithms for Multiple {HAPS}
in a Time-Varying Environment},
booktitle = {{IHSI}},
series = {Advances in Intelligent Systems and Computing},
volume = {903},
pages = {719--724},
publisher = {Springer},
year = {2019}
}
@inproceedings{DBLP:conf/nips/AxelrodDSSV19,
author = {Brian Axelrod and
Ilias Diakonikolas and
Alistair Stewart and
Anastasios Sidiropoulos and
Gregory Valiant},
title = {A Polynomial Time Algorithm for Log-Concave Maximum Likelihood via
Locally Exponential Families},
booktitle = {NeurIPS},
pages = {7721--7733},
year = {2019}
}
@inproceedings{DBLP:conf/spawc/MatthiesenZJD19,
author = {Bho Matthiesen and
Alessio Zappone and
Eduard A. Jorswieck and
M{\'{e}}rouane Debbah},
title = {Deep Learning for Real-Time Energy-Efficient Power Control in Mobile
Networks},
booktitle = {{SPAWC}},
pages = {1--5},
publisher = {{IEEE}},
year = {2019}
}
@article{DBLP:journals/corr/abs-1907-08306,
author = {Brian Axelrod and
Ilias Diakonikolas and
Anastasios Sidiropoulos and
Alistair Stewart and
Gregory Valiant},
title = {A Polynomial Time Algorithm for Log-Concave Maximum Likelihood via
Locally Exponential Families},
journal = {CoRR},
volume = {abs/1907.08306},
year = {2019}
}
@article{DBLP:journals/corr/abs-1912-08734,
author = {Axel Ringh and
Johan Karlsson and
Anders Lindquist},
title = {An analytic interpolation approach to stability margins with emphasis
on time delay},
journal = {CoRR},
volume = {abs/1912.08734},
year = {2019}
}
@article{DBLP:journals/eor/GaborVYA18,
author = {Adriana F. Gabor and
Lars A. van Vianen and
Guangyuan Yang and
Sven Axs{\"{a}}ter},
title = {A base-stock inventory model with service differentiation and response
time guarantees},
journal = {Eur. J. Oper. Res.},
volume = {269},
number = {3},
pages = {900--908},
year = {2018}
}
@article{DBLP:journals/icl/GargYSS18,
author = {Ayush Garg and
Akash Yadav and
Axel Sikora and
Ashok Singh Sairam},
title = {Wireless Precision Time Protocol},
journal = {{IEEE} Commun. Lett.},
volume = {22},
number = {4},
pages = {812--815},
year = {2018}
}
@article{DBLP:journals/ijccbs/NouriMBCBL18,
author = {Ayoub Nouri and
Braham Lotfi Mediouni and
Marius Bozga and
Jacques Combaz and
Saddek Bensalem and
Axel Legay},
title = {Performance evaluation of stochastic real-time systems with the {SBIP}
framework},
journal = {Int. J. Crit. Comput. Based Syst.},
volume = {8},
number = {3/4},
pages = {340--370},
year = {2018}
}
@article{DBLP:journals/ijisec/LanetBBL18,
author = {Jean{-}Louis Lanet and
H{\'{e}}l{\`{e}}ne Le Bouder and
Mohammed Benattou and
Axel Legay},
title = {When time meets test},
journal = {Int. J. Inf. Sec.},
volume = {17},
number = {4},
pages = {395--409},
year = {2018}
}
@article{DBLP:journals/ijrr/NussRTYKMGD18,
author = {Dominik Nuss and
Stephan Reuter and
Markus Thom and
Ting Yuan and
Gunther Krehl and
Michael Maile and
Axel Gern and
Klaus Dietmayer},
title = {A random finite set approach for dynamic occupancy grid maps with
real-time application},
journal = {Int. J. Robotics Res.},
volume = {37},
number = {8},
pages = {841--866},
year = {2018}
}
@article{DBLP:journals/mscs/FiadeiroLDL18,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Beno{\^{\i}}t Delahaye and
Axel Legay},
title = {Dynamic networks of heterogeneous timed machines},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {6},
pages = {800--855},
year = {2018}
}
@article{DBLP:journals/na/LiangAN18,
author = {Zhao{-}Zheng Liang and
Owe Axelsson and
Maya G. Neytcheva},
title = {A robust structured preconditioner for time-harmonic parabolic optimal
control problems},
journal = {Numer. Algorithms},
volume = {79},
number = {2},
pages = {575--596},
year = {2018}
}
@article{DBLP:journals/tgrs/YangLZPHFP18,
author = {Ze Fa Yang and
Zhiwei Li and
Jianjun Zhu and
Axel Preusse and
Jun Hu and
Guangcai Feng and
Markus Papst},
title = {Time-Series 3-D Mining-Induced Large Displacement Modeling and Robust
Estimation From a Single-Geometry {SAR} Amplitude Data Set},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {56},
number = {6},
pages = {3600--3610},
year = {2018}
}
@article{DBLP:journals/tit/MittelbachJ18,
author = {Martin Mittelbach and
Eduard A. Jorswieck},
title = {Coding Theorem and Converse for Abstract Channels With Time Structure
and Memory},
journal = {{IEEE} Trans. Inf. Theory},
volume = {64},
number = {7},
pages = {4993--5016},
year = {2018}
}
@inproceedings{DBLP:conf/atva/MediouniNBDLB18,
author = {Braham Lotfi Mediouni and
Ayoub Nouri and
Marius Bozga and
Mahieddine Dellabani and
Axel Legay and
Saddek Bensalem},
title = {\emph{S} {BIP} 2.0: Statistical Model Checking Stochastic Real-Time
Systems},
booktitle = {{ATVA}},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {536--542},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/chase/OtiAARAL18,
author = {Olugbenga Oti and
Iman Azimi and
Arman Anzanpour and
Amir M. Rahmani and
Anna Axelin and
Pasi Liljeberg},
title = {IoT-Based Healthcare System for Real-Time Maternal Stress Monitoring},
booktitle = {{CHASE}},
pages = {57--62},
publisher = {{ACM} / {IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/eucc/MitzelDGSM18,
author = {Ruth Mitze and
David Dillk{\"{o}}tter and
Sebastien Gros and
Axel Schild and
Martin M{\"{o}}nnigmann},
title = {Fast and smooth surface B-spline interpolation for regularly spaced
data used in system modeling to make {MPC} real-time feasible},
booktitle = {{ECC}},
pages = {1--6},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/gi/RaschkeK18,
author = {Philip Raschke and
Axel K{\"{u}}pper},
title = {Uncovering Canvas Fingerprinting in Real-Time and Analyzing ist Usage
for Web-Tracking},
booktitle = {GI-Jahrestagung (Workshops)},
series = {{LNI}},
volume = {{P-285}},
pages = {97--108},
publisher = {{GI}},
year = {2018}
}
@inproceedings{DBLP:conf/iecon/PatelM18,
author = {Keyurkumar Patel and
Axaykumar J. Mehta},
title = {Discrete-time Sliding Mode Control for Leader Following Discrete-time
Multi-Agent System},
booktitle = {{IECON}},
pages = {2288--2292},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/mass/KhorovILA18,
author = {Evgeny M. Khorov and
Alexander S. Ivanov and
Andrey I. Lyakhov and
Ian F. Akyildiz},
title = {Cloud Control to Optimize Real-Time Video Transmission in Dense {IEEE}
802.11aa/ax Networks},
booktitle = {{MASS}},
pages = {193--201},
publisher = {{IEEE} Computer Society},
year = {2018}
}
@inproceedings{DBLP:conf/smc/KiamS18,
author = {Jane Jean Kiam and
Axel Schulte},
title = {Multilateral Mission Planning in a Time-Varying Vector Field with
Dynamic Constraints},
booktitle = {{SMC}},
pages = {305--310},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/specom/SadoughiFERKBA018,
author = {Najmeh Sadoughi and
Greg P. Finley and
Erik Edwards and
Amanda Robinson and
Maxim Korenevsky and
Michael Brenndoerfer and
Nico Axtmann and
Mark Miller and
David Suendermann{-}Oeft},
title = {Detecting Section Boundaries in Medical Dictations: Toward Real-Time
Conversion of Medical Dictations to Clinical Reports},
booktitle = {{SPECOM}},
series = {Lecture Notes in Computer Science},
volume = {11096},
pages = {563--573},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/syscon/JobanputraCSG18,
author = {Mayank Jobanputra and
Axat Chaudhary and
Saumil Shah and
Ratnik Gandhi},
title = {Real-time face recognition in {HD} videos: Algorithms and framework},
booktitle = {SysCon},
pages = {1--8},
publisher = {{IEEE}},
year = {2018}
}
@inproceedings{DBLP:conf/vecos/BasileBLT18,
author = {Davide Basile and
Maurice H. ter Beek and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Orchestration Synthesis for Real-Time Service Contracts},
booktitle = {VECoS},
series = {Lecture Notes in Computer Science},
volume = {11181},
pages = {31--47},
publisher = {Springer},
year = {2018}
}
@inproceedings{DBLP:conf/wfcs/MullerWKDS18,
author = {Thomas Muller and
Andreas Walz and
Manuel Kiefer and
Hans Dermot Doran and
Axel Sikora},
title = {Challenges and prospects of communication security in real-time ethernet
automation systems},
booktitle = {{WFCS}},
pages = {1--9},
publisher = {{IEEE}},
year = {2018}
}
@incollection{DBLP:reference/sp/AxelrodCCK18,
author = {Allan Axelrod and
Luca Carlone and
Girish Chowdhary and
Sertac Karaman},
title = {Data-Driven Prediction of Confidence for {EVAR} in Time-Varying Datasets},
booktitle = {Handbook of Dynamic Data Driven Applications Systems},
pages = {381--404},
publisher = {Springer},
year = {2018}
}
@phdthesis{DBLP:phd/basesearch/Habermaier17,
author = {Axel Habermaier},
title = {Design Time and Run Time Formal Safety Analysis using Executable Models},
school = {University of Augsburg, Germany},
year = {2017}
}
@article{DBLP:journals/aeog/HuangLLGYZSHZS17,
author = {Changchun Huang and
Yunmei Li and
Ge Liu and
Yulong Guo and
Hao Yang and
A{-}Xing Zhu and
Ting Song and
Tao Huang and
Mingli Zhang and
Kun Shi},
title = {Tracing high time-resolution fluctuations in dissolved organic carbon
using satellite and buoy observations: Case study in Lake Taihu, China},
journal = {Int. J. Appl. Earth Obs. Geoinformation},
volume = {62},
pages = {174--182},
year = {2017}
}
@article{DBLP:journals/cma/ModaveLG17,
author = {Axel Modave and
Jonathan Lambrechts and
Christophe Geuzaine},
title = {Perfectly matched layers for convex truncated domains with discontinuous
Galerkin time domain simulations},
journal = {Comput. Math. Appl.},
volume = {73},
number = {4},
pages = {684--700},
year = {2017}
}
@article{DBLP:journals/dcan/ShahM17,
author = {Dipesh Shah and
Axay J. Mehta},
title = {Fractional delay compensated discrete-time {SMC} for networked control
system},
journal = {Digit. Commun. Networks},
volume = {3},
number = {2},
pages = {112--117},
year = {2017}
}
@article{DBLP:journals/ieicet/BeaugendreGY17,
author = {Axel Beaugendre and
Satoshi Goto and
Takeshi Yoshimura},
title = {Real-Time {UHD} Background Modelling with Mixed Selection Block Updates},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {100-A},
number = {2},
pages = {581--591},
year = {2017}
}
@article{DBLP:journals/ijcon/GrosS17,
author = {Sebastien Gros and
Axel Schild},
title = {Real-time economic nonlinear model predictive control for wind turbine
control},
journal = {Int. J. Control},
volume = {90},
number = {12},
pages = {2799--2812},
year = {2017}
}
@article{DBLP:journals/jcam/AxelssonFN17,
author = {Owe Axelsson and
Shiraz Farouq and
Maya G. Neytcheva},
title = {A preconditioner for optimal control problems, constrained by Stokes
equation with a time-harmonic control},
journal = {J. Comput. Appl. Math.},
volume = {310},
pages = {5--18},
year = {2017}
}
@article{DBLP:journals/siamnum/HenningM17,
author = {Patrick Henning and
Axel M{\aa}lqvist},
title = {The Finite Element Method for the Time-Dependent Gross-Pitaevskii
Equation with Angular Momentum Rotation},
journal = {{SIAM} J. Numer. Anal.},
volume = {55},
number = {2},
pages = {923--952},
year = {2017}
}
@inproceedings{DBLP:conf/birthday/LarsenLMNN17,
author = {Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Brian Nielsen and
Ulrik Nyman},
title = {Compositional Testing of Real-Time Systems},
booktitle = {ModelEd, TestEd, TrustEd},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {107--124},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/cinc/IllanesSZBF17,
author = {Alfredo Illanes and
Anna Schaufler and
Iv{\'{a}}n Maldonado Zambrano and
Axel Boese and
Michael Friebe},
title = {Time-varying Acoustic Emission Characterization for Guidewire Coronary
Artery Perforation Identification},
booktitle = {CinC},
publisher = {www.cinc.org},
year = {2017}
}
@inproceedings{DBLP:conf/csfw/HansenJLLP17,
author = {Ren{\'{e}} Rydhof Hansen and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Danny B{\o}gsted Poulsen},
title = {Quantitative Evaluation of Attack Defense Trees Using Stochastic Timed
Automata},
booktitle = {GraMSec@CSF},
series = {Lecture Notes in Computer Science},
volume = {10744},
pages = {75--90},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/eusipco/AxmanPTC17,
author = {Dustin Axman and
Joana S. Paiva and
Fernando De la Torre and
Jo{\~{a}}o P. S. Cunha},
title = {Beat-to-beat {ECG} features for time resolution improvements in stress
detection},
booktitle = {{EUSIPCO}},
pages = {1290--1294},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/icit2/ShahM17,
author = {Dipesh Shah and
Axay J. Mehta},
title = {Multirate output feedback based discrete-time sliding mode control
for fractional delay compensation in NCSs},
booktitle = {{ICIT}},
pages = {848--853},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/iecon/ShahM17a,
author = {Dipesh Shah and
Axay J. Mehta},
title = {Discrete-time sliding mode control using thiran's delay approximation
for networked control system},
booktitle = {{IECON}},
pages = {3025--3031},
publisher = {{IEEE}},
year = {2017}
}
@inproceedings{DBLP:conf/lssc/AxelssonL17,
author = {Owe Axelsson and
Dalibor Luk{\'{a}}s},
title = {Preconditioners for Time-Harmonic Optimal Control Eddy-Current Problems},
booktitle = {{LSSC}},
series = {Lecture Notes in Computer Science},
volume = {10665},
pages = {47--54},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/sofsem/FahrenbergL17,
author = {Uli Fahrenberg and
Axel Legay},
title = {A Linear-Time-Branching-Time Spectrum of Behavioral Specification
Theories},
booktitle = {{SOFSEM}},
series = {Lecture Notes in Computer Science},
volume = {10139},
pages = {49--61},
publisher = {Springer},
year = {2017}
}
@inproceedings{DBLP:conf/webi/ValdestilhasSN17,
author = {Andr{\'{e}} Valdestilhas and
Tommaso Soru and
Axel{-}Cyrille Ngonga Ngomo},
title = {{CEDAL:} time-efficient detection of erroneous links in large-scale
link repositories},
booktitle = {{WI}},
pages = {106--113},
publisher = {{ACM}},
year = {2017}
}
@incollection{DBLP:reference/hwswco/ZengJTDAEE17,
author = {Haibo Zeng and
Prachi Joshi and
Daniel Thiele and
Jonas Diemer and
Philip Axer and
Rolf Ernst and
Petru Eles},
title = {Networked Real-Time Embedded Systems},
booktitle = {Handbook of Hardware/Software Codesign},
pages = {753--792},
publisher = {Springer},
year = {2017}
}
@incollection{DBLP:series/natosec/LarsenFL17,
author = {Kim G. Larsen and
Uli Fahrenberg and
Axel Legay},
title = {From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis,
Performance Analysis and Machine Learning},
booktitle = {Dependable Software Systems Engineering},
series = {{NATO} Science for Peace and Security Series - {D:} Information and
Communication Security},
volume = {50},
pages = {60--103},
publisher = {{IOS} Press},
year = {2017}
}
@article{DBLP:journals/corr/CacheraFL17,
author = {David Cachera and
Uli Fahrenberg and
Axel Legay},
title = {An {\(\omega\)}-Algebra for Real-Time Energy Problems},
journal = {CoRR},
volume = {abs/1701.08524},
year = {2017}
}
@phdthesis{DBLP:phd/dnb/Axer16,
author = {Philip Axer},
title = {Performance of time-critical embedded systems under the influence
of errors and error handling protocols},
school = {Braunschweig University of Technology, Germany},
year = {2016}
}
@article{DBLP:journals/cor/SelinkaFS16,
author = {Gregor Selinka and
Axel Franz and
Raik Stolletz},
title = {Time-dependent performance approximation of truck handling operations
at an air cargo terminal},
journal = {Comput. Oper. Res.},
volume = {65},
pages = {164--173},
year = {2016}
}
@article{DBLP:journals/rts/ThieleSAE16,
author = {Daniel Thiele and
Johannes Schlatow and
Philip Axer and
Rolf Ernst},
title = {Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive
networks},
journal = {Real Time Syst.},
volume = {52},
number = {1},
pages = {88--112},
year = {2016}
}
@inproceedings{DBLP:conf/cdc/AxelrodCCK16,
author = {Allan Axelrod and
Luca Carlone and
Girish Chowdhary and
Sertac Karaman},
title = {Data-driven prediction of {EVAR} with confidence in time-varying datasets},
booktitle = {{CDC}},
pages = {5833--5838},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/cinc/VermaLLSD16,
author = {Bhawna Verma and
Axel Loewe and
Armin Luik and
Claus Schmitt and
Olaf D{\"{o}}ssel},
title = {Regional Conduction Velocity Calculation based on Local Activation
Times: {A} Simulation Study on Clinical Geometries},
booktitle = {CinC},
publisher = {www.cinc.org},
year = {2016}
}
@inproceedings{DBLP:conf/etfa/NiebuhrV16,
author = {Carsten A. Niebuhr and
Axel Vick},
title = {Distributed real-time control service framework for human-robot interaction
applications},
booktitle = {{ETFA}},
pages = {1--8},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/formats/GadyatskayaHLLO16,
author = {Olga Gadyatskaya and
Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen and
Axel Legay and
Mads Chr. Olesen and
Danny B{\o}gsted Poulsen},
title = {Modelling Attack-defense Trees Using Timed Automata},
booktitle = {{FORMATS}},
series = {Lecture Notes in Computer Science},
volume = {9884},
pages = {35--50},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/i2mtc/NguyenSSG16,
author = {Phuong H. Nguyen and
Manuel Schappacher and
Axel Sikora and
Voicu Groza},
title = {Extensions of the {IEEE802.15.4} protocol for ultra-low energy real-time
communication},
booktitle = {{I2MTC}},
pages = {1--6},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/ifm/DArgenioHLS16,
author = {Pedro R. D'Argenio and
Arnd Hartmanns and
Axel Legay and
Sean Sedwards},
title = {Statistical Approximation of Optimal Schedulers for Probabilistic
Timed Automata},
booktitle = {{IFM}},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {99--114},
publisher = {Springer},
year = {2016}
}
@inproceedings{DBLP:conf/itsc/RoesenerFUE16,
author = {Christian Roesener and
Felix Fahrenkrog and
Axel Uhlig and
Lutz Eckstein},
title = {A scenario-based assessment approach for automated driving by using
time series classification of human-driving behaviour},
booktitle = {{ITSC}},
pages = {1360--1365},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/memea/WangKRSG16,
author = {Xingchen Wang and
Maria Kyrarini and
Danijela Ristic{-}Durrant and
Matthias Spranger and
Axel Gr{\"{a}}ser},
title = {Monitoring of gait performance using dynamic time warping on IMU-sensor
data},
booktitle = {MeMeA},
pages = {1--6},
publisher = {{IEEE}},
year = {2016}
}
@inproceedings{DBLP:conf/sac/KimLTAK16,
author = {Jin Hyun Kim and
Axel Legay and
Louis{-}Marie Traonouez and
Mathieu Acher and
Sungwon Kang},
title = {A formal modeling and analysis framework for software product line
of preemptive real-time systems},
booktitle = {{SAC}},
pages = {1562--1565},
publisher = {{ACM}},
year = {2016}
}
@inproceedings{DBLP:conf/setta/JegourelLLMPS16,
author = {Cyrille J{\'{e}}gourel and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Sean Sedwards},
title = {Importance Sampling for Stochastic Timed Automata},
booktitle = {{SETTA}},
series = {Lecture Notes in Computer Science},
volume = {9984},
pages = {163--178},
year = {2016}
}
@inproceedings{DBLP:conf/stairs/KiamGS16,
author = {Jane Jean Kiam and
Matthias Gerdts and
Axel Schulte},
title = {Fast Subset Path Planning/ Replanning to Avoid Obstacles with Time-Varying
Probabilistic Motion Patterns},
booktitle = {{STAIRS}},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {284},
pages = {185--196},
publisher = {{IOS} Press},
year = {2016}
}
@article{DBLP:journals/corr/FahrenbergL16,
author = {Uli Fahrenberg and
Axel Legay},
title = {A Linear-Time Branching-Time Spectrum of Behavioral Specification
Theories},
journal = {CoRR},
volume = {abs/1604.06503},
year = {2016}
}
@article{DBLP:journals/corr/NussRTYKMGD16,
author = {Dominik Nuss and
Stephan Reuter and
Markus Thom and
Ting Yuan and
Gunther Krehl and
Michael Maile and
Axel Gern and
Klaus Dietmayer},
title = {A Random Finite Set Approach for Dynamic Occupancy Grid Maps with
Real-Time Application},
journal = {CoRR},
volume = {abs/1605.02406},
year = {2016}
}
@article{DBLP:journals/cnsns/Schulze-Halberg15,
author = {Axel Schulze{-}Halberg},
title = {Burgers equation with time-dependent coefficients and nonlinear forcing
term: Linearization and exact solvability},
journal = {Commun. Nonlinear Sci. Numer. Simul.},
volume = {22},
number = {Issues},
pages = {1068--1083},
year = {2015}
}
@article{DBLP:journals/nla/AxelssonBK15,
author = {Owe Axelsson and
Radim Blaheta and
Roman Kohut},
title = {Preconditioning methods for high-order strongly stable time integration
methods with an application for a {DAE} problem},
journal = {Numer. Linear Algebra Appl.},
volume = {22},
number = {6},
pages = {930--949},
year = {2015}
}
@article{DBLP:journals/sttt/DavidLLNTW15,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
title = {Real-time specifications},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {1},
pages = {17--45},
year = {2015}
}
@article{DBLP:journals/tac/AxelssonG15,
author = {Patrik Axelsson and
Fredrik Gustafsson},
title = {Discrete-Time Solutions to the Continuous-Time Differential Lyapunov
Equation With Applications to Kalman Filtering},
journal = {{IEEE} Trans. Autom. Control.},
volume = {60},
number = {3},
pages = {632--643},
year = {2015}
}
@article{DBLP:journals/tmi/HutterSSSGFGHM15,
author = {Jana Hutter and
Peter Schmitt and
Marc Saake and
Axel Stubinger and
Robert Grimm and
Christoph Forman and
Andreas Greiser and
Joachim Hornegger and
Andreas K. Maier},
title = {Multi-Dimensional Flow-Preserving Compressed Sensing (MuFloCoS) for
Time-Resolved Velocity-Encoded Phase Contrast {MRI}},
journal = {{IEEE} Trans. Medical Imaging},
volume = {34},
number = {2},
pages = {400--414},
year = {2015}
}
@inproceedings{DBLP:conf/braincomp/MenzelARM15,
author = {Miriam Menzel and
Markus Axer and
Hans De Raedt and
Kristel Michielsen},
title = {Finite-Difference Time-Domain Simulation for Three-Dimensional Polarized
Light Imaging},
booktitle = {BrainComp},
series = {Lecture Notes in Computer Science},
volume = {10087},
pages = {73--85},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/ccs/DavidDHLLOP15,
author = {Nicolas David and
Alexandre David and
Ren{\'{e}} Rydhof Hansen and
Kim Guldstrand Larsen and
Axel Legay and
Mads Chr. Olesen and
Christian W. Probst},
title = {Modelling Social-Technical Attacks with Timed Automata},
booktitle = {MIST@CCS},
pages = {21--28},
publisher = {{ACM}},
year = {2015}
}
@inproceedings{DBLP:conf/educon/BottcherKT15,
author = {Axel B{\"{o}}ttcher and
Andreas K{\"{a}}mper and
Veronika Thurner},
title = {On analyzing the effectiveness of Just-in-Time Teaching},
booktitle = {{EDUCON}},
pages = {453--461},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/eucc/SamaranayakePXB15,
author = {Samitha Samaranayake and
Axel Parmentier and
Yiguang Xuan and
Alexandre M. Bayen},
title = {Solving the user equilibrium departure time problem at an off-ramp
with incentive compatible cost functions},
booktitle = {{ECC}},
pages = {3465--3471},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/eurographics/DurrPBAL15,
author = {Oliver D{\"{u}}rr and
Yves Pauchard and
Diego Browarnik and
Rebekka Axthelm and
Martin Loeser},
title = {Deep Learning on a Raspberry Pi for Real Time Face Recognition},
booktitle = {Eurographics (Posters)},
pages = {11--12},
publisher = {Eurographics Association},
year = {2015}
}
@inproceedings{DBLP:conf/fsttcs/BrihayeGHLM15,
author = {Thomas Brihaye and
Gilles Geeraerts and
Axel Haddad and
Engel Lefaucheux and
Benjamin Monmege},
title = {Simple Priced Timed Games are not That Simple},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {45},
pages = {278--292},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015}
}
@inproceedings{DBLP:conf/fsttcs/CacheraFL15,
author = {David Cachera and
Uli Fahrenberg and
Axel Legay},
title = {An omega-Algebra for Real-Time Energy Problems},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {45},
pages = {394--407},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015}
}
@inproceedings{DBLP:conf/hvc/KimLLMN15,
author = {Jin Hyun Kim and
Axel Legay and
Kim Guldstrand Larsen and
Marius Mikucionis and
Brian Nielsen},
title = {Resource-Parameterized Timing Analysis of Real-Time Systems},
booktitle = {Haifa Verification Conference},
series = {Lecture Notes in Computer Science},
volume = {9434},
pages = {190--205},
publisher = {Springer},
year = {2015}
}
@inproceedings{DBLP:conf/idaacs/SerezhinaMES15,
author = {Maria Serezhina and
Alex Moschevikin and
Ruslan Evmenchikov and
Axel Sikora},
title = {Using radiating cable for time-of-flight {CSS} measurements indoors
and outdoors},
booktitle = {{IDAACS}},
pages = {91--101},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/itsc/SerageldinK15,
author = {Ahmed Serageldin and
Axel W. Krings},
title = {A Resilient Real-Time Traffic Control System},
booktitle = {{ITSC}},
pages = {2869--2876},
publisher = {{IEEE}},
year = {2015}
}
@inproceedings{DBLP:conf/mm/CarlierCO15,
author = {Axel Carlier and
Vincent Charvillat and
Wei Tsang Ooi},
title = {A Video Timeline with Bookmarks and Prefetch State for Faster Video
Browsing},
booktitle = {{ACM} Multimedia},
pages = {967--970},
publisher = {{ACM}},
year = {2015}
}
@inproceedings{DBLP:conf/wimob/MuricSJ15,
author = {Goran Muric and
Christian Scheunert and
Eduard A. Jorswieck},
title = {On modeling epidemics in networks using linear time-invariant dynamics},
booktitle = {WiMob},
pages = {138--146},
publisher = {{IEEE} Computer Society},
year = {2015}
}
@article{DBLP:journals/corr/BrihayeGHLM15,
author = {Thomas Brihaye and
Gilles Geeraerts and
Axel Haddad and
Engel Lefaucheux and
Benjamin Monmege},
title = {Simple Priced Timed Games Are Not That Simple},
journal = {CoRR},
volume = {abs/1507.03786},
year = {2015}
}
@article{DBLP:journals/corr/MittelbachJ15,
author = {Martin Mittelbach and
Eduard A. Jorswieck},
title = {Coding Theorem and Converse for Abstract Channels with Time Structure
and Memory},
journal = {CoRR},
volume = {abs/1510.00347},
year = {2015}
}
@article{DBLP:journals/ieicet/BeaugendreG14,
author = {Axel Beaugendre and
Satoshi Goto},
title = {Real-Time Refinement Method for Foreground Objects Detectors Using
Super Fast Resolution-Free Tracking System},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {97-A},
number = {2},
pages = {520--529},
year = {2014}
}
@article{DBLP:journals/ijac/AllamigeonFGKL14,
author = {Xavier Allamigeon and
Uli Fahrenberg and
St{\'{e}}phane Gaubert and
Ricardo David Katz and
Axel Legay},
title = {Tropical Fourier-Motzkin elimination, with an application to real-time
verification},
journal = {Int. J. Algebra Comput.},
volume = {24},
number = {5},
pages = {569--608},
year = {2014}
}
@article{DBLP:journals/ma/BucherKRS14,
author = {Axel B{\"{u}}cher and
Ivan Kojadinovic and
Tom Rohmer and
Johan Segers},
title = {Detecting changes in cross-sectional dependence in multivariate time
series},
journal = {J. Multivar. Anal.},
volume = {132},
pages = {111--128},
year = {2014}
}
@article{DBLP:journals/ras/PalmerCA14,
author = {David Palmer and
Salvador Cobos{-}Guzman and
Dragos Axinte},
title = {Real-time method for tip following navigation of continuum snake arm
robots},
journal = {Robotics Auton. Syst.},
volume = {62},
number = {10},
pages = {1478--1485},
year = {2014}
}
@article{DBLP:journals/staeors/HeineFRMBF14,
author = {Iris Heine and
Till Francke and
Christian Roga{\ss} and
Pedro Medeiros and
Axel Bronstert and
Saskia Foerster},
title = {Monitoring Seasonal Changes in the Water Surface Areas of Reservoirs
Using TerraSAR-X Time Series Data in Semiarid Northeastern Brazil},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {7},
number = {8},
pages = {3190--3199},
year = {2014}
}
@article{DBLP:journals/tcs/FahrenbergL14,
author = {Uli Fahrenberg and
Axel Legay},
title = {The quantitative linear-time-branching-time spectrum},
journal = {Theor. Comput. Sci.},
volume = {538},
pages = {54--69},
year = {2014}
}
@article{DBLP:journals/tcs/LarsenLTW14,
author = {Kim G. Larsen and
Axel Legay and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
title = {Robust synthesis for real-time systems},
journal = {Theor. Comput. Sci.},
volume = {515},
pages = {96--122},
year = {2014}
}
@inproceedings{DBLP:conf/atva/DavidJLLLST14,
author = {Alexandre David and
Peter Gj{\o}l Jensen and
Kim Guldstrand Larsen and
Axel Legay and
Didier Lime and
Mathias Grund S{\o}rensen and
Jakob Haahr Taankvist},
title = {On Time with Minimal Expected Cost!},
booktitle = {{ATVA}},
series = {Lecture Notes in Computer Science},
volume = {8837},
pages = {129--145},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/cinc/SassiSCFBR14,
author = {Roberto Sassi and
Tamara Stampalija and
Daniela Casati and
Enrico Ferrazzi and
Axel Bauer and
Massimo Walter Rivolta},
title = {A Methodological Assessment of Phase-Rectified Signal Averaging through
Simulated Beat-to-Beat Interval Time Series},
booktitle = {CinC},
pages = {601--604},
publisher = {www.cinc.org},
year = {2014}
}
@inproceedings{DBLP:conf/etaps/FahrenbergLT14,
author = {Uli Fahrenberg and
Axel Legay and
Louis{-}Marie Traonouez},
title = {Specification Theories for Probabilistic and Real-Time Systems},
booktitle = {FPS@ETAPS},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {98--117},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/i2mtc/HuangSGZ14,
author = {Qixin Huang and
Axel Sikora and
Voicu Groza and
Pouria Zand},
title = {Simulation {\&} analysis of WirelessHART nodes for real-time actuator
application},
booktitle = {{I2MTC}},
pages = {1590--1594},
publisher = {{IEEE}},
year = {2014}
}
@inproceedings{DBLP:conf/icadlt/RothMKFLF14,
author = {Martin Roth and
Stefan Mutke and
Axel Klarmann and
Bogdan Franczyk and
Andr{\'{e}} Ludwig},
title = {Real-timeservice profiling for the efficient simulation of logistics
networks},
booktitle = {{ICALT}},
pages = {253--258},
publisher = {{IEEE}},
year = {2014}
}
@inproceedings{DBLP:conf/ictac/DelahayeFLL14,
author = {Beno{\^{\i}}t Delahaye and
Jos{\'{e}} Luiz Fiadeiro and
Axel Legay and
Ant{\'{o}}nia Lopes},
title = {Heterogeneous Timed Machines},
booktitle = {{ICTAC}},
series = {Lecture Notes in Computer Science},
volume = {8687},
pages = {115--132},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/ivs/RylanderAW14,
author = {David Rylander and
Jakob Axelsson and
Peter Wallin},
title = {Energy savings by wireless control of speed, scheduling and travel
times for hauling operation},
booktitle = {Intelligent Vehicles Symposium},
pages = {1115--1120},
publisher = {{IEEE}},
year = {2014}
}
@inproceedings{DBLP:conf/miccai/ChenLAH14,
author = {Chen Chen and
Yeqing Li and
Leon Axel and
Junzhou Huang},
title = {Real Time Dynamic {MRI} with Dynamic Total Variation},
booktitle = {{MICCAI} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {8673},
pages = {138--145},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/mmm/PapadopoulosAD14,
author = {Georgios Th. Papadopoulos and
Apostolos Axenopoulos and
Petros Daras},
title = {Real-Time Skeleton-Tracking-Based Human Action Recognition Using Kinect
Data},
booktitle = {{MMM} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {8325},
pages = {473--483},
publisher = {Springer},
year = {2014}
}
@inproceedings{DBLP:conf/semweb/DresslerN14,
author = {Kevin Dre{\ss}ler and
Axel{-}Cyrille Ngonga Ngomo},
title = {Time-efficient execution of bounded Jaro-Winkler distances},
booktitle = {{OM}},
series = {{CEUR} Workshop Proceedings},
volume = {1317},
pages = {37--48},
publisher = {CEUR-WS.org},
year = {2014}
}
@inproceedings{DBLP:conf/sies/AxerTE14,
author = {Philip Axer and
Daniel Thiele and
Rolf Ernst},
title = {Formal timing analysis of automatic repeat request for switched real-time
networks},
booktitle = {{SIES}},
pages = {78--87},
publisher = {{IEEE}},
year = {2014}
}
@proceedings{DBLP:conf/formats/2014,
editor = {Axel Legay and
Marius Bozga},
title = {Formal Modeling and Analysis of Timed Systems - 12th International
Conference, {FORMATS} 2014, Florence, Italy, September 8-10, 2014.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8711},
publisher = {Springer},
year = {2014}
}
@article{DBLP:journals/bmcbi/LehmannMGBAS13,
author = {Robert Lehmann and
Rainer Machn{\'{e}} and
Jens Georg and
Manuela Benary and
Ilka Axmann and
Ralf Steuer},
title = {How cyanobacteria pose new problems to old methods: challenges in
microarray time series analysis},
journal = {{BMC} Bioinform.},
volume = {14},
pages = {133},
year = {2013}
}
@article{DBLP:journals/taslp/LiuniRMRR13,
author = {Marco Liuni and
Axel R{\"{o}}bel and
Ewa Matusiak and
Marco Romito and
Xavier Rodet},
title = {Automatic Adaptation of the Time-Frequency Resolution for Sound Analysis
and Re-Synthesis},
journal = {{IEEE} Trans. Speech Audio Process.},
volume = {21},
number = {5},
pages = {959--970},
year = {2013}
}
@inproceedings{DBLP:conf/analco/BacherBJ13,
author = {Axel Bacher and
Olivier Bodini and
Alice Jacquot},
title = {Exact-size Sampling for Motzkin Trees in Linear Time via Boltzmann
Samplers and Holonomic Specification},
booktitle = {{ANALCO}},
pages = {52--61},
publisher = {{SIAM}},
year = {2013}
}
@inproceedings{DBLP:conf/atva/LegayT13,
author = {Axel Legay and
Louis{-}Marie Traonouez},
title = {PyEcdar: Towards Open Source Implementation for Timed Systems},
booktitle = {{ATVA}},
series = {Lecture Notes in Computer Science},
volume = {8172},
pages = {460--463},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/cdc/BarrauB13,
author = {Axel Barrau and
Silv{\`{e}}re Bonnabel},
title = {Intrinsic filtering on {SO(3)} with discrete-time observations},
booktitle = {{CDC}},
pages = {3255--3260},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/dac/AxerE13,
author = {Philip Axer and
Rolf Ernst},
title = {Stochastic response-time guarantee for non-preemptive, fixed-priority
scheduling under errors},
booktitle = {{DAC}},
pages = {172:1--172:7},
publisher = {{ACM}},
year = {2013}
}
@inproceedings{DBLP:conf/date/NeukirchnerQMAE13,
author = {Moritz Neukirchner and
Sophie Quinton and
Tobias Michaels and
Philip Axer and
Rolf Ernst},
title = {Sensitivity analysis for arbitrary activation patterns in real-time
systems},
booktitle = {{DATE}},
pages = {135--140},
publisher = {{EDA} Consortium San Jose, CA, {USA} / {ACM} {DL}},
year = {2013}
}
@inproceedings{DBLP:conf/ecrts/AxerQNEDH13,
author = {Philip Axer and
Sophie Quinton and
Moritz Neukirchner and
Rolf Ernst and
Bj{\"{o}}rn D{\"{o}}bel and
Hermann H{\"{a}}rtig},
title = {Response-Time Analysis of Parallel Fork-Join Workloads with Real-Time
Constraints},
booktitle = {{ECRTS}},
pages = {215--224},
publisher = {{IEEE} Computer Society},
year = {2013}
}
@inproceedings{DBLP:conf/esws/SchulzRP13,
author = {Axel Schulz and
Petar Ristoski and
Heiko Paulheim},
title = {I See a Car Crash: Real-Time Detection of Small Scale Incidents in
Microblogs},
booktitle = {{ESWC} (Satellite Events)},
series = {Lecture Notes in Computer Science},
volume = {7955},
pages = {22--33},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/forte/DelahayeFLL13,
author = {Beno{\^{\i}}t Delahaye and
Jos{\'{e}} Luiz Fiadeiro and
Axel Legay and
Ant{\'{o}}nia Lopes},
title = {A Timed Component Algebra for Services},
booktitle = {{FMOODS/FORTE}},
series = {Lecture Notes in Computer Science},
volume = {7892},
pages = {242--257},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/icassp/ObinLR13,
author = {Nicolas Obin and
Francois Lamare and
Axel Roebel},
title = {Syll-O-Matic: An adaptive time-frequency representation for the automatic
segmentation of speech into syllables},
booktitle = {{ICASSP}},
pages = {6699--6703},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/icse/CordyLST13,
author = {Maxime Cordy and
Axel Legay and
Pierre{-}Yves Schobbens and
Louis{-}Marie Traonouez},
title = {A framework for the rigorous design of highly adaptive timed systems},
booktitle = {FormaliSE@ICSE},
pages = {64--70},
publisher = {{IEEE} Computer Society},
year = {2013}
}
@inproceedings{DBLP:conf/ictac/FahrenbergLL13,
author = {Uli Fahrenberg and
Kim G. Larsen and
Axel Legay},
title = {Model-Based Verification, Optimization, Synthesis and Performance
Evaluation of Real-Time Systems},
booktitle = {{ICTAC} Training School on Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8050},
pages = {67--108},
publisher = {Springer},
year = {2013}
}
@inproceedings{DBLP:conf/idaacs/MoschevikinGRVS13,
author = {Alex Moschevikin and
Alexandr Galov and
Sergey A. Reginya and
Alexander Volkov and
Axel Sikora},
title = {The impact of {NLOS} components in Time-of-Flight networks for indoor
positioning systems},
booktitle = {{IDAACS}},
pages = {455--460},
publisher = {{IEEE}},
year = {2013}
}
@inproceedings{DBLP:conf/semweb/GerberHBSUN13,
author = {Daniel Gerber and
Sebastian Hellmann and
Lorenz B{\"{u}}hmann and
Tommaso Soru and
Ricardo Usbeck and
Axel{-}Cyrille Ngonga Ngomo},
title = {Real-Time {RDF} Extraction from Unstructured Data Streams},
booktitle = {{ISWC} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {8218},
pages = {135--150},
publisher = {Springer},
year = {2013}
}
@incollection{DBLP:series/natosec/FahrenbergLLT13,
author = {Uli Fahrenberg and
Kim G. Larsen and
Axel Legay and
Claus R. Thrane},
title = {Model-Based Verification, Optimization, Synthesis and Performance
Evaluation of Real-Time Systems},
booktitle = {Engineering Dependable Software Systems},
series = {{NATO} Science for Peace and Security Series, {D:} Information and
Communication Security},
volume = {34},
pages = {235--273},
publisher = {{IOS} Press},
year = {2013}
}
@article{DBLP:journals/corr/AllamigeonFGKL13,
author = {Xavier Allamigeon and
Uli Fahrenberg and
St{\'{e}}phane Gaubert and
Ricardo David Katz and
Axel Legay},
title = {Tropical Fourier-Motzkin elimination, with an application to real-time
verification},
journal = {CoRR},
volume = {abs/1308.2122},
year = {2013}
}
@article{DBLP:journals/acta/BozzelliLP12,
author = {Laura Bozzelli and
Axel Legay and
Sophie Pinchinat},
title = {On timed alternating simulation for concurrent timed games},
journal = {Acta Informatica},
volume = {49},
number = {4},
pages = {249--279},
year = {2012}
}
@article{DBLP:journals/ijertcs/LiuLKJ12,
author = {Ming Liu and
Zhonghai Lu and
Wolfgang Kuehn and
Axel Jantsch},
title = {A Survey of {FPGA} Dynamic Reconfiguration Design Methodology and
Applications},
journal = {Int. J. Embed. Real Time Commun. Syst.},
volume = {3},
number = {2},
pages = {23--39},
year = {2012}
}
@article{DBLP:journals/scp/BertrandLPR12,
author = {Nathalie Bertrand and
Axel Legay and
Sophie Pinchinat and
Jean{-}Baptiste Raclet},
title = {Modal event-clock specifications for timed component-based design},
journal = {Sci. Comput. Program.},
volume = {77},
number = {12},
pages = {1212--1234},
year = {2012}
}
@article{DBLP:journals/sttt/DavidLLMNRSW12,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Mikael H. M{\o}ller and
Ulrik Nyman and
Anders P. Ravn and
Arne Skou and
Andrzej Wasowski},
title = {Compositional verification of real-time systems using Ecdar},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {6},
pages = {703--720},
year = {2012}
}
@article{DBLP:journals/tecs/ZhuSJ12,
author = {Jun Zhu and
Ingo Sander and
Axel Jantsch},
title = {Performance Analysis of Reconfigurations in Adaptive Real-Time Streaming
Applications},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {11},
number = {{S1}},
pages = {12},
year = {2012}
}
@article{DBLP:journals/tsp/AxellL12,
author = {Erik Axell and
Erik G. Larsson},
title = {Eigenvalue-Based Spectrum Sensing of Orthogonal Space-Time Block Coded
Signals},
journal = {{IEEE} Trans. Signal Process.},
volume = {60},
number = {12},
pages = {6724--6728},
year = {2012}
}
@inproceedings{DBLP:conf/acisp/PoschmannR12,
author = {Axel Poschmann and
Matthew J. B. Robshaw},
title = {On Area, Time, and the Right Trade-Off},
booktitle = {{ACISP}},
series = {Lecture Notes in Computer Science},
volume = {7372},
pages = {404--418},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/aina/AleksyK12,
author = {Markus Aleksy and
Axel Korthaus},
title = {Time-Dependent Execution Pattern},
booktitle = {{AINA}},
pages = {338--343},
publisher = {{IEEE} Computer Society},
year = {2012}
}
@inproceedings{DBLP:conf/date/AxerSE12,
author = {Philip Axer and
Maurice Sebastian and
Rolf Ernst},
title = {Probabilistic response time bound for {CAN} messages with arbitrary
deadlines},
booktitle = {{DATE}},
pages = {1114--1117},
publisher = {{IEEE}},
year = {2012}
}
@inproceedings{DBLP:conf/date/LiuJL12,
author = {Shaoteng Liu and
Axel Jantsch and
Zhonghai Lu},
title = {Parallel probing: Dynamic and constant time setup procedure in circuit
switching NoC},
booktitle = {{DATE}},
pages = {1289--1294},
publisher = {{IEEE}},
year = {2012}
}
@inproceedings{DBLP:conf/eccv/BrkicPKS12,
author = {Karla Brkic and
Axel Pinz and
Zoran Kalafatic and
Sinisa Segvic},
title = {Towards Space-Time Semantics in Two Frames},
booktitle = {{ECCV} Workshops {(3)}},
series = {Lecture Notes in Computer Science},
volume = {7585},
pages = {121--130},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/forte/DelahayeFHLN12,
author = {Beno{\^{\i}}t Delahaye and
Uli Fahrenberg and
Thomas A. Henzinger and
Axel Legay and
Dejan Nickovic},
title = {Synchronous Interface Theories and Time Triggered Scheduling},
booktitle = {{FMOODS/FORTE}},
series = {Lecture Notes in Computer Science},
volume = {7273},
pages = {203--218},
publisher = {Springer},
year = {2012}
}
@inproceedings{DBLP:conf/itsc/KringsSA12,
author = {Axel W. Krings and
Ahmed Serageldin and
Ahmed Abdel{-}Rahim},
title = {A prototype for a real-time weather responsive system},
booktitle = {{ITSC}},
pages = {1465--1470},
publisher = {{IEEE}},
year = {2012}
}
@inproceedings{DBLP:conf/rtss/NeukirchnerMAQE12,
author = {Moritz Neukirchner and
Tobias Michaels and
Philip Axer and
Sophie Quinton and
Rolf Ernst},
title = {Monitoring Arbitrary Activation Patterns in Real-Time Systems},
booktitle = {{RTSS}},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2012}
}
@inproceedings{DBLP:conf/splc/CordySHL12,
author = {Maxime Cordy and
Pierre{-}Yves Schobbens and
Patrick Heymans and
Axel Legay},
title = {Behavioural modelling and verification of real-time software product
lines},
booktitle = {{SPLC} {(1)}},
pages = {66--75},
publisher = {{ACM}},
year = {2012}
}
@inproceedings{DBLP:journals/corr/abs-1207-1272,
author = {Peter E. Bulychev and
Alexandre David and
Kim Guldstrand Larsen and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Axel Legay and
Zheng Wang},
title = {{UPPAAL-SMC:} Statistical Model Checking for Priced Timed Automata},
booktitle = {{QAPL}},
series = {{EPTCS}},
volume = {85},
pages = {1--16},
year = {2012}
}
@article{DBLP:journals/eor/HuangADC11,
author = {Shuo Huang and
Sven Axs{\"{a}}ter and
Yifan Dou and
Jian Chen},
title = {A real-time decision rule for an inventory system with committed service
time and emergency orders},
journal = {Eur. J. Oper. Res.},
volume = {215},
number = {1},
pages = {70--79},
year = {2011}
}
@article{DBLP:journals/esi/Machado-MachadoNEC11,
author = {Elia Axinia Machado{-}Machado and
Neeti Neeti and
J. Ronald Eastman and
Hao Chen},
title = {Implications of space-time orientation for Principal Components Analysis
of Earth observation image time series},
journal = {Earth Sci. Informatics},
volume = {4},
number = {3},
pages = {117--124},
year = {2011}
}
@article{DBLP:journals/iando/HislopA11,
author = {Donald Hislop and
Carolyn M. Axtell},
title = {Mobile phones during work and non-work time: {A} case study of mobile,
non-managerial workers},
journal = {Inf. Organ.},
volume = {21},
number = {1},
pages = {41--56},
year = {2011}
}
@article{DBLP:journals/tits/SimrothZ11,
author = {Axel Simroth and
Henryk Z{\"{a}}hle},
title = {Travel Time Prediction Using Floating Car Data Applied to Logistics
Planning},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {12},
number = {1},
pages = {243--253},
year = {2011}
}
@inproceedings{DBLP:conf/cav/DavidLLMW11,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Zheng Wang},
title = {Time for Statistical Model Checking of Real-Time Systems},
booktitle = {{CAV}},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {349--355},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/codes/AxerSE11,
author = {Philip Axer and
Maurice Sebastian and
Rolf Ernst},
title = {Reliability analysis for MPSoCs with mixed-critical, hard real-time
constraints},
booktitle = {{CODES+ISSS}},
pages = {149--158},
publisher = {{ACM}},
year = {2011}
}
@inproceedings{DBLP:conf/formats/DavidLLMPVW11,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Jonas van Vliet and
Zheng Wang},
title = {Statistical Model Checking for Networks of Priced Timed Automata},
booktitle = {{FORMATS}},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {80--96},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/formats/LarsenLTW11,
author = {Kim G. Larsen and
Axel Legay and
Louis{-}Marie Traonouez and
Andrzej Wasowski},
title = {Robust Specification of Real Time Components},
booktitle = {{FORMATS}},
series = {Lecture Notes in Computer Science},
volume = {6919},
pages = {129--144},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/fsttcs/FahrenbergLT11,
author = {Uli Fahrenberg and
Axel Legay and
Claus R. Thrane},
title = {The Quantitative Linear-Time--Branching-Time Spectrum},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {13},
pages = {103--114},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011}
}
@inproceedings{DBLP:conf/ijcai/NgomoA11,
author = {Axel{-}Cyrille Ngonga Ngomo and
S{\"{o}}ren Auer},
title = {{LIMES} - {A} Time-Efficient Approach for Large-Scale Link Discovery
on the Web of Data},
booktitle = {{IJCAI}},
pages = {2312--2317},
publisher = {{IJCAI/AAAI}},
year = {2011}
}
@inproceedings{DBLP:conf/micad/NagarajanHSRKW11,
author = {Mahesh B. Nagarajan and
Markus B. Huber and
Thomas Schlossbauer and
Lawrence A. Ray and
Andrzej Kr{\'{o}}l and
Axel Wism{\"{u}}ller},
title = {Lesion classification on breast {MRI} through topological characterization
of morphology over time},
booktitle = {Medical Imaging: Computer-Aided Diagnosis},
series = {{SPIE} Proceedings},
volume = {7963},
pages = {79631U},
publisher = {{SPIE}},
year = {2011}
}
@inproceedings{DBLP:conf/onlinegreencomm/ChongJ11,
author = {Zhijiat Chong and
Eduard A. Jorswieck},
title = {Energy-efficient power control for {MIMO} time-varying channels},
booktitle = {OnlineGreenComm},
pages = {92--97},
publisher = {{IEEE}},
year = {2011}
}
@inproceedings{DBLP:conf/ph/CzabkeML11,
author = {Axel Czabke and
Sebastian Marsch and
Tim C. Lueth},
title = {Accelerometer based real-time activity analysis on a microcontroller},
booktitle = {PervasiveHealth},
pages = {40--46},
publisher = {{IEEE}},
year = {2011}
}
@inproceedings{DBLP:conf/prdc/SebastianAE11,
author = {Maurice Sebastian and
Philip Axer and
Rolf Ernst},
title = {Utilizing Hidden Markov Models for Formal Reliability Analysis of
Real-Time Communication Systems with Errors},
booktitle = {{PRDC}},
pages = {79--88},
publisher = {{IEEE} Computer Society},
year = {2011}
}
@inproceedings{DBLP:conf/qest/SchropferK11,
author = {Axel Schr{\"{o}}pfer and
Florian Kerschbaum},
title = {Forecasting Run-Times of Secure Two-Party Computation},
booktitle = {{QEST}},
pages = {181--190},
publisher = {{IEEE} Computer Society},
year = {2011}
}
@inproceedings{DBLP:conf/rc/Axelsen11,
author = {Holger Bock Axelsen},
title = {Time Complexity of Tape Reduction for Reversible Turing Machines},
booktitle = {{RC}},
series = {Lecture Notes in Computer Science},
volume = {7165},
pages = {1--13},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/scia/BrkicPSK11,
author = {Karla Brkic and
Axel Pinz and
Sinisa Segvic and
Zoran Kalafatic},
title = {Histogram-Based Description of Local Space-Time Appearance},
booktitle = {{SCIA}},
series = {Lecture Notes in Computer Science},
volume = {6688},
pages = {206--217},
publisher = {Springer},
year = {2011}
}
@inproceedings{DBLP:conf/semweb/Ngomo11,
author = {Axel{-}Cyrille Ngonga Ngomo},
title = {A time-efficient hybrid approach to link discovery},
booktitle = {{OM}},
series = {{CEUR} Workshop Proceedings},
volume = {814},
publisher = {CEUR-WS.org},
year = {2011}
}
@incollection{DBLP:books/daglib/p/AxelrodH11,
author = {C. Warren Axelrod and
Sukumar Haldar},
title = {Combined Impact of Outsourcing and Hard Times on {BPO} Risk and Security},
booktitle = {Cyber Security, Cyber Crime and Cyber Forensics},
pages = {24--32},
publisher = {{IGI} Global},
year = {2011}
}
@article{DBLP:journals/corr/abs-1106-3961,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Marius Mikucionis and
Danny B{\o}gsted Poulsen and
Jonas van Vliet and
Zheng Wang},
title = {Stochastic Semantics and Statistical Model Checking for Networks of
Priced Timed Automata},
journal = {CoRR},
volume = {abs/1106.3961},
year = {2011}
}
@article{DBLP:journals/corr/abs-1109-6313,
author = {Marco Liuni and
Axel R{\"{o}}bel and
Marco Romito and
Xavier Rodet},
title = {A Reduced Multiple Gabor Frame for Local Time Adaptation of the Spectrogram},
journal = {CoRR},
volume = {abs/1109.6313},
year = {2011}
}
@article{DBLP:journals/corr/abs-1109-6314,
author = {Marco Liuni and
Axel R{\"{o}}bel and
Marco Romito and
Xavier Rodet},
title = {An Entropy Based Method for Local Time-Adaptation of the Spectrogram},
journal = {CoRR},
volume = {abs/1109.6314},
year = {2011}
}
@article{DBLP:journals/corr/abs-1109-6651,
author = {Marco Liuni and
P{\'{e}}ter Bal{\'{a}}zs and
Axel R{\"{o}}bel},
title = {Sound Analysis and Synthesis Adaptive in Time and Two Frequency Bands},
journal = {CoRR},
volume = {abs/1109.6651},
year = {2011}
}
@article{DBLP:journals/tie/MehtaBI10,
author = {Axaykumar J. Mehta and
Bijnan Bandyopadhyay and
Akira Inoue},
title = {Reduced-Order Observer Design for Servo System Using Duality to Discrete-Time
Sliding-Surface Design},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {57},
number = {11},
pages = {3793--3800},
year = {2010}
}
@inproceedings{DBLP:conf/atva/DavidLLNW10,
author = {Alexandre David and
Kim Guldstrand Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
title = {{ECDAR:} An Environment for Compositional Design and Analysis of Real
Time Systems},
booktitle = {{ATVA}},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {365--370},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/cmmr/LiuniRRR10,
author = {Marco Liuni and
Axel R{\"{o}}bel and
Marco Romito and
Xavier Rodet},
title = {An Entropy Based Method for Local Time-Adaptation of the Spectrogram},
booktitle = {{CMMR}},
series = {Lecture Notes in Computer Science},
volume = {6684},
pages = {60--75},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/hybrid/DavidLLNW10,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
title = {Timed {I/O} automata: a complete specification theory for real-time
systems},
booktitle = {{HSCC}},
pages = {91--100},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/icassp/AxellL10,
author = {Erik Axell and
Erik G. Larsson},
title = {Spectrum sensing of orthogonal space-time block coded signals with
multiple receive antennas},
booktitle = {{ICASSP}},
pages = {3110--3113},
publisher = {{IEEE}},
year = {2010}
}
@inproceedings{DBLP:conf/icassp/DegottexRR10,
author = {Gilles Degottex and
Axel R{\"{o}}bel and
Xavier Rodet},
title = {Joint estimate of shape and time-synchronization of a glottal source
model by phase flatness},
booktitle = {{ICASSP}},
pages = {5058--5061},
publisher = {{IEEE}},
year = {2010}
}
@inproceedings{DBLP:conf/jtres/KratzerB10,
author = {Kevin Kratzer and
Axel B{\"{o}}ttcher},
title = {Using an RTSJ-compatible {MVC} pattern as basis for configurable event-driven
real-time software},
booktitle = {{JTRES}},
series = {{ACM} International Conference Proceeding Series},
pages = {8--15},
publisher = {{ACM}},
year = {2010}
}
@inproceedings{DBLP:conf/paap/ChenLJC10,
author = {Xiaowen Chen and
Zhonghai Lu and
Axel Jantsch and
Shuming Chen},
title = {Run-Time Partitioning of Hybrid Distributed Shared Memory on Multi-core
Network-on-Chips},
booktitle = {{PAAP}},
pages = {39--46},
publisher = {{IEEE} Computer Society},
year = {2010}
}
@inproceedings{DBLP:conf/recosoc/LiuLKJ10,
author = {Ming Liu and
Zhonghai Lu and
Wolfgang Kuehn and
Axel Jantsch},
title = {Reducing {FPGA} Reconfiguration Time Overhead using Virtual Configurations},
booktitle = {ReCoSoC},
series = {{KIT} Scientific Reports},
volume = {7551},
pages = {149--152},
publisher = {{KIT} Scientific Publishing},
year = {2010}
}
@inproceedings{DBLP:conf/vmcai/ChadhaLPV10,
author = {Rohit Chadha and
Axel Legay and
Pavithra Prabhakar and
Mahesh Viswanathan},
title = {Complexity Bounds for the Verification of Real-Time Software},
booktitle = {{VMCAI}},
series = {Lecture Notes in Computer Science},
volume = {5944},
pages = {95--111},
publisher = {Springer},
year = {2010}
}
@inproceedings{DBLP:conf/wadt/BourkeDLLLNW10,
author = {Timothy Bourke and
Alexandre David and
Kim G. Larsen and
Axel Legay and
Didier Lime and
Ulrik Nyman and
Andrzej Wasowski},
title = {New Results on Timed Specifications},
booktitle = {{WADT}},
series = {Lecture Notes in Computer Science},
volume = {7137},
pages = {175--192},
publisher = {Springer},
year = {2010}
}
@article{DBLP:journals/bmcsb/CournacS09,
author = {Axel Cournac and
Jacques{-}A. Sepulchre},
title = {Simple molecular networks that respond optimally to time-periodic
stimulation},
journal = {{BMC} Syst. Biol.},
volume = {3},
pages = {29},
year = {2009}
}
@article{DBLP:journals/gandc/GerikK09,
author = {Axel Gerik and
J{\"{o}}rn H. Kruhl},
title = {Towards automated pattern quantification: Time-efficient assessment
of anisotropy of 2D patterns with {AMOCADO}},
journal = {Comput. Geosci.},
volume = {35},
number = {6},
pages = {1087--1097},
year = {2009}
}
@article{DBLP:journals/ijbi/Meyer-BaseSLW09,
author = {Anke Meyer{-}B{\"{a}}se and
Thomas Schlossbauer and
Oliver Lange and
Axel Wism{\"{u}}ller},
title = {Small Lesions Evaluation Based on Unsupervised Cluster Analysis of
Signal-Intensity Time Courses in Dynamic Breast {MRI}},
journal = {Int. J. Biomed. Imaging},
volume = {2009},
pages = {326924:1--326924:10},
year = {2009}
}
@article{DBLP:journals/ijcga/BekkerBR09,
author = {Henk Bekker and
Axel Brink and
Jos B. T. M. Roerdink},
title = {Reducing the Time Complexity and Identifying Ill-posed Problem Instances
of Minkowski Sum Based Similarity calculations},
journal = {Int. J. Comput. Geom. Appl.},
volume = {19},
number = {5},
pages = {441--456},
year = {2009}
}
@article{DBLP:journals/midm/BreilSD09,
author = {Bernhard Breil and
Axel Semjonow and
Martin Dugas},
title = {HIS-based electronic documentation can significantly reduce the time
from biopsy to final report for prostate tumours and supports quality
management as well as clinical research},
journal = {{BMC} Medical Informatics Decis. Mak.},
volume = {9},
pages = {5},
year = {2009}
}
@inproceedings{DBLP:conf/adhs/DingSEL09,
author = {Xu Chu Ding and
Axel Schild and
Magnus Egerstedt and
Jan Lunze},
title = {Real-time optimal feedback control of switched autonomous systems},
booktitle = {{ADHS}},
series = {{IFAC} Proceedings Volumes},
volume = {42},
number = {17},
pages = {108--113},
publisher = {Elsevier},
year = {2009}
}
@inproceedings{DBLP:conf/ams/KuhnertALVK09,
author = {Lars Kuhnert and
Markus Ax and
Matthias Langer and
Duong Nguyen Van and
Klaus{-}Dieter Kuhnert},
title = {Absolute High-Precision Localisation of an Unmanned Ground Vehicle
by Using Real-Time Aerial Video Imagery for Geo-referenced Orthophoto
Registration},
booktitle = {{AMS}},
series = {Informatik Aktuell},
pages = {145--152},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/csiirw/MaKM09,
author = {Zhanshan (Sam) Ma and
Axel W. Krings and
Richard C. Millar},
title = {Introduction of first passage time {(FPT)} analysis for software reliability
and network security},
booktitle = {{CSIIRW}},
pages = {63},
publisher = {{ACM}},
year = {2009}
}
@inproceedings{DBLP:conf/date/ZhuSJ09,
author = {Jun Zhu and
Ingo Sander and
Axel Jantsch},
title = {Buffer minimization of real-time streaming applications scheduling
on hybrid {CPU/FPGA} architectures},
booktitle = {{DATE}},
pages = {1506--1511},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/fmco/DavidLLNW09,
author = {Alexandre David and
Kim G. Larsen and
Axel Legay and
Ulrik Nyman and
Andrzej Wasowski},
title = {Methodologies for Specification of Real-Time Systems Using Timed {I/O}
Automata},
booktitle = {{FMCO}},
series = {Lecture Notes in Computer Science},
volume = {6286},
pages = {290--310},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/fpl/LiuKLJ09,
author = {Ming Liu and
Wolfgang Kuehn and
Zhonghai Lu and
Axel Jantsch},
title = {Run-time Partial Reconfiguration speed investigation and architectural
design space exploration},
booktitle = {{FPL}},
pages = {498--502},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/fsttcs/BozzelliLP09,
author = {Laura Bozzelli and
Axel Legay and
Sophie Pinchinat},
title = {On Timed Alternating Simulation for Concurrent Timed Games},
booktitle = {{FSTTCS}},
series = {LIPIcs},
volume = {4},
pages = {85--96},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2009}
}
@inproceedings{DBLP:conf/icassp/BjornsonOJ09,
author = {Emil Bj{\"{o}}rnson and
Bj{\"{o}}rn E. Ottersten and
Eduard A. Jorswieck},
title = {On the impact of spatial correlation and precoder design on the performance
of {MIMO} systems with space-time coding},
booktitle = {{ICASSP}},
pages = {2741--2744},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/icfem/BertrandLPR09,
author = {Nathalie Bertrand and
Axel Legay and
Sophie Pinchinat and
Jean{-}Baptiste Raclet},
title = {A Compositional Approach on Modal Specifications for Timed Systems},
booktitle = {{ICFEM}},
series = {Lecture Notes in Computer Science},
volume = {5885},
pages = {679--697},
publisher = {Springer},
year = {2009}
}
@inproceedings{DBLP:conf/icmc/SchnellRSPB09,
author = {Norbert Schnell and
Axel R{\"{o}}bel and
Diemo Schwarz and
Geoffroy Peeters and
Riccardo Borghesi},
title = {MuBu and Friends - Assembling Tools for Content Based Real-Time Interactive
Audio Processing in Max/MSP},
booktitle = {{ICMC}},
publisher = {Michigan Publishing},
year = {2009}
}
@inproceedings{DBLP:conf/ipps/SanderZJHHN09,
author = {Ingo Sander and
Jun Zhu and
Axel Jantsch and
Andreas Herrholz and
Philipp A. Hartmann and
Wolfgang Nebel},
title = {High-level estimation and trade-off analysis for adaptive real-time
systems},
booktitle = {{IPDPS}},
pages = {1--4},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/isit/JorswieckM09,
author = {Eduard A. Jorswieck and
Martin Mittelbach},
title = {Average capacity analysis of continuous-time frequency-selective Rayleigh
fading channels with correlated scattering using majorization},
booktitle = {{ISIT}},
pages = {576--580},
publisher = {{IEEE}},
year = {2009}
}
@inproceedings{DBLP:conf/psivt/AxnickJN09,
author = {Karl Axnick and
Ray Jarvis and
Kim C. Ng},
title = {Using Face Quality Ratings to Improve Real-Time Face Recognition},
booktitle = {{PSIVT}},
series = {Lecture Notes in Computer Science},
volume = {5414},
pages = {13--24},
publisher = {Springer},
year = {2009}
}
@article{DBLP:journals/corr/abs-0901-2042,
author = {Eduard A. Jorswieck and
Martin Mittelbach},
title = {Average Capacity Analysis of Continuous-Time Frequency-Selective Rayleigh
Fading Channels with Correlated Scattering Using Majorization},
journal = {CoRR},
volume = {abs/0901.2042},
year = {2009}
}
@article{DBLP:journals/corr/abs-0907-0597,
author = {James M. Whitacre and
Axel Bender and
Stephen Baker and
Qi Fan and
Ruhul A. Sarker and
Hussein A. Abbass},
title = {Network Topology and Time Criticality Effects in the Modularised Fleet
Mix Problem},
journal = {CoRR},
volume = {abs/0907.0597},
year = {2009}
}
@article{DBLP:journals/ejwcn/JorswieckOSP08,
author = {Eduard A. Jorswieck and
Bj{\"{o}}rn E. Ottersten and
Aydin Sezgin and
Arogyaswami Paulraj},
title = {Guaranteed Performance Region in Fading Orthogonal Space-Time Coded
Broadcast Channels},
journal = {{EURASIP} J. Wirel. Commun. Netw.},
volume = {2008},
year = {2008}
}
@article{DBLP:journals/stvr/BlomDIKPRS08,
author = {Stefan Blom and
Thomas Dei{\ss} and
Natalia Ioustinova and
Ari Kontio and
Jaco van de Pol and
Axel Rennoch and
Natalia Sidorova},
title = {Simulated time for host-based testing with {TTCN-3}},
journal = {Softw. Test. Verification Reliab.},
volume = {18},
number = {1},
pages = {29--49},
year = {2008}
}
@article{DBLP:journals/todaes/KhatibPBBBKJN08,
author = {Iyad Al Khatib and
Francesco Poletti and
Davide Bertozzi and
Luca Benini and
Mohamed Bechara and
Hasan Khalifeh and
Axel Jantsch and
Rustam Nabiev},
title = {A multiprocessor system-on-chip for real-time biomedical monitoring
and analysis: {ECG} prototype architectural design space exploration},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {13},
number = {2},
pages = {31:1--31:21},
year = {2008}
}
@inproceedings{DBLP:conf/dsd/LiuKLJ08,
author = {Ming Liu and
Wolfgang Kuehn and
Zhonghai Lu and
Axel Jantsch},
title = {System-on-an-FPGA Design for Real-time Particle Track Recognition
and Reconstruction in Physics Experiments},
booktitle = {{DSD}},
pages = {599--605},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@inproceedings{DBLP:conf/dsd/PaciNCBM08,
author = {Giacomo Paci and
Axel Nackaerts and
Francky Catthoor and
Luca Benini and
Paul Marchal},
title = {How to Live with Uncertainties: Exploiting the Performance Benefits
of Self-Timed Logic In Synchronous Design},
booktitle = {{DSD}},
pages = {550--557},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@inproceedings{DBLP:conf/estimedia/ZhuSJ08,
author = {Jun Zhu and
Ingo Sander and
Axel Jantsch},
title = {Performance analysis of reconfiguration in adaptive real-time streaming
applications},
booktitle = {ESTIMedia},
pages = {53--58},
publisher = {{IEEE} Computer Society},
year = {2008}
}
@inproceedings{DBLP:conf/eusipco/CecottiG08,
author = {Hubert Cecotti and
Axel Gr{\"{a}}ser},
title = {Time Delay Neural Network with Fourier transform for multiple channel
detection of Steady-State Visual Evoked Potentials for Brain-Computer
Interfaces},
booktitle = {{EUSIPCO}},
pages = {1--5},
publisher = {{IEEE}},
year = {2008}
}
@inproceedings{DBLP:journals/entcs/FaellaLS08,
author = {Marco Faella and
Axel Legay and
Mari{\"{e}}lle Stoelinga},
title = {Model Checking Quantitative Linear Time Logic},
booktitle = {{QAPL}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {3},
pages = {61--77},
publisher = {Elsevier},
year = {2008}
}
@article{DBLP:journals/bspc/Meyer-BaseSLW07,
author = {Anke Meyer{-}B{\"{a}}se and
Axel Saalbach and
Oliver Lange and
Axel Wism{\"{u}}ller},
title = {Unsupervised clustering of fMRI and {MRI} time series},
journal = {Biomed. Signal Process. Control.},
volume = {2},
number = {4},
pages = {295--310},
year = {2007}
}
@article{DBLP:journals/jcphy/FrankKLY07,
author = {Martin Frank and
Axel Klar and
Edward W. Larsen and
Shugo Yasuda},
title = {Time-dependent simplified P\({}_{\mbox{N}}\) approximation to the
equations of radiative transfer},
journal = {J. Comput. Phys.},
volume = {226},
number = {2},
pages = {2289--2305},
year = {2007}
}
@article{DBLP:journals/spl/SezginJB07,
author = {Aydin Sezgin and
Eduard A. Jorswieck and
Holger Boche},
title = {Performance Optimization of Open-Loop {MIMO} Systems With Orthogonal
Space-Time Block Codes},
journal = {{IEEE} Signal Process. Lett.},
volume = {14},
number = {1},
pages = {13--16},
year = {2007}
}
@article{DBLP:journals/thipeac/KhatibBPBJBKHNJ07,
author = {Iyad Al Khatib and
Davide Bertozzi and
Francesco Poletti and
Luca Benini and
Axel Jantsch and
Mohamed Bechara and
Hasan Khalifeh and
Mazen Hajjar and
Rustam Nabiev and
Sven Jonsson},
title = {Hardware/Software Architecture for Real-Time {ECG} Monitoring and
Analysis Leveraging MPSoC Technology},
journal = {Trans. High Perform. Embed. Archit. Compil.},
volume = {1},
pages = {239--258},
year = {2007}
}
@article{DBLP:journals/titb/Meyer-BaseLWH07,
author = {Anke Meyer{-}B{\"{a}}se and
Oliver Lange and
Axel Wism{\"{u}}ller and
Monica K. Hurdal},
title = {Analysis of Dynamic Susceptibility Contrast {MRI} Time Series Based
on Unsupervised Clustering Methods},
journal = {{IEEE} Trans. Inf. Technol. Biomed.},
volume = {11},
number = {5},
pages = {563--573},
year = {2007}
}
@article{DBLP:journals/wpc/ZhouKLALE07,
author = {Xin Zhou and
Persefoni Kyritsi and
Jimena Martinez Llorente and
Axel Adenet and
Christophe Lemasson and
Patrick C. F. Eggers},
title = {Assessment of {MISO} time reversal for short-range communications
in the 5 GHz {ISM} band},
journal = {Wirel. Pers. Commun.},
volume = {43},
number = {2},
pages = {759--776},
year = {2007}
}
@inproceedings{DBLP:conf/fpl/HerrholzOHSNGDHBHVSJFM07,
author = {Andreas Herrholz and
Frank Oppenheimer and
Philipp A. Hartmann and
Andreas Schallenberg and
Wolfgang Nebel and
Christoph Grimm and
Markus Damm and
Jan Haase and
Florian Brame and
Fernando Herrera and
Eugenio Villar and
Ingo Sander and
Axel Jantsch and
Anne{-}Marie Fouilliart and
Marcos Mart{\'{\i}}nez},
title = {The {ANDRES} Project: Analysis and Design of Run-Time Reconfigurable,
Heterogeneous Systems},
booktitle = {{FPL}},
pages = {396--401},
publisher = {{IEEE}},
year = {2007}
}
@inproceedings{DBLP:conf/iccsa/NieseAPM07,
author = {Robert Niese and
Ayoub Al{-}Hamadi and
Axel Panning and
Bernd Michaelis},
title = {Real-Time Capable Method for Facial Expression Recognition in Color
and Stereo Vision},
booktitle = {{ICCSA} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {4705},
pages = {397--408},
publisher = {Springer},
year = {2007}
}
@inproceedings{DBLP:conf/ijcnn/Meyer-BaseS07,
author = {Anke Meyer{-}B{\"{a}}se and
Axel Saalbach},
title = {Graphical Model-Based {ICA} Applied to the Analysis of fMRI and {MRI}
Time Series},
booktitle = {{IJCNN}},
pages = {1651--1656},
publisher = {{IEEE}},
year = {2007}
}
@inproceedings{DBLP:conf/isit/JorswieckOSP07,
author = {Eduard A. Jorswieck and
Bj{\"{o}}rn E. Ottersten and
Aydin Sezgin and
Arogyaswami Paulraj},
title = {Guaranteed Performance Region in Fading Orthogonal Space-Time Coded
Broadcast Channels},
booktitle = {{ISIT}},
pages = {96--100},
publisher = {{IEEE}},
year = {2007}
}
@inproceedings{DBLP:conf/wowmom/VieringBSK07,
author = {Ingo Viering and
Christian Buchner and
E. Seidel and
Axel Klein},
title = {Real-time Network Simulation of 3GPP Long Term Evolution},
booktitle = {{WOWMOM}},
pages = {1--3},
publisher = {{IEEE} Computer Society},
year = {2007}
}
@article{DBLP:journals/eor/Axsater06,
author = {Sven Axs{\"{a}}ter},
title = {A simple procedure for determining order quantities under a fill rate
constraint and normally distributed lead-time demand},
journal = {Eur. J. Oper. Res.},
volume = {174},
number = {1},
pages = {480--491},
year = {2006}
}
@article{DBLP:journals/hf/BuchnerBBW06,
author = {Axel Buchner and
Martin Brandt and
Raoul Bell and
Judith Weise},
title = {Car Backlight Position and Fog Density Bias Observer-Car Distance
Estimates and Time-to-Collision Judgments},
journal = {Hum. Factors},
volume = {48},
number = {2},
pages = {300--317},
year = {2006}
}
@article{DBLP:journals/tac/EgerstedtWA06,
author = {Magnus Egerstedt and
Yorai Wardi and
Henrik Axelsson},
title = {Transition-time optimization for switched-mode dynamical systems},
journal = {{IEEE} Trans. Autom. Control.},
volume = {51},
number = {1},
pages = {110--115},
year = {2006}
}
@article{DBLP:journals/tbe/FahmyKO06,
author = {Ahmed S. Fahmy and
Axel Krieger and
Nael F. Osman},
title = {An integrated system for real-time detection of stiff masses with
a single compression},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {53},
number = {7},
pages = {1286--1293},
year = {2006}
}
@article{DBLP:journals/tmi/WismullerMLRL06,
author = {Axel Wism{\"{u}}ller and
Anke Meyer{-}B{\"{a}}se and
Oliver Lange and
Maximilian F. Reiser and
Gerda L. Leinsinger},
title = {Cluster analysis of dynamic cerebral contrast-enhanced perfusion {MRI}
time-series},
journal = {{IEEE} Trans. Medical Imaging},
volume = {25},
number = {1},
pages = {62--73},
year = {2006}
}
@inproceedings{DBLP:conf/amcc/AxelssonEW06,
author = {Henrik Axelsson and
Magnus Egerstedt and
Yorai Wardi},
title = {Trade-offs between precision and computation horizon in real-time
optimal control of switched systems},
booktitle = {{ACC}},
pages = {1--6},
publisher = {{IEEE}},
year = {2006}
}
@inproceedings{DBLP:conf/cf/KhatibBPBJBKHNJ06,
author = {Iyad Al Khatib and
Davide Bertozzi and
Francesco Poletti and
Luca Benini and
Axel Jantsch and
Mohamed Bechara and
Hasan Khalifeh and
Mazen Hajjar and
Rustam Nabiev and
Sven Jonsson},
title = {MPSoC {ECG} biochip: a multiprocessor system-on-chip for real-time
human heart monitoring and analysis},
booktitle = {Conf. Computing Frontiers},
pages = {21--28},
publisher = {{ACM}},
year = {2006}
}
@inproceedings{DBLP:conf/dac/KhatibPBBBKJN06,
author = {Iyad Al Khatib and
Francesco Poletti and
Davide Bertozzi and
Luca Benini and
Mohamed Bechara and
Hasan Khalifeh and
Axel Jantsch and
Rustam Nabiev},
title = {A multiprocessor system-on-chip for real-time biomedical monitoring
and analysis: architectural design space exploration},
booktitle = {{DAC}},
pages = {125--130},
publisher = {{ACM}},
year = {2006}
}
@article{DBLP:journals/ejasp/PeppasALAA05,
author = {Kostas Peppas and
Angeliki Alexiou and
Fotis I. Lazarakis and
Tareq Al{-}Gizawi and
Dimitrios I. Axiotis},
title = {Performance Evaluation at the System Level of Reconfigurable Space-Time
Coding Techniques for {HSDPA}},
journal = {{EURASIP} J. Adv. Signal Process.},
volume = {2005},
number = {11},
pages = {1656--1667},
year = {2005}
}
@article{DBLP:journals/icl/SezginJ05,
author = {Aydin Sezgin and
Eduard A. Jorswieck},
title = {Capacity achieving high rate space-time block codes},
journal = {{IEEE} Commun. Lett.},
volume = {9},
number = {5},
pages = {435--437},
year = {2005}
}
@article{DBLP:journals/ors/Axsater05,
author = {Sven Axs{\"{a}}ter},
title = {Planning order releases for an assembly system with random operation
times},
journal = {{OR} Spectr.},
volume = {27},
number = {2-3},
pages = {459--470},
year = {2005}
}
@article{DBLP:journals/tit/BissantzHM05,
author = {Nicolai Bissantz and
Hajo Holzmann and
Axel Munk},
title = {Testing parametric assumptions on band- or time-limited signals under
noise},
journal = {{IEEE} Trans. Inf. Theory},
volume = {51},
number = {11},
pages = {3796--3805},
year = {2005}
}
@article{DBLP:journals/tsp/SezginJ05,
author = {Aydin Sezgin and
Eduard A. Jorswieck},
title = {Impact of the mapping strategy on the performance of {APP} decoded
space-time block codes},
journal = {{IEEE} Trans. Signal Process.},
volume = {53},
number = {12},
pages = {4685--4690},
year = {2005}
}
@inproceedings{DBLP:conf/IEEEisic/AxelssonEWV05,
author = {Henrik Axelsson and
Magnus Egerstedt and
Yorai Wardi and
George J. Vachtsevanos},
title = {Algorithm for Switching-Time Optimization in Hybrid Dynamical Systems},
booktitle = {{ISIC}},
pages = {256--261},
publisher = {{IEEE}},
year = {2005}
}
@inproceedings{DBLP:conf/cdc/AxelssonWEV05,
author = {Henrik Axelsson and
Yorai Wardi and
Magnus Egerstedt and
Erik I. Verriest},
title = {A Provably Convergent Algorithm for Transition-Time Optimization in
Switched Systems},
booktitle = {{CDC/ECC}},
pages = {1397--1402},
publisher = {{IEEE}},
year = {2005}
}
@inproceedings{DBLP:conf/fates/BlomIPRS05,
author = {Stefan Blom and
Natalia Ioustinova and
Jaco van de Pol and
Axel Rennoch and
Natalia Sidorova},
title = {Simulated Time for Testing Railway Interlockings with {TTCN-3}},
booktitle = {{FATES}},
series = {Lecture Notes in Computer Science},
volume = {3997},
pages = {1--15},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/fm/BohnenkampB05,
author = {Henrik C. Bohnenkamp and
Axel Belinfante},
title = {Timed Testing with TorX},
booktitle = {{FM}},
series = {Lecture Notes in Computer Science},
volume = {3582},
pages = {173--188},
publisher = {Springer},
year = {2005}
}
@inproceedings{DBLP:conf/icmc/RobelR05,
author = {Axel R{\"{o}}bel and
Xavier Rodet},
title = {Real Time signal Transposition with envelope Preservation in the phase
vocoder},
booktitle = {{ICMC}},
publisher = {Michigan Publishing},
year = {2005}
}
@inproceedings{DBLP:conf/rtcsa/Axelsson05,
author = {Jakob Axelsson},
title = {A Method for Evaluating Uncertainties in the Early Development Phases
of Embedded Real-Time Systems},
booktitle = {{RTCSA}},
pages = {72--75},
publisher = {{IEEE} Computer Society},
year = {2005}
}
@inproceedings{DBLP:conf/sigsoft/LandtsheerL05,
author = {Renaud De Landtsheer and
Axel van Lamsweerde},
title = {Reasoning about confidentiality at requirements engineering time},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {41--49},
publisher = {{ACM}},
year = {2005}
}
@inproceedings{DBLP:conf/time/MullerR05,
author = {Philippe Muller and
Axel Reymonet},
title = {Using Inference for Evaluating Models of Temporal Discourse},
booktitle = {{TIME}},
pages = {11--19},
publisher = {{IEEE} Computer Society},
year = {2005}
}
@article{DBLP:journals/eaai/Meyer-BasePWF04,
author = {Anke Meyer{-}B{\"{a}}se and
Sergei S. Pilyugin and
Axel Wism{\"{u}}ller and
Simon Foo},
title = {Local exponential stability of competitive neural networks with different
time scales},
journal = {Eng. Appl. Artif. Intell.},
volume = {17},
number = {3},
pages = {227--232},
year = {2004}
}
@article{DBLP:journals/icl/JorswieckS04,
author = {Eduard A. Jorswieck and
Aydin Sezgin},
title = {Impact of spatial correlation on the performance of orthogonal space-time
block codes},
journal = {{IEEE} Commun. Lett.},
volume = {8},
number = {1},
pages = {21--23},
year = {2004}
}
@inproceedings{DBLP:conf/icassp/AxelrodM04,
author = {Scott Axelrod and
Beno{\^{\i}}t Maison},
title = {Combination of hidden Markov models with dynamic time warping for
speech recognition},
booktitle = {{ICASSP} {(1)}},
pages = {173--176},
publisher = {{IEEE}},
year = {2004}
}
@inproceedings{DBLP:conf/iccsa/BekkerB04,
author = {Henk Bekker and
Axel Brink},
title = {Reducing the Time Complexity of Minkowski-Sum Based Similarity Calculations
by Using Geometric Inequalities},
booktitle = {{ICCSA} {(3)}},
series = {Lecture Notes in Computer Science},
volume = {3045},
pages = {32--41},
publisher = {Springer},
year = {2004}
}
@inproceedings{DBLP:conf/icra/MuehlmannRLP04,
author = {Ulrich Muehlmann and
Miguel Ribo and
Peter Lang and
Axel Pinz},
title = {A New High Speed {CMOS} Camera for Real-time Tracking Applications},
booktitle = {{ICRA}},
pages = {5195--5200},
publisher = {{IEEE}},
year = {2004}
}
@inproceedings{DBLP:conf/wsa/SezginJB04,
author = {Aydin Sezgin and
Eduard A. Jorswieck and
Holger Boche},
title = {On EXIT-chart analysis of coherent and noncoherent space-time codes},
booktitle = {{WSA}},
pages = {49--56},
publisher = {{IEEE}},
year = {2004}
}
@inproceedings{DBLP:journals/entcs/JohnsenOA05,
author = {Einar Broch Johnsen and
Olaf Owe and
Eyvind W. Axelsen},
title = {A Run-Time Environment for Concurrent Objects With Asynchronous Method
Calls},
booktitle = {{WRLA}},
series = {Electronic Notes in Theoretical Computer Science},
volume = {117},
pages = {375--392},
publisher = {Elsevier},
year = {2004}
}
@book{DBLP:books/daglib/0018487,
author = {Axel Jantsch},
title = {Modeling embedded systems and SoCs - concurrency and time in models
of computation},
series = {The Morgan Kaufmann series in systems on silicon},
publisher = {Elsevier Morgan Kaufmann},
year = {2003}
}
@article{DBLP:journals/automatica/Axelby03,
author = {George S. Axelby},
title = {Some Automatica history and recognition at a time of transition},
journal = {Autom.},
volume = {39},
number = {12},
pages = {2021--2022},
year = {2003}
}
@article{DBLP:journals/software/UhlA03,
author = {Axel Uhl and
Scott W. Ambler},
title = {Point/Counterpoint: Model Driven Architecture Is Ready for Prime Time
/ Agile Model Driven Development Is Good Enough},
journal = {{IEEE} Softw.},
volume = {20},
number = {5},
pages = {70--73},
year = {2003}
}
@article{DBLP:journals/tcs/Wabenhorst03,
author = {Axel Wabenhorst},
title = {Induction in the Timed Interval Calculus},
journal = {Theor. Comput. Sci.},
volume = {300},
number = {1-3},
pages = {181--207},
year = {2003}
}
@inproceedings{DBLP:conf/hybrid/KwiatkowskiLS03,
author = {Andreas Kwiatkowski and
Gerwald Lichtenberg and
Axel Schild},
title = {Event Prediction for Switching Linear Systems with Time Varying Thresholds
Using Orthogonal Functions},
booktitle = {{HSCC}},
series = {Lecture Notes in Computer Science},
volume = {2623},
pages = {314--327},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/icassp/SezginJ03,
author = {Aydin Sezgin and
Eduard A. Jorswieck},
title = {On optimal constellations for quasi-orthogonal space-time codes},
booktitle = {{ICASSP} {(4)}},
pages = {345--348},
publisher = {{IEEE}},
year = {2003}
}
@inproceedings{DBLP:conf/icmc/SchiettecatteNM03,
author = {Bert Schiettecatte and
Axel Nackaerts and
Bart De Moor},
title = {Real-Time Acoustics Simulation using Mesh-Tracing},
booktitle = {{ICMC}},
publisher = {Michigan Publishing},
year = {2003}
}
@inproceedings{DBLP:conf/icvs/ChandrakerSP03,
author = {Manmohan Krishna Chandraker and
Christoph Stock and
Axel Pinz},
title = {Real-Time Camera Pose in a Room},
booktitle = {{ICVS}},
series = {Lecture Notes in Computer Science},
volume = {2626},
pages = {98--110},
publisher = {Springer},
year = {2003}
}
@inproceedings{DBLP:conf/si3d/SteedSHAS03,
author = {Anthony Steed and
Maria Spante and
Ilona Heldal and
Ann{-}Sofie Axelsson and
Ralph Schroeder},
title = {Strangers and friends in caves: an exploratory study of collaboration
in networked {IPT} systems for extended periods of time},
booktitle = {{SI3D}},
pages = {51--54},
publisher = {{ACM}},
year = {2003}
}
@article{DBLP:journals/ijcv/WismullerLDLHPA02,
author = {Axel Wism{\"{u}}ller and
Oliver Lange and
Dominik R. Dersch and
Gerda L. Leinsinger and
Klaus Hahn and
Benno P{\"{u}}tz and
Dorothee Auer},
title = {Cluster Analysis of Biomedical Image Time-Series},
journal = {Int. J. Comput. Vis.},
volume = {46},
number = {2},
pages = {103--128},
year = {2002}
}
@article{DBLP:journals/tbe/HexamerMKW02,
author = {Martin Hexamer and
Mathias Meine and
Axel Kloppe and
J{\"{u}}rgen Werner},
title = {Rate-responsive pacing based on the atrio-ventricular conduction time},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {49},
number = {3},
pages = {185--195},
year = {2002}
}
@inproceedings{DBLP:conf/dagm/BrandnerP02,
author = {Markus Brandner and
Axel Pinz},
title = {Real-Time Tracking of Complex Objects Using Dynamic Interpretation
Tree},
booktitle = {DAGM-Symposium},
series = {Lecture Notes in Computer Science},
volume = {2449},
pages = {9--16},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/miccai/FichtingerKSTWA02,
author = {Gabor Fichtinger and
Axel Krieger and
Robert C. Susil and
Attila Tan{\'{a}}cs and
Louis L. Whitcomb and
Ergin Atalar},
title = {Transrectal Prostate Biopsy Inside Closed {MRI} Scanner with Remote
Actuation, under Real-Time Image Guidance},
booktitle = {{MICCAI} {(1)}},
series = {Lecture Notes in Computer Science},
volume = {2488},
pages = {91--98},
publisher = {Springer},
year = {2002}
}
@inproceedings{DBLP:conf/sisw/ApvrilleHG02,
author = {Axelle Apvrille and
James P. Hughes and
Vincent Girier},
title = {Streamed or Detached Triple Integrity for a Time Stamped Secure Storage
System},
booktitle = {{IEEE} Security in Storage Workshop},
pages = {53--64},
publisher = {{IEEE} Computer Society},
year = {2002}
}
@inproceedings{DBLP:conf/wosp/LindemannTKLW02,
author = {Christoph Lindemann and
Axel Th{\"{u}}mmler and
Alexander Klemm and
Marco Lohmann and
Oliver P. Waldhorst},
title = {Performance analysis of time-enhanced {UML} diagrams based on stochastic
processes},
booktitle = {Workshop on Software and Performance},
pages = {25--34},
publisher = {{ACM}},
year = {2002}
}
@inproceedings{DBLP:conf/dagm/Techmer01,
author = {Axel Techmer},
title = {Real-Time Motion Based Vehicle Segmentation in Traffic Lanes},
booktitle = {DAGM-Symposium},
series = {Lecture Notes in Computer Science},
volume = {2191},
pages = {202--207},
publisher = {Springer},
year = {2001}
}
@inproceedings{DBLP:conf/ecbs/Axelsson01,
author = {Jakob Axelsson},
title = {Unified Modeling of Real-Time Control Systems and Their Physical Environments
Using {UML}},
booktitle = {{ECBS}},
pages = {18},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@inproceedings{DBLP:conf/icip/Techmer01,
author = {Axel Techmer},
title = {Contour-based motion estimation and object tracking for real-time
applications},
booktitle = {{ICIP} {(3)}},
pages = {648--651},
publisher = {{IEEE}},
year = {2001}
}
@inproceedings{DBLP:conf/pdp/SchoppRG01,
author = {Bernd Schopp and
Axel R{\"{o}}pnack and
Markus Greunz},
title = {The Need for Topological Time and Location Information in Mobile E-Business
Applications},
booktitle = {{PDP}},
pages = {147},
publisher = {{IEEE} Computer Society},
year = {2001}
}
@inproceedings{DBLP:conf/vmv/Pinz01,
author = {Axel Pinz},
title = {Consistent Visual Information Processing Applied to Object Recognition
Landmark Definition and Real-Time Tracking},
booktitle = {{VMV}},
pages = {1--10},
publisher = {Aka GmbH},
year = {2001}
}
@article{DBLP:journals/cys/KringsA00,
author = {Axel W. Krings and
M. H. Azadmanesh},
title = {Limited Preemption in Real-Time Scheduling},
journal = {Computaci{\'{o}}n y Sistemas},
volume = {4},
number = {2},
pages = {115--123},
year = {2000}
}
@article{DBLP:journals/icl/BaroBH00,
author = {Stephan B{\"{a}}ro and
Gerhard Bauch and
Axel Hansmann},
title = {Improved codes for space-time trellis-coded modulation},
journal = {{IEEE} Commun. Lett.},
volume = {4},
number = {1},
pages = {20--22},
year = {2000}
}
@article{DBLP:journals/tim/ThomaHRSSTW00,
author = {Reiner S. Thom{\"{a}} and
Dirk Hampicke and
Andreas Richter and
Gerd Sommerkorn and
Axel Schneider and
Uwe Trautwein and
Walter Wirnitzer},
title = {Identification of time-variant directional mobile radio channels},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {49},
number = {2},
pages = {357--364},
year = {2000}
}
@inproceedings{DBLP:conf/icpr/BergerABSP00,
author = {Martin Berger and
Thomas Auer and
Gernot Bachler and
Stefan Scherer and
Axel Pinz},
title = {3D Model Based Pose Determination in Real-Time: Strategies, Convergence,
Accurac},
booktitle = {{ICPR}},
pages = {4567--4570},
publisher = {{IEEE} Computer Society},
year = {2000}
}
@inproceedings{DBLP:conf/ismda/WismullerDLHA00,
author = {Axel Wism{\"{u}}ller and
Dominik R. Dersch and
Bernadette Lipinski and
Klaus Hahn and
Dorothee Auer},
title = {Hierarchical Clustering of Functional {MRI} Time-Series by Deterministic
Annealing},
booktitle = {{ISMDA}},
series = {Lecture Notes in Computer Science},
volume = {1933},
pages = {49--54},
publisher = {Springer},
year = {2000}
}
@inproceedings{DBLP:conf/vw/BuendiaH00,
author = {Axel Buendia and
Jean{-}Claude Heudin},
title = {Towards Digital Creatures in Real-Time 3D Games},
booktitle = {Virtual Worlds},
series = {Lecture Notes in Computer Science},
volume = {1834},
pages = {44--53},
publisher = {Springer},
year = {2000}
}
@article{DBLP:journals/ijfcs/KringsD99,
author = {Axel W. Krings and
Moshe Dror},
title = {Real-Time Dispatching: Scheduling Stability and Precedence},
journal = {Int. J. Found. Comput. Sci.},
volume = {10},
number = {3},
pages = {313--328},
year = {1999}
}
@inproceedings{DBLP:conf/caip/BrantnerAP99,
author = {Stefan Brantner and
Thomas Auer and
Axel Pinz},
title = {Real-Time Optical Edge and Corner Tracking at Subpixel Accuracy},
booktitle = {{CAIP}},
series = {Lecture Notes in Computer Science},
volume = {1689},
pages = {534--541},
publisher = {Springer},
year = {1999}
}
@inproceedings{DBLP:conf/isorc/Axelsson99,
author = {Jakob Axelsson},
title = {Holistic Object-Oriented Modelling of Distributed Automotive Real-Time
Control Applications},
booktitle = {{ISORC}},
pages = {85--92},
publisher = {{IEEE} Computer Society},
year = {1999}
}
@article{DBLP:journals/rts/DeogunKK98,
author = {Jitender S. Deogun and
Roger M. Kieckhafer and
Axel W. Krings},
title = {Stability and Performance of List Scheduling With External Process
Delays},
journal = {Real Time Syst.},
volume = {15},
number = {1},
pages = {5--38},
year = {1998}
}
@inproceedings{DBLP:conf/bildmed/WismullerDLHA98,
author = {Axel Wism{\"{u}}ller and
Dominik R. Dersch and
Bernadette Lipinski and
Klaus Hahn and
Dorothee Auer},
title = {Neural network analysis of functional {MRI} time-series. Hierarchical
clustering by deterministic annealing},
booktitle = {Bildverarbeitung f{\"{u}}r die Medizin},
series = {{CEUR} Workshop Proceedings},
volume = {12},
publisher = {Springer},
year = {1998}
}
@inproceedings{DBLP:conf/mpc/FidgeHMW98,
author = {Colin J. Fidge and
Ian J. Hayes and
Andrew P. Martin and
Axel Wabenhorst},
title = {A Set-Theoretic Model for Real-Time Specification and Reasoning},
booktitle = {{MPC}},
series = {Lecture Notes in Computer Science},
volume = {1422},
pages = {188--206},
publisher = {Springer},
year = {1998}
}
@inproceedings{DBLP:conf/procomet/Wabenhorst98,
author = {Axel Wabenhorst},
title = {A model of real-time distributed systems},
booktitle = {{PROCOMET}},
series = {{IFIP} Conference Proceedings},
volume = {125},
pages = {462--482},
publisher = {Chapman {\&} Hall},
year = {1998}
}
@article{DBLP:journals/jsa/Axelsson97,
author = {Jakob Axelsson},
title = {A portable model for predicting the size and execution time of programs},
journal = {J. Syst. Archit.},
volume = {43},
number = {1-5},
pages = {211--213},
year = {1997}
}
@inproceedings{DBLP:conf/codes/Axelsson97,
author = {Jakob Axelsson},
title = {Architecture Synthesis and Partitioning of Real-Time Systems: {A}
Comparison of Three Heuristic Search Strategies},
booktitle = {{CODES}},
pages = {161--165},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/ecrts/Axelsson97,
author = {Jakob Axelsson},
title = {A hardware/software codesign methodology and workbench for predictable
development of hard real-time systems},
booktitle = {{RTS}},
pages = {179},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@inproceedings{DBLP:conf/fbt/SchieferdeckerRM97,
author = {Ina Schieferdecker and
Axel Rennoch and
Olaf Mertens},
title = {Timed MSCx - an Extension to MSC'96},
booktitle = {{FBT}},
series = {GMD-Studien},
volume = {315},
pages = {165--174},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997}
}
@inproceedings{DBLP:conf/hicss/KringsA97,
author = {Axel W. Krings and
M. H. Azadmanesh},
title = {Resource Reclaiming in Hard Real-Time Systems with Static and Dynamic
Workloads},
booktitle = {{HICSS} {(1)}},
pages = {616--625},
publisher = {{IEEE} Computer Society},
year = {1997}
}
@article{DBLP:journals/jsa/Axelsson96,
author = {Jakob Axelsson},
title = {Hardware/software partitioning aiming at fulfilment of real-time constraints},
journal = {J. Syst. Archit.},
volume = {42},
number = {6-7},
pages = {449--464},
year = {1996}
}
@inproceedings{DBLP:conf/icmc/Robel95,
author = {Axel R{\"{o}}bel},
title = {Neural Networks for Modeling Time Series of Musical Instruments},
booktitle = {{ICMC}},
publisher = {Michigan Publishing},
year = {1995}
}
@article{DBLP:journals/ieeecc/KringsKD94,
author = {Axel W. Krings and
Roger M. Kieckhafer and
Jitender S. Deogun},
title = {Inherently stable real-time priority list dispatchers},
journal = {{IEEE} Parallel Distributed Technol. Syst. Appl.},
volume = {2},
number = {4},
pages = {49--59},
year = {1994}
}
@inproceedings{DBLP:conf/words/Axtell94,
author = {Warren H. Axtell},
title = {A time domain beamformer object oriented analysis and design},
booktitle = {{WORDS}},
pages = {2--9},
publisher = {{IEEE} Computer Society},
year = {1994}
}
@inproceedings{DBLP:conf/iser/AndersenRS91,
author = {Nils A. Andersen and
Ole Ravn and
Allan Theill S{\o}rensen},
title = {Real-Time Vision Based Control of Servomechanical Systems},
booktitle = {{ISER}},
series = {Lecture Notes in Control and Information Sciences},
volume = {190},
pages = {388--402},
publisher = {Springer},
year = {1991}
}
@book{DBLP:books/daglib/0067376,
author = {Tom H. Axford},
title = {Concurrent programming - fundamental techniques for real-time and
parallel software design},
series = {Wiley series in parallel computing},
publisher = {Wiley},
year = {1989}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-12 21:31 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
