CERES publications (Journal)
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.
Xiaoyan Yin, Xiaomin Ma, Kishor Trivedi, Alexey Vinel (2014). Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-channel Schemes. I.E.E.E. transactions on computers (Print).
Andreas Willig, Elisabeth Uhlemann (2013). Deadline-Aware Scheduling of Cooperative Relayers in TDMA-Based Wireless Industrial Networks. Wireless networks.
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.
Claudia Campolo, Antonella Molinaro, Alexey Vinel (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, Alexey Vinel, Flavio Rech Wagner, Carlos Eduardo Pereira, Tony Larsson (2013). Cooperation among wirelessly connected static and mobile sensor nodes for surveillance applications. Sensors.
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.
Evgeny Belyaev, Alexey Vinel, Karen Egiazarian, Yevgeni Koucheryavy (2013). Power Control in See-Through Overtaking Assistance System. IEEE Communications Letters.
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).
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. IEEE Intelligent Transportation Systems Magazine.
Martin Wolkerstorfer, Joakim Jaldén, Tomas Nordström (2013). Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines. Signal Processing.
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.
Alexey Vinel (2012). 3GPP LTE Versus IEEE 802.11p/WAVE : Which Technology is Able to Support Cooperative Vehicular Safety Applications?. IEEE Wireless 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.
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.
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.
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.
Norman Abramson, Claudio Sacchi, Boris Bellalta, Alexey Vinel (2012). Multiple access communications in future-generation wireless networks. EURASIP Journal on Wireless Communications and Networking.
Zain Ul-Abdin, Bertil Svensson (2012). Occam-pi for Programming of Massively Parallel Reconfigurable Architectures. International Journal of Reconfigurable Computing.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
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.
CERES publications (Conference)
Alexey Vinel, Evgeny Belyaev, Olivier Lamotte, Moncef Gabbouj, Yevgeni Koucheryavy, Karen Egiazarian (2013). Video transmission over IEEE 802.11p: real-world measurements. IEEE International Conference on Communications 2013: IEEE ICC'13 - Workshop on Emerging Vehicular Networks: V2V/V2I and Railroad Communications.
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.
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.
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, 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.
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.
Mahboobeh Parsapoor, Urban Bilstrup (2013). Merging ant colony optimization based clusteringand an imperialist competitive algorithm for spectrum management of a cognitivemobile ad hoc network. TheWireless Innovation Forum Conference on Communications Technologies andSoftware Defined Radio, SDR-WInnComm 2013, WahingtonD.C., U.S. 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.
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.
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 Nordstrom (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 Willemse (2013). On the Complexity of Input Output Conformance Testing. FACS 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).
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.
Zain Ul-Abdin, Anders Ahlander, Bertil Svensson (2013). Real-time Radar Signal Processing on MassivelyParallel Processor Arrays. 47th IEEE Asilomar Conference on Signals, Systems and Computers.
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.
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, 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, Ecole Normale Supérieure de Lyon, Lyon, France.
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, 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.
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), 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), 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), Anchorage, AK, USA.
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 September, 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). 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). 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, July, 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, 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.
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.
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 (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.
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.
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, 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.
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.
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.
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.
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). 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.
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.
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, Paul Brauner, Robert Cartwright, Veronica Gaspes, Aaron Ames, Alexandre Chapoutot (2011). A Core Language for Executable Models of Cyber Physical Systems : work in progress report. Work-in-Progress (WiP) Session of the 2nd International Conference on Cyber Physical Systems, ICCPS'11 WIP, Chicago, IL, USA, April 12 - 14, 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.
Yan Wang, Veronica Gaspes (2011). A Library for Processing Ad hoc Data in Haskell : Embedding a Data Description Language. 20th International Symposium, Implementation and Application of Functional Languages, IFL 2008.
Yan Wang, Veronica Gaspes (2011). A Compositional Implementation of Modbus in Protege. 6th IEEE International Symposium on Industrial Embedded Systems (SIES 2011)).
Zain Ul-Abdin, Bertil Svensson (2011). Occam-pi as a High-level Language for Coarse-Grained Reconfigurable Architectures. 25th IEEE International Parallel and Distributed Processing Symposium, Workshops and Phd Forum, IPDPSW 2011, Anchorage, AK, 16 - 20 May, 2011.
Zain Ul-Abdin, Anders Åhlander, Bertil Svensson (2011). Programming Real-time Autofocus on a Massively Parallel Reconfigurable Architecture using Occam-pi. IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM'2011), Campus Univ Utah, Salt Lake City, UT, MAY 01-03, 2011.
Agneta Hansson, Gunilla Fürst Hörte, Emma Börjesson, Suzanne Almgren Mason, Bertil Svensson (2010). Bridging gendered and scientific cultures in a healthcare technology context. Equality, growth adn sustainability - Do they mix?, Linköping, 25-26 nov 2010.
Alexander Pyattaev, Sergey Andreev, Alexey Vinel, Boris Sokolov (2010). Client Relay Simulation Model for Centralized Wireless Networks. 7th EUROSIM Congress on Modelling and Simulation (EUROSIM 10), Prague, Czech Republic, September 6-10.
Alexey Vinel, Alexander Dudin, Sergey Andreev, Feng Xia (2010). Performance modeling methodology of emergency dissemination algorithms for vehicular ad-hoc networks. 2010 7th International Symposium on Communication Systems Networks and Digital Signal Processing (CSNDSP), Newcastle upon Tyne, UK, 21-23 July.
Anita Sant'Anna, Nicholas Wickström (2010). A linguistic approach to the analysis of accelerometerdata for gait analysis. seventh IASTED International Conference on Biomedical Engineering, February 17-19, 2010, Innsbruck, Austria.
Annette Böhm, Kristoffer Lidström, Magnus Jonsson, Tony Larsson (2010). Evaluating CALM M5-based vehicle-to-vehicle communication in various road settings through field trials. 35th Annual IEEE Conference on Local Computer Networks, LCN 2010, Denver, CO, USA, 10 - 14 October, 2010.
Björn Nilsson, Lars Bengtsson, Bertil Svensson, Urban Bilstrup, Per-Arne Wiberg (2010). An active backscatter wake-up and tag identification extraction protocol for low cost and low power active RFID. 2010 IEEE Conference on RFID-Technology and Applications, 17-19 June, Guangzhou, China.
Björn Nilsson, Lars Bengtsson, Bertil Svensson (2010). A snoozing frequency binary tree protocol. The Third International EURASIP Workshop on RFID Technology, 6-7 September 2010, La Manga del Mar Menor, Cartagena, Spain, 2010.
Boris Bellalta, Alexey Vinel, Miquel Oliver (2010). An upper-bound queueing model for Multi-rate Downlink SDMA systems. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), Moscow, Russia, 18-20 Oct.
Boris Sokolov, Evgeny Tsivirko, Alexey Vinel (2010). Overview of broadband wireless access technologies and stochastic models for their performance evaluation. Computer Data Analysis and Modeling: Complex Stochastic Data and Systems (CDAM’2010), Minsk, Belarus, September 7-11.