Publications
CERES publications (Journal)
Andreas Willig, Elisabeth Uhlemann (2014). Deadline-Aware Scheduling of Cooperative Relayers in TDMA-Based Wireless Industrial Networks. Wireless networks.
Martin Wolkerstorfer, Tomas Nordström (2014). Comparative Simulation Study of Fast Heuristics for Power Control in Copper Broadband Networks. Signal Processing.
Nikita Lyamin, Alexey Vinel, Magnus Jonsson, Jonathan Loo (2014). Real-time Detection of Denial-of-Service Attacks in IEEE 802.11p Vehicular Networks. IEEE Communications Letters.
Thomas J. Lampoltshammer, Edison Pignaton de Freitas, Thomas Nowotny, Stefan Plank, João Paulo Carvalho Lustosa da Costa, Tony Larsson, Thomas Heistracher (2014). Use of Local Intelligence to Reduce Energy Consumption of Wireless Sensor Nodes in Elderly Health Monitoring Systems. Sensors.
Wagner Ourique de Morais, Jens Lundström, Nicholas Wickström (2014). Active In-Database Processing to Support Ambient Assisted Living Systems. Sensors.
Xiaoyan Yin, Xiaomin Ma, Kishor Trivedi, Alexey Vinel (2014). Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-channel Schemes. IEEE Transactions on Computers (Print).
Anhtuan Le, Jonathan Loo, Aboubaker Lasebae, Alexey Vinel, Yue Chen, Michael Chai (2013). The Impact of Rank Attack on Network Topology of Routing Protocol for Low-Power and Lossy Networks. IEEE Sensors Journal.
Boris Bellalta, Azadeh Faridi, Dirk Staehle, Jaume Barcelo, Alexey Vinel, Miquel Oliver (2013). Performance Analysis of CSMA/CA Protocols with Multi-packet Transmission. Computer Networks.
Claudia Campolo, Antonella Molinaro, Alexey Vinel, Yan Zhang (2013). Modeling Event-Driven Safety Messages Delivery in IEEE 802.11p/WAVE Vehicular Networks. IEEE Communications Letters.
Dantong Liu, Yue Chen, Tiankui Zhang, Kok Keong Chai, Jonathan Loo, Alexey Vinel (2013). Stackelberg Game Based Cooperative User Relay Assisted Load Balancing in Cellular Networks. IEEE Communications Letters.
Edison Pignaton de Freitas, Tales Heimfarth, Flavio Rech Wagner, Carlos Eduardo Pereira, Tony Larsson (2013). Exploring geographic context awareness for data dissemination on mobile ad hoc networks. Ad hoc networks.
Edison Pignaton de Freitas, Tales Heimfarth, Alexey Vinel, Flavio Rech Wagner, Carlos Eduardo Pereira, Tony Larsson (2013). Cooperation among wirelessly connected static and mobile sensor nodes for surveillance applications. Sensors.
Evgeny Belyaev, Pavlo Molchanov, Alexey Vinel, Yevgeni Koucheryavy (2013). The Use of Automotive Radars in Video-Based Overtaking Assistance Applications. IEEE transactions on intelligent transportation systems (Print).
Evgeny Belyaev, Alexey Vinel, Karen Egiazarian, Yevgeni Koucheryavy (2013). Power Control in See-Through Overtaking Assistance System. IEEE Communications Letters.
F. Dechesne, Mohammad Reza Mousavi (2013). Interpreted Systems Semantics for Process Algebra with Identity Annotations. Lecture Notes in Artificial Intelligence.
Fragkiskos Sardis, Glenford Mapp, Jonathan Loo, Mahdi Aiash, Alexey Vinel (2013). On the Investigation of Cloud-Based Mobile Media Environments With Service-Populating and QoS-Aware Mechanisms. IEEE transactions on multimedia.
Jawad Masood, Matteo Zoppi, Rezia Molfino (2013). Pseudo-elastic wire application in robotized cutting systems. Automation in Construction.
João Isento, Joel Rodrigues, João Dias, Maicke Paula, Alexey Vinel (2013). Vehicular Delay-Tolerant Networks? A Novel Solution for Vehicular Communications.
Mahboobeh Parsapoor, Urban Bilstrup (2013). Chaotic Time Series Prediction Using Brain Emotional Learning Based Recurrent Fuzzy System (BELRFS). International Journal of Reasoning-based Intelligent Systems.
Martin Wolkerstorfer, Joakim Jaldén, Tomas Nordström (2013). Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines. Signal Processing.
Martin Wolkerstorfer, Driton Statovci, Tomas Nordström (2013). Enabling Greener DSL Access Networks by their Stabilization with Artificial Noise and SNR Margin. Cluster Computing.
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse (2013). Synchrony and asynchrony in conformance testing. Journal of Software and Systems Modeling (online).
Yevgeni Koucheryavy, Alexey Vinel, Wojcieh Molisz, Jacek Rak, Kishor Trivedi (2013). ICUMT 2012 Congress in St. Petersburg, Russia.
Alexey Vinel (2012). 3GPP LTE Versus IEEE 802.11p/WAVE : Which Technology is Able to Support Cooperative Vehicular Safety Applications?. IEEE Wireless Communications Letters.
Alexey Vinel, Evgeny Belyaev, Karen Egiazarian, Yevgeni Koucheryavy (2012). An Overtaking Assistance System Based on Joint Beaconing and Real-Time Video Transmission. IEEE Transactions on Vehicular Technology.
Boris Bellalta, Jaume Barcelo, Dirk Staehle, Alexey Vinel, Miquel Oliver (2012). On the performance of packet aggregation in IEEE 802.11ac MU-MIMO WLANs. IEEE Communications Letters.
Claudia Campolo, Antonella Molinaro, Alexey Vinel, Yan Zhang (2012). Modeling Prioritized Broadcasting in Multichannel Vehicular Networks. IEEE Transactions on Vehicular Technology.
Elisabeth Uhlemann (2012). [[Publications:|]]. IEEE Vehicular Technology Magazine.
Feng Xia, Laurence T. Yang, Lizhe Wang, Alexey Vinel (2012). Internet of Things. International Journal of Communication Systems.
Jia-Chin Lin, Christoph Mecklenbräuker, Alexey Vinel, Spyridon Vassilaras, Tao Zhang, Kuen-Rong Lo (2012). Special Section on Telematics Advances for Vehicular Communication Networks. IEEE Transactions on Vehicular Technology.
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers (2012). Rule Formats for Distributivity. Theoretical Computer Science.
Luca Aceto, Arnar Birgisson, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers (2012). Rule Formats for Determinism and Idempotence. Science of Computer Programming.
Martin Wolkerstorfer, Driton Statovci, Tomas Nordström (2012). Energy-saving by Low-Power Modes in ADSL2. Computer Networks.
Martin Wolkerstorfer, Steffen Trautmann, Tomas Nordström, Bakti Putra (2012). Modeling and Optimization of Line-Driver Power Consumption in xDSL Systems. EURASIP Journal on Advances in Signal Processing.
Martin Wolkerstorfer, Joakim Jaldén, Tomas Nordström (2012). Column Generation for Discrete-Rate Multi-User and Multi-Carrier Power Control. IEEE Transactions on Communications.
Narges Khakpour, Saeed Jalili, Carolyn Talcott, Marjan Sirjani, Mohammad Reza Mousavi (2012). Formal modeling of evolving self-adaptive systems. Science of Computer Programming.
Norman Abramson, Claudio Sacchi, Boris Bellalta, Alexey Vinel (2012). Multiple access communications in future-generation wireless networks. EURASIP Journal on Wireless Communications and Networking.
Rashid Mehmood, Alexey Vinel, Marion Berbineau (2012). The Nets4Cars & Nets4Trains Workshop Series. IEEE Global Communications Newsletter.
Tibor Cinkler, Yevgeni Koucheryavy, Peter Nagy, Jacek Rak, Alexey Vinel (2012). ICUMT 2011 Congress in Budapest, Hungary. IEEE Global Communications Newsletter.
Zain Ul-Abdin, Bertil Svensson (2012). Occam-pi for Programming of Massively Parallel Reconfigurable Architectures. International Journal of Reconfigurable Computing.
Alexey Vinel, Joel Rodrigues, Marion Berbineau, Yevgeni Koucheryavy, Oleg Gusikhin, Yan Zhang (2011). ITST 2011 Conference in Saint-Petersburg, Russia. IEEE Global Communications Newsletter.
Alexey Vinel, Claudia Campolo, Jonathan Petit, Yevgeni Koucheryavy (2011). Trustworthy Broadcasting in IEEE 802.11p/WAVE Vehicular Networks : Delay Analysis. IEEE Communications Letters.
Anita Sant'Anna, Arash Salarian, Nicholas Wickström (2011). A new measure of movement symmetry in early Parkinson's disease patients using symbolic processing of inertial sensor data. IEEE Transactions on Biomedical Engineering.
Annette Böhm, Magnus Jonsson (2011). Real-time communication support for cooperative, infrastructure-based traffic safety applications. International Journal of Vehicular Technology.
Bih-Yuan Ku, Elisabeth Uhlemann (2011). [[Publications:|]]. IEEE Vehicular Technology Magazine.
Claudia Campolo, Alexey Vinel, Antonella Molinaro, Yevgeni Koucheryavy (2011). Modeling Broadcasting in IEEE 802.11p/WAVE Vehicular Networks. IEEE Communications Letters.
Dimitrios Stratogiannis, Georgios Tsiropoulos, Alexey Vinel, Yevgeni Koucheravy, Eirini-Eleni Tsiropoulou (2011). Special Issue on Mobile Computing and Networking Technologies. Telecommunications Systems.
Dmitri Moltchanov, Alexey Vinel, Jakub Jakubiak, Yevgeni Koucheryavy (2011). Synchronous Relaying in Vehicular Ad-Hoc Networks. International Journal of Wireless Networks and Broadband Technologies.
Edison Pignaton de Freitas, Tales Heimfarth, Carlos Eduardo Pereira, Armando Morado Ferreira, Flavio Rech Wagner, Tony Larsson (2011). Multi-Agent Support in a Middleware for Mission-Driven Heterogeneous Sensor Networks. Computer journal.
Feng Xia, Alexey Vinel, Ruixia Gao, Linqiang Wang, Tie Qiu (2011). Evaluating IEEE 802.15.4 for Cyber-Physical Systems. EURASIP Journal on Wireless Communications and Networking.
Fulong Chen, Rajat Goyal, Edwin Westbrook, Walid Taha (2011). Implicitly Heterogeneous Multi-Stage Programming for FPGAs. Journal of Computational Information Systems.
Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani (2011). Formal analysis of systemc designs in process algebra. Fundamenta Informaticae.
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers (2011). SOS Rule Formats for Zero and Unit Elements. Theoretical Computer Science.
Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema (2011). Long-run order-independence of vector-based transition systems. IET Computers & Digital Techniques.
Ming-Fong Tsai, Naveen Chilamkurti, Sherali Zeadally, Alexey Vinel (2011). Concurrent multipath transmission combining forward error correction and path interleaving for video streaming. Computer Communications.
Ming-Fong Tsai, Naveen Chilamkurti, Ce-Kuen Shieh, Alexey Vinel (2011). MAC-level Forward Error Correction mechanism for minimum error recovery overhead and retransmission. Mathematical and computer modelling.
Periklis Chatzimisios, Ibrahim Habib, Paolo Bellavista, Alexey Vinel (2011). Guest editorial for the special issue on "Next generation networks service management". Computer Communications.
Rashid Mehmood, Alexey Vinel, Yan Zhang (2011). Special Issue on the Communication Technologies for Vehicles. International Journal of Vehicle Information and Communication Systems.
Sergey Andreev, Olga Galinina, Alexey Vinel (2011). Performance Evaluation of a Three Node Client Relay System. International Journal of Wireless Networks and Broadband Technologies.
Vladimir Vishnevsky, Konstantin Samouylov, Yevgeni Koucheryavy, Alexey Vinel, Dmitry Tkachenko (2011). ICUMT 2010 Congress in Moscow, Russia. IEEE Global Communications Newsletter.
Walid Taha, Cherif Salama, Gregory Malecha, Jim Grundy, John O'Leary (2011). Static Consistency Checking for Verilog Wire Interconnects.
Anita Sant'Anna, Nicholas Wickström (2010). A Symbol-Based Approach to Gait Analysis From Acceleration Signals : Identification and Detection of Gait Events and a New Measure of Gait Symmetry. IEEE transactions on information technology in biomedicine.
Björn Nilsson, Lars Bengtsson, Bertil Svensson (2010). An Energy and Application Scenario Aware Active RFID Protocol. EURASIP Journal on Wireless Communications and Networking.
Boris Sokolov, Vladimir Vishnevsky, Alexey Vinel, Gennady Yanovsky, Yevgeni Koucheryavy, Dmitry A. Tkachenko (2010). ICUMT 2009 Conference in St. Petersburg, Russia. IEEE Global Communications Newsletter.
D. Statovci, M. Wolkerstorfer, Tomas Nordström (2010). Robust Dynamic Spectrum Management for DMT-Based Systems. IEEE Transactions on Signal Processing.
Edison Pignaton de Freitas, Tales Heimfarth, Rodrigo Schmidt Allgayer, Flavio Rech Wagner, Tony Larsson, Carlos Eduardo Pereira, Armando Morado Ferreira (2010). Coordinating aerial robots and unattended ground sensors for intelligent surveillance systems. International Journal of Computers.
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol (2010). Towards model checking executable UML specifications in mCRL2. Innovations in Systems and Software Engineering.
Jennifer Gillenwater, Gregory Malecha, Cherif Salama, Angela Yun Zhu, Walid Taha, Jim Grundy, John O’Leary (2010). Synthesizable High Level Hardware Descriptions. New generation computing.
L. Aceto, W. J. Fokkink, A. Ingólfsdóttir, Mohammad Reza Mousavi (2010). Lifting non-finite axiomatizability results to extensions of process algebras. Acta Informatica.
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar (2010). Symmetry and partial order reduction techniques in model checking Rebeca. Acta Informatica.
Qiang Ni, Ling Hu, Alexey Vinel, Yang Xiao, Marios Hadjinicolaou (2010). Performance Analysis of Contention Based Bandwidth Request Mechanisms in WiMAX Networks. IEEE Systems Journal.
Tales Heimfarth, Edison Pignaton de Freitas, Ivayr Farah Netto, Luiz H. A. Correia, Carlos Eduardo Pereira, Armando Morado Ferreira, Flávio Rech Wagner, Tony Larsson (2010). Enhanced pheromone-based mechanism to coordinate UAVs and WSN nodes on the ground. INFOCOMP Journal of Computer Science.
Alexey Vinel, Qiang Ni, Dirk Staehle, Andrey Turlikov (2009). Capacity analysis of reservation-based random access for broadband wireless access networks. IEEE Journal on Selected Areas in Communications.
Katrin Bilstrup, Elisabeth Uhlemann, Erik G. Ström, Urban Bilstrup (2009). On the ability of the 802.11p MAC method and STDMA to support real-time vehicle-to-vehicle communications. EURASIP Journal on Wireless Communications and Networking.
L. Aceto, A. Ingólfsdóttir, Mohammad Reza Mousavi, M. A. Reniers (2009). Algebraic properties for free!. Bulletin of the European Association for Theoretical Computer Science.
Magnus Jonsson, Kristina Kunert (2009). Towards reliable wireless industrial communication with real-time guarantees. IEEE Transactions on Industrial Informatics.
Xing Fan, Magnus Jonsson, Jan Jonsson (2009). Guaranteed real-time communication in packet-switched networks with FCFS queuing. Computer Networks.
Zain Ul-Abdin, Bertil Svensson (2009). Evolution in architectures and programming methodologies of coarse-grained reconfigurable computing. Microprocessors and microsystems.
Anita Sant'Anna, Wagner Ourique de Morais, Nicholas Wickström (2008). Gait Unsteadiness Analysis from Motion Primitives. Gerontechnology : international journal on the fundamental aspects of technology to serve the ageing society.
Jerker Bengtsson, Bertil Svensson (2008). A Domain-specific Approach for Software Development on Manycore Platforms. SIGARCH Computer Architecture News.
Wagner Ourique de Morais, Anita Sant'Anna, Nicholas Wickström (2008). A Wearable Accelerometer Based Platform to Encourage Physical Activity for the Elderly. Gerontechnology : international journal on the fundamental aspects of technology to serve the ageing society.
Daniele Miorandi, Elisabeth Uhlemann, Stefano Vitturi, Andreas Willig (2007). Guest editorial : Special section on wireless technologies in factory and industrial automation – part I. IEEE Transactions on Industrial Informatics.
Daniele Miorandi, Elisabeth Uhlemann, Stefano Vitturi, Andreas Willig (2007). Guest editorial : Special section on wireless technologies in factory and industrial automation – part II. IEEE Transactions on Industrial Informatics.
Jason Eckhardt, Roumen Kaiabachev, Emir Pasalic, Kedar Swadi, Walid Taha (2007). Implicitly Heterogeneous Multi-stage Programming. New generation computing.
Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote (2007). SOS formats and meta-theory : 20 years after. Theoretical Computer Science.
Qiang Ni, Alexey Vinel, Yang Xiao, Andrey Turlikov, Jiang Tao (2007). Wireless broadband access : WiMax and beyond - Investigation of bandwidth request mechanisms under point-to-multipoint mode of WiMAX networks. IEEE Communications Magazine.
T. Magesacher, P. Ödling, P.O. Börjesson, Tomas Nordström (2007). Verification of Multipair Copper Cable Model by Measurements. IEEE Transactions on Instrumentation and Measurement.
Christian Lengauer, Walid Taha (2006). Preface. Science of Computer Programming.
D. Statovci, Tomas Nordström, R. Nilsson (2006). The normalized rate iterative algorithm : a practical dynamic spectrum management method for DSL. EURASTP journal an applied signal processing.
Raphael Cendrillon, Ian Collings, Tomas Nordström, Frank Sjöberg, Michail Tsatsanis, Wei Yu (2006). Advanced Signal Processing for Digital Subscriber Lines. EURASTP journal an applied signal processing.
Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote (2005). Notions of bisimulation and congruence formats for SOS with data. Information and Computation.
Mohammad Reza Mousavi, M. A. Reniers, J. F. Groote (2005). A syntactic commutativity format for SOS. Information Processing Letters.
Sacki Agelis, Magnus Jonsson (2004). Optoelectronic router with a reconfigurable shuffle network based on micro-optoelectromechanical systems. Journal of Optical Networking.
Håkan Forsberg, Magnus Jonsson, Bertil Svensson (2003). Embedded Signal Processing Using Free-Space Optical Hypercube Interconnects. Optical Networks Magazine.
Magnus Jonsson (2003). Optical interconnection technology in switches, routers and optical cross connects. Optical Networks Magazine.
Walid Taha, Tim Sheard (2000). MetaML and multi-stage programming with explicit annotations. Theoretical Computer Science.
Magnus Jonsson (1998). Two fiber-ribbon ring networks for parallel and distributed computing systems. Optical Engineering.
Lars Bengtsson, Kenneth Nilsson, Bertil Svensson (1993). A processor array module for distributed, massively parallel, embedded computing. Microprocessing and Microprogramming.
CERES publications (Conference)
Anita Sant'Anna, Robert Bass (2014). A New Two-Degree-of-Freedom Space Heating Model for Demand Response. 3rd International Conference on Smart Grids and Green IT Systems - SMARTGREENS 2014, Barcelona, Spain, 3-4 April, 2014.
Dominykas Barisas, Adam Duracz, Walid Taha (2014). DSLs Should be Online Applications. 2014 Joint International Conference on Engineering Education & International Conference on Information Technology, 2-6 June 2014, Riga, Latvia.
Mahboobeh Parsapoor, Urban Bilstrup (2014). An Imperialist Competitive Algorithm For Interference-Aware Cluster-heads Selection in Ad hoc Networks. 28th IEEE International Conference on Advanced Information Networking and Applications, IEEE AINA 2014, Victoria, BC, Canada, 13-16 May 2014.
Süleyman Savas, Essayas Gebrewahid, Zain Ul-Abdin, Tomas Nordström, Mingkun Yang (2014). An Evaluation of Code Generation of Dataflow Languages on Manycore Architectures. The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.
Tony Larsson, Jonas Jansson, Christian Grante, Cristofer Englund (2014). Cooperative partly automated and coordinated vehicles and transports. The 2014 National Workshop on Transportation Cyber-Physical Systems, Arlington, Virginia, USA, 23-24 January 2014..
Wagner Ourique de Morais, Matthias Mayr, Nicholas Wickström, Roland Philippsen (2014). Ambient Intelligence and Robotics: complementing one another to support Ambient Assisted Living. 13th International Conference Intelligent Autonomous Systems.
Wagner Ourique de Morais, Nicholas Wickström (2014). A lightweight method for detecting sleep-related activities based on load sensing. IEEE 3rd International Conference on Serious Games and Applications for Health (SeGAH 2014), Rio de Janeiro, Brazil, May 14-16, 2014.
Alexey Vinel, Evgeny Belyaev, Olivier Lamotte, Moncef Gabbouj, Yevgeni Koucheryavy, Karen Egiazarian (2013). Video transmission over IEEE 802.11p : Real-world measurements. 2013 IEEE International Conference on Communications Workshops, ICC 2013, Budapest, Hungary, 9-13 June, 2013.
Annette Böhm, Magnus Jonsson, Elisabeth Uhlemann (2013). Co-Existing Periodic Beaconing and Hazard Warnings in IEEE 802.11p-Based Platooning Applications. ACM VANET 2013, Taipei, Taiwan, June 25.
Annette Böhm, Magnus Jonsson, Elisabeth Uhlemann (2013). Performance comparison of a platooning application using the IEEE 802.11p MAC on the control channel and a centralized MAC on a service channel. WiMob, Lyon, France, Oct. 7-9.
Daniel Gebler, Eugen-Ioan Goriac, Mohammad Reza Mousavi (2013). Algebraic Meta-Theory of Processes with Data. EXPRESS/SOS 2013, Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, August 26, 2013 Buenos Aires, Argentina.
Essayas Gebrewahid, Zain Ul-Abdin, Bertil Svensson, Veronica Gaspes, Bruno Jego, Bruno Lavigueur, Mathieu Robart (2013). Programming Real-time Image Processing for Manycores in a High-level Language. 10th International Conference on Advanced Parallel Processing Technology, APPT 2013, Stockholm, August.
Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A Reniers (2013). Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. CALCO 2013, The 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland.
Magnus Jonsson, Kristina Kunert, Annette Böhm (2013). Increased communication reliability for delay-sensitive platooning applications on top of IEEE 802.11p. 5th International Workshop on Communication Technologies for Vehicles, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013.
Magnus Jonsson, Kristina Kunert, Urban Bilstrup (2013). A real-time medium access protocol supporting dynamic spectrum allocation in industrial networks. 6th International Workshop on Multiple Access Communications (MACOM 2013), Vilnius, Lithuania, Dec. 16-17.
Mahboobeh Parsapoor, Urban Bilstrup (2013). A Centralized Channel Assignment Algorithm for Clustered Ad Hoc Networks. 2013 IEEE Conference on Wireless Sensor (ICWISE), Kuching, Sarawak, Malaysia, 2-4 December, 2013.
Mahboobeh Parsapoor, Urban Bilstrup (2013). An emotional learning-inspired ensemble classifier (ELiEC). 2013 Federated Conference on Computer Science and Information Systems (FedCSIS), 8-11 September 2013, Krakow, Poland.
Mahboobeh Parsapoor, Urban Bilstrup (2013). Ant Colony Optimization for Channel Assignment Problem in Clustered Mobile Ad Hoc Network. 4th International Conference, ICSI 2013, Harbin, China, June 12-15.
Mahboobeh Parsapoor, Urban Bilstrup (2013). Brain Emotional Learning Based Fuzzy Inference System (Modified using Radial Basis Function). 8th IEEE International Conference on Digital Information Management (ICDIM 2013), Islamabad, Pakistan, September 10-12, 2013.
Mahboobeh Parsapoor, Urban Bilstrup (2013). Merging ant colony optimization based clustering and an imperialist competitive algorithm for spectrum management of a cognitive mobile ad hoc network. Wireless Innovation Forum Conference on Wireless Communications Technologies and Software Defined Radio, SDR-WInnComm 2013, Washington D.C., USA, 8-11 January 2013.
Mahboobeh Parsapoor, Urban Bilstrup (2013). Interference-Aware Clustering Algorithms for Mobile ad hoc Network : Ant Colony optimization-based Algorithm. 9th Swedish National Computer Networking Workshop (SNCNW 2013), June 3–4, Lund University, Lund, Sweden.
Martin Churchill, Peter D. Mosses, Mohammad Reza Mousavi (2013). Modular Semantics for Transition System Specifications with Negative Premises. 24th International Conference on Concurrency Theory, CONCUR 2013, Buenos Aires, Argentina, 27–30 August 2013.
Michal Konecny, Walid Taha, Jan Duracz, Adam Duracz, Aaron Ames (2013). Enclosing the Behavior of a Hybrid System up to and Beyond a Zeno Point. The 1st IEEE International Conference on Cyber-Physical Systems, Networks, and Applications, Taipei, Taiwan, August 19-20, 2013.
Mingkun Yang, Suleyman Savas, Zain Ul-Abdin, Tomas Nordström (2013). A Communication Library for Mapping Dataflow Applications on Manycore Architectures. 6th Swedish Multicore Computing Workshop, MCC-2013, November 25-26 2013, Halmstad University, Halmstad, Sweden.
Mingkun Yang, Suleyman Savas, Zain Ul-Abdin, Tomas Nordström (2013). A Communication Library for Mapping Dataflow Applicationson Manycore Architectures. 6th Swedish Multicore Computing Workshop, MCC-2013, November 25-26 2013, Halmstad University.
Neda Noroozi, Mohammad Reza Mousavi, Tim A.C. Willemse (2013). On the Complexity of Input Output Conformance Testing. The 10th International Symposium on Formal Aspects of Component Software, Jiangxi Normal University, Nanchang, China, October 28-30, 2013.
Neda Noroozi, Mohammad Reza Mousavi, Tim Willemse (2013). Decomposability in Input Output Conformance Testing. Proceedings of the 8th Workshop on Model-Based Testing (MBT 2013), Rom, Italy, 17th March 2013.
Pavlo Molchanov, Alexey Vinel, Jaakko Astola, Karen Egiazarian (2013). Radar frequency band invariant pedestrian classification. 2013 14th International Radar Symposium (IRS), June 19-21, Dresden, Germany.
Sarmen Keshishzadeh, Arjan Mooij, Mohammad Reza Mousavi (2013). Early Fault Detection in DSLs using SMT Solving and Automated Debugging. SEFM 2013.
Thomas Magesacher, Driton Statovci, Tomas Nordström, Erwin Riegler (2013). Performance analysis of vectored wireline systems embracing channel uncertainty. 2013 IEEE International Conference on Communications (ICC), 9-13 June, Budapest, Hungary.
Wagner Ourique de Morais, Nicholas Wickström (2013). A "Smart Bedroom" as an Active Database System. 9th International Conference on Intelligent Environments (IE), 2013.
Walid Taha, Robert Cartwright, Roland Philippsen, Yingfu Zeng (2013). A First Course on Cyber Physical Systems. 2013 Workshop on Embedded and Cyber-Physical Systems Education (WESE), Montreal, Canada, October 3, 2013.
Walid Taha, Robert Cartwright (2013). Some Challenges for Model-Based Simulation. The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3, 2013.
Yingfu Zeng, Chad Rose, Paul Brauner, Walid Taha, Jawad Masood, Roland Philippsen, Marcia O’Malley, Robert Cartwright (2013). Modeling Basic Aspects of Cyber-Physical Systems, Part II. 4th International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob-13).
Zain Ul-Abdin, Anders Åhlander, Bertil Svensson (2013). Energy-Efficient Synthetic-Aperture Radar Processing on a Manycore Architecture. 2013 International Conference on Parallel Processing (ICPP-2013), The 42nd Annual Conference, October 1-4, 2013, École Normale Supérieure de Lyon, Lyon, France.
Zain Ul-Abdin, Anders Åhlander, Bertil Svensson (2013). Real-time Radar Signal Processing on Massively Parallel Processor Arrays. 47th IEEE Asilomar Conference on Signals, Systems and Computers, November 3–6, 2013, Pacific Grove, CA, USA.
Zain Ul-Abdin, Bertil Svensson (2013). An Evaluation of High-Performance Embedded Processing on MPPAs. 2013 IEEE 21st Annual International Symposium on Field-Programmable Custom Computing Machines, Seattle, WA, United States, 28–30 April 2013.
Alexey Vinel, Boris Bellalta, Naveen Chilamkurti, Yevgeni Koucheryavy (2012). Scalability analysis of infrastructure networks for vehicular safety applications. The 1st International Conference on Connected Vehicles & Expo (ICCVE 2012), Beijing, China, December 12-16.
Alexey Vinel, Evgeny Belyaev, Yevgeni Koucheryavy (2012). Using of beaconing for robust video transmission in overtaking assistance applications. 2012 IEEE 76th Vehicular Technology Conference (VTC Fall), Québec City, Canada, 3-6 Sept..
Andreas Willig, Elisabeth Uhlemann (2012). On relaying for wireless industrial communications : Is careful placement of relayers strictly necessary?. IEEE International Workshop on Factory Communication Systems, 21-24 May 2012, Lemgo/Detmold, Germany.
Anita Sant'Anna, Nicholas Wickström, Roland Zügner, Roy Tranberg (2012). A wearable gait analysis system using inertial sensors Part I : Evaluation of measures of gait symmetry and normality against 3D kinematic data. International Conference on Bio-inspired Systems and Signal Processing, BIOSIGNALS 2012, Vilamoura, Algarve, 1-4 February, 2012.
Anita Sant'Anna, Nicholas Wickström, Helene Eklund, Roy Tranberg (2012). A wearable gait analysis system using inertial sensors Part II: Evaluation in a clinical setting. International Conference on Bio-inspired Systems and Signal Processing, BIOSIGNALS 2012, Vilamoura, Algarve, 1 - 4 February, 2012.
Anita Sant'Anna, Nicholas Wickström, Helene Eklund, Roy Tranberg (2012). A wearable gait analysis system using inertial sensors Part II : Evaluation in a clinical setting. International Conference on Bio-inspired Systems and Signal Processing, BIOSIGNALS 2012, Vilamoura, Algarve, 1-4 February, 2012.
Anita Sant'Anna, Nicholas Wickström, Roland Zügner, Roy Tranberg (2012). A wearable gait analysis system using inertial sensors Part I: evaluation of measures of gait symmetry and normality against 3D kinematic data. International Conference on Bio-inspired Systems and Signal Processing, BIOSIGNALS 2012, Vilamoura, Algarve, 1 - 4 February, 2012.
Ashraful Alam, Zain Ul-Abdin, Bertil Svensson (2012). Parallelization of the Estimation Algorithm of the 3D Structure Tensor. International Conference on Reconfigurable Computing and FPGAs (ReConFig’12), December 5-7, Cancun, Mexico.
Jacek Rak, Alexey Vinel (2012). A Novel Reliable Routing Scheme for VANETs. 2012 12th International Conference on ITS Telecommunications, Taipei, Taiwan, 5-8 Nov..
Jawad Masood, Matteo Zoppi, Rezia Molfino (2012). Investigation of Personal Mobility Vehicle stability and maneuverability under various road scenarios. 2012 IEEE/RSJ, International Conference on Intelligent Robots and Systems (IROS), Vilamoura, Portugal, 7-12 Oct..
Julien Bruneau, Charles Consel, Marcia O’Malley, Walid Taha, Wail Masry Hannourah (2012). Virtual Testing for Smart Buildings. IE'12 International Conference on Intelligent Environments 8th International Conference on Intelligent Environments, IE 2012, Guanajuato, Mexico, June 26-28.
Jun Inoue, Walid Taha (2012). Reasoning About Multi-Stage Programs. 21st European Symposium on Programming, ESOP 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn 24 March-1 April.
Kristina Kunert, Magnus Jonsson, Urban Bilstrup (2012). Deterministic real-time medium access for cognitive industrial radio networks. IEEE International Workshop on Factory Communication Systems (WFCS 2012), May 21-24, Lemgo/Detmold, Germany.
Magnus Jonsson, Kristina Kunert (2012). MC-EDF: A control-channel based wireless multichannel MAC protocol with real-time support. 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), 17-21 September, Krakow, Poland.
Magnus Jonsson, Kristina Kunert, Annette Böhm (2012). Increasing the probability of timely and correct message delivery in road side unit based vehicular communication. IEEE Intelligent Transportation Systems Conference (ITSC 2012), 16-19 Sept. Anchorage, AK, USA.
Mahboobeh Parsapoor, Urban Bilstrup (2012). Neuro-Fuzzy Models, BELRFS and LOLIMOT, for Prediction of Chaotic Time Series. International Symposium on Innovations in Intelligent Systems and Applications (INISTA 2012), Trabzon, Turkey, 2-4 July, 2012.
Mahboobeh Parsapoor, Urban Bilstrup (2012). Using the grouping genetic algorithm (GGA) for channel assignment in a cluster-based mobile ad hoc network. 8th Swedish National Computer Networking Workshop. SNCNW 2012, Sweden, Stockholm, June 7–8, 2012.
Mahboobeh Parsapoor, Urban Bilstrup (2012). Brain Emotional Learning Based Fuzzy Inference System (BELFIS) for Solar Activity Forecasting. 24th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2012, Athens, Greece November, November 7-9, 2012.
Mahboobeh Parsapoor, Urban Bilstrup (2012). Imperialist Competition Algorithm for DSA in Cognitive Radio Networks. 8th International Conference on Wireless Communications, Networking and Mobile Computing, WiCOM 2012, Shanghai, China, 21–23 September, 2012.
Maicke Paula, Joel Rodrigues, João Dias, João Isento, Alexey Vinel (2012). Deployment of a Real Vehicular Delay-Tolerant Network Testbed. 12th International Conference on ITS Telecommunications (ITST), Taipei, Taiwan, 5-8 Nov..
Matteo Cimini, Mohammad Reza Mousavi, Michel A. Reniers, Murdoch J. Gabbay (2012). Nominal SOS. The 28th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2012), Bath, United Kingdom, 6-9 June.
Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi (2012). Mechanized Extraction of Topology Anti-patterns in Wireless Networks. 9th International Conference on Integrated Formal Methods, IFM 2012, Pisa, Italy, 18-21 June, 2012; Code91380.
Muhammad Atif, Mohammad Reza Mousavi, Ammar Osaiweran (2012). Formal Verification of Unreliable Failure Detectors in Partially Synchronous Systems. 27th Annual ACM Symposium on Applied Computing, SAC 2012, Trento, Italy, 26-30 March.
Svetlana Girs, Elisabeth Uhlemann, Mats Björkman (2012). The effects of relay behavior and position in wireless industrial networks. 9th IEEE International Workshop on Factory Communication Systems, May 21-24, 2012, Lemgo/Detmold, Germany.
Vivek Vishal, Mehmet Kovacioglu, Rachid Kherazi, Mohammad Reza Mousavi (2012). Integrating Model-Based and Constraint-Based Testing Using SpecExplorer. 23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, USA, 27-30 November 2012; Category numberE4928; Code95287.
Walid Taha, Paul Brauner, Yingfu Zeng, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot (2012). A Core Language for Executable Models of Cyber-Physical Systems (Preliminary Report). The Second International Workshop on Cyber-Physical Networking Systems (CPNS 2012) Macau, China, June 20, 2012. In conjunction with 32nd IEEE International Conference on Distributed Computing Systems Workshops, ICDCSW 2012.
Walid Taha, Roland Philippsen (2012). Modeling Basic Aspects of Cyber-Physical Systems. 3rd International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR-2012), November 5-8, Tsukuba, Japan.
Zain Ul-Abdin, Bertil Svensson (2012). Synthetic-Aperture Radar Processing on a Manycore Architecture. 5th Swedish Workshop on Multicore Computing, MCC'2012, KTH/SICS, Stockholm, Sweden, November 22-23, 2012.
Zain Ul-Abdin, Essayas Gebrewahid, Bertil Svensson (2012). Managing Dynamic Reconfiguration for Fault-tolerance on a Manycore Architecture. 26th IEEE International Parallel & Distributed Processing Symposium, May 21-25, Regal Shanghai East Asia Hotel Shanghai, China, 2012.
Aamir Hassan, Tony Larsson (2011). On the requirements on models and simulator design for integrated VANET Simulation. 8th International Workshop on Intelligent Transportation (WIT 2011), 22-23 March, 2011, Hotel Hafen Hamburg, Hamburg, Germany.
Anette Böhm, Magnus Jonsson, Hossein Zakizadeh (2011). Vehicular ad-hoc networks to avoid surprise effects on sparsely trafficked, rural roads. 10th Scandinavian Workshop on Wireless Ad-hoc Networks (ADHOC'11), Stockholm, Sweden, May 10-11, 2011.
Anita Sant'Anna, Nicholas Wickström (2011). Symbolization of time series : an evaluation of SAX, persist, and ACA. 4th International conference on Image and Signal Processing (CISP).
Annette Böhm, Magnus Jonsson, Elisabeth Uhlemann (2011). Adaptive Cooperative Awareness Messaging for Enhanced Overtaking Assistance on Rural Roads. 4th International Symposium on Wireless Vehicular Communications (WIVEC 2011), San Fransisco, USA, September 5-6, 2011.
Annette Böhm, Magnus Jonsson (2011). Position-based real-time communication support for cooperative traffic safety services. Real-Time in Sweden (RTiS), Västerås, Sweden, June 13-14, 2011.
Chaitanya Belwal, Albert M.K. Cheng, Walid Taha (2011). Release Offset Bounds for Response Time Analysis of P-FRP using Exhaustive Enumeration. ICESS'11 International Conference on Embedded Software and Systems 10th IEEE Int. Conf. on Trust, Security and Privacy in Computing and Communications, TrustCom 2011, 8th IEEE Int. Conf. on Embedded Software and Systems, ICESS 2011, 6th Int. Conf. on Frontier of Computer Science and Technology, FCST 2011, Changsha, China, 16-18 November.
Cherif Salama, Gregory Malecha, Walid Taha, Jim Grundy, John O’Leary (2011). Static Consistency Checking for Verilog Wire Interconnects : Using Dependent Types to Check the Sanity of Verilog Descriptions. PEPM '09 Partial Evaluation and Program Manipulation (co-located with POPL 2009) Savannah, GA, USA, January 19-20, 2009.
Chung-Ming Huang, Chia-Ching Yang, Chun-Ming Hu, Alexey Vinel (2011). An open Telematics Service Providing Framework using the P2P-like paradigm based on the somecast protocol. 2011 Baltic Congress on Future Internet Communications (BCFIC Riga), Riga, Latvia, 16-18 Feb..
Claudia Campolo, Yevgeni Koucheryavy, Antonella Molinaro, Alexey Vinel (2011). Characterizing broadcast packet losses in IEEE 802.11p/WAVE vehicular networks. 2011 IEEE 22nd International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC), Toronto, Canada, 11-14 September.
Claudia Campolo, Antonella Molinaro, Alexey Vinel (2011). Understanding the performance of short-lived control broadcast packets in 802.11p/WAVE Vehicular networks. 2011 IEEE Vehicular Networking Conference (VNC), Amsterdam, The Netherlands, 14-16 November.
Edison Pignaton de Freitas, Bernhard Bösch, Rodrigo Allgayer, Leonardo Steinfeld, Flávio Wagner, Luigi Carro, Carlos Pereira, Tony Larsson (2011). Mobile Agents Model and Performance Analysis of a Wireless Sensor Network Target Tracking Application. 11th International Conference, NEW2AN 2011, and 4th Conference on Smart Spaces, ruSMART 2011, St. Petersburg, Russia, August 22-25 2011.
Edison Pignaton de Freitas, Tales Heimfarth, Ivayr Farah Netto, Carlos Eduardo Pereira, Armando Morado Ferreira, Flavio Rech Wagner, Tony Larsson (2011). Handling Failures of Static Sensor Nodes in Wireless Sensor Network by Use of Mobile Sensors. 25th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2011, Biopolis, March 22-25, 2011.
Edison Pignaton de Freitas, Tales Heimfarth, Luiz Augusto Guimarães Costa, Armando M. Ferreira, Carlos Eduardo Pereira, Flávio Rech Wagner, Tony Larsson (2011). Analyzing different levels of geographic context awareness in agent ferrying over VANETs. 26th Annual ACM Symposium on Applied Computing, SAC 2011, TaiChung, March 21-24, 2011.
Elisabeth Uhlemann (2011). Communication requirements of emerging cooperative driving systems. IEEE International Conference on Consumer Electronics.
Erik Hertz, Peter Nilsson (2011). Ultra Low Power Hardware for Computing Squared Euclidean Distances. 20th European Conference on Circuit Theory and Design (ECCTD 2011), August 29-31, Linköping, Sweden..
Essayas Gebrewahid, Zain Ul-Abdin, Bertil Svensson (2011). Mapping Occam-pi programs to a Manycore Architecture. MCC-2011, Fourth Swedish Workshop on Multicore Computing, November 23-25, 2011, Linköping University.
G. Marrocco, M. Wolkerstorfer, Tomas Nordström, D. Statovci (2011). Energy- Efficient DSL using Vectoring. In Proc. IEEE Global Communications Conference (GLOBECOM), Houston, Texas, USA, December 5-9, 2011..
Hamid Reza Asadi, Ramtin Khosravi, Mohammad Reza Mousavi, Neda Noroozi (2011). Towards Model-Based Testing of Electronic Funds Transfer Systems. 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April.
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Mohammad Reza Mousavi, Jaco van de Pol, Osmar Osmar Marchi dos Santos (2011). Automated Verification of Executable UML Models. 9th International Symposium on Formal Methods for Components and Objects (FMCO 2010), Graz, Austria, 29 November - 1 December.
Jawad Masood, Matteo Zoppi, Rezia Molfino (2011). Multi-Terrain Vehicle Active Suspension Control Modeling and Design. ASME 2011 International Design Engineering Technical Conferences and Computers and Information in Engineering Conference (IDETC/CIE2011), Washington DC, USA, August 28–31.
Katrin Sjöberg, Elisabeth Uhlemann, Erik G. Ström (2011). How severe is the hidden terminal problem in VANETs when using CSMA and STDMA?. IEEE Vehicular Technology Conference, 5-8 Sept., San Francisco, CA, USA, 2011.
Katrin Sjöberg, Elisabeth Uhlemann, Erik G. Ström (2011). Delay and interference comparison of CSMA and self-organizing TDMA when used in VANETs. 7th International Wireless Communications and Mobile Computing Conference (IWCMC) Istanbul, 4-8 July, 2011.
L. Aceto, A. Birgisson, A. Ingolfsdottir, Mohammad Reza Mousavi (2011). Decompositional Reasoning about the History of Parallel Processes. 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011, Tehran, Iran, 20-22 April 2011.
M. Wolkerstorfer, Tomas Nordström (2011). Coverage Optimization in DSL Networks by Low-Complexity Discrete Spectrum Balancing. In Proc. IEEE Global Communications Conference (GLOBECOM), Houston, Texas, USA, December 5-9, 2011.
M. Wolkerstorfer, Tomas Nordström (2011). Heuristics for Discrete Power Control - A Case-Study in Multi-Carrier DSL Networks. ALIO/EURO Workshop on Applied Combinatorial Optimization, Porto, Portugal, 4-6 May 2011.
Magnus Jonsson (2011). Why real-time communication matters. Embedded Conference Scandinavia (ECS2011), Stockholm, Sweden, Oct. 4-5, 2011..
Matthias Raffelsieper, Mohammad Reza Mousavi (2011). Symbolic Power Analysis of Cell Libraries. 19th IEEE Int Requirements Engineering Conference (RE)/16th Int Workshop on Formal Methods for Industrial Critical Systems (FMICS)/5th Int IStar Workshop, Trento, ITALY, AUG 29-SEP 02, 2011.
Neda Noroozi, Ramtin Khosravi, Mohammad Reza Mousavi, Tim Willemse (2011). Synchronizing Asynchronous Conformance Testing. The 9th International Conference on Software Engineering and Formal Methods (SEFM 2011).
Peyman Pouyan, Erik Hertz, Peter Nilsson (2011). A VLSI Implementation of Logarithmic and Exponential Functions Using a Novel Parabolic Synthesis Methodology Compared to the CORDIC Algorithm. 20th European Conference on Circuit Theory and Design (ECCTD 2011), August 29-31, Linköping, Sweden..
Ruixia Gao, Feng Xia, Linqiang Wang, Tie Qiu, Alexey Vinel (2011). Performance analysis of non-beaconed IEEE 802.15.4 for high-confidence wireless communications. 2011 Baltic Congress on Future Internet Communications (BCFIC Riga), Riga, Latvia, 16-18 February.
S. Sajadian, A. Ibrahim, Edison Pignaton de Freitas, Tony Larsson (2011). Improving Connectivity of Nodes in Mobile WSN. IEEE International Conference on Advanced Information Networking and Applications (AINA 2011), Singapore, Mars 22-25.
Tony Larsson, Walid Taha, Karl-Erik Årzen (2011). Dependable Automotive Systems based on Model Certified Components. Automotive CPS Workshop, Troy, Michigan, USA, June 2011.
Wagner Ourique de Morais, Nicholas Wickström (2011). A Serious Computer Game to Assist Tai Chi Training for the Elderly. 2011 IEEE 1st International Conference on Serious Games and Applications for Health (SeGAH 2011), Braga, Portugal16-18 November 2011.
Walid Taha, Veronica Gaspes, Rex Page (2011). Accurate Programming : Thinking about programs in terms of properties. International Conference on Domain-Specific Languages (DSL 2011), Bordeaux, France, 6-8 September 2011.
under construction
