CERES publications (Journal)
Andreas Willig, Elisabeth Uhlemann (2013). Deadline-Aware Scheduling of Cooperative Relayers in TDMA-Based Wireless Industrial Networks. Wireless networks.
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.
F. Dechesne, Mohammad Reza Mousavi (2013). Interpreted Systems Semantics for Process Algebra with Identity Annotations. Lecture Notes in Artificial Intelligence.
Jawad Masood, Matteo Zoppi, Rezia Molfino (2013). Pseudo-elastic wire application in robotized cutting systems. Automation in Construction.
Martin Wolkerstorfer, Joakim Jaldén, Tomas Nordström (2013). Low-Complexity OptimalDiscrete-Rate Spectrum Balancing in Digital Subscriber Lines. Signal Processing.
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.
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, 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.
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.
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, Ce-Kuen Shieh, Alexey Vinel (2011). MAC-level Forward Error Correction mechanism for minimum error recovery overhead and retransmission. Mathematical and computer modelling.
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.
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.
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.
Håkan Forsberg, Magnus Jonsson, Bertil Svensson (2003). Embedded Signal Processing Using Free-Space Optical Hypercube Interconnects. Optical Networks Magazine.
Walid Taha, Tim Sheard (2000). MetaML and multi-stage programming with explicit annotations. Theoretical Computer Science.
CERES publications (Conference)
Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A Reniers (2013). Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. The 5th Conference on Algebra and Coalgebra in Computer Science (CLACO 2013).
Luca Aceto, Eugen-Ioan Goriac, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers (2013). Exploiting Algebraic Laws to Improve Mechanized Axiomatization. The 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland.
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..
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).
Zain Ul-Abdin, Bertil Svensson (2013). An Evaluation of High-Performance Embedded Processing on MPPAs. 21st IEEE International Symposium on Field-Programmable Custom Computing Machines.
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..
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.
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.
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). 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, 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 September, 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, 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.
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.
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.
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.
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..
Erik Hertz, Peyman Pouyan, 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..
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).
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.
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.
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.
C. Vogel, Tomas Nordström, S. Trautmann, G. Kubin (2010). Energy Efficient Analog Front Ends For Access Networks Through Digital Signal Processing – A Contribution To Green ICT. Extended Abstract for 11. Symposium Energieinnovation, Graz, Austria, Feb. 11-12, 2010.
Claudia Campolo, Yevgeni Koucheryavy, Antonella Molinaro, Alexey Vinel (2010). On the Performance of Beaconing in 802.11p/WAVE Vehicular Ad Hoc Networks. 10th International Conference on Intelligent Transport Systems Telecommunications (ITST 2010), Kyoto, Japan, 9-11 Nov..
D. Hassan, Mohammad Reza Mousavi, M. A. Reniers (2010). Restricted delegation and revocation in language-based security : (Position paper). The 5th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security, Toronto, Canada, June 10.
Edison Pignaton de Freitas, Tales Heimfarth, Ivayr Farah Netto, Alex Guimaraes Cardoso de Sa, Carlos Eduardo Pereira, Armando Morado Ferreira, Flavio Rech Wagner, Tony Larsson (2010). Enhanced Wireless Sensor Network Setup Strategy Supported by Intelligent Software Agents. IEEE Sensors 2010 Conference, November 1-4, 2010, Waikoloa, Big Island, Hawaii.
Edison Pignaton de Freitas, Tales Heimfarth, Flávio Rech Wagner, Armando Morado Ferreira, Carlos Eduardo Pereira, Tony Larsson (2010). Geo-aware Handover of Mission Agents Using Opportunistic Communication in VANET. 10th International Conference on Next Generation Wired/Wireless Networking, NEW2AN, St Petersburg, Russia, August 23-25, 2010..
Edison Pignaton de Freitas, Tales Heimfarth, Armando Morado Ferreira, Carlos Eduardo Pereira, Flávio Rech Wagner, Tony Larsson (2010). Decentralized task distribution among cooperative UAVs in surveillance systems applications. 7th International Conference on Wireless On-Demand Network Systems and Services Kranjska Gora, SLOVENIA, FEB 03-05, 2010.
Edison Pignaton de Freitas, Tales Heimfarth, Carlos Eduardo Pereira, Armando Morado Ferreira, Flávio Rech Wagner, Tony Larsson (2010). Experimental Analysis of Coordination Strategies to Support Wireless Sensor Networks Composed by Static Ground Sensors and UAV-Carried Sensors. International Symposium on Parallel and Distributed Processing with Applications, ISPA 2010, Taipei, 6 - 9 September, 2010.
Edison Pignaton de Freitas, Tales Heimfarth, Ivayr Farah Netto, Carlos Eduardo Lino, Carlos Eduardo Pereira, Armando Morado Ferreira, Flávio Rech Wagner, Tony Larsson (2010). UAV relay network to support WSN connectivity. 2010 International Congress on Ultra Modern Telecommunications and Control Systems and Workshops, Moscow, Russia, 18 - 20 October, 2010.
Edison Pignaton de Freitas, Rodrigo S. Allgayer, Tales Heimfarth, Fla ́vio R. Wagner, Tony Larsson, Carlos E. Pereira, Armando M. Ferreira (2010). Coordination Mechanism and Customizable Hardware Platform to Provide Heterogeneous Wireless Sensor Networks Support. 12th Brazilian Workshop on Real-Time and Embedded Systems, Gramado/RS, Brazil, May 24th, 2010.
Edison Pignaton de Freitas, Tales Heimfarth, Carlos Eduardo Pereira, Armando Morado Ferreira, Flávio Rech Wagner, Tony Larsson (2010). Pheromone-based coordination strategy to static sensors on the ground and unmanned aerial vehicles carried sensors. Ground/Air Multi-Sensor Interoperability, Integration, and Networking for Persistent ISR, Orlando, Florida, United States, 6 - 9 April, 2010.
Edwin Westbrook, Mathias Ricken, Jun Inoue, Yilong Yao, Tamer Abdelatif, Walid Taha (2010). Mint : Java Multi-stage Programming Using Weak Separability. ACM SIGPLAN 2010 Conference on Programming Language Design and Implementation, PLDI 2010, Toronto, Ontario, Canada, 5-10 June 2010.
Emil Nilsson, Björn Nilsson, Lars Bengtsson, Bertil Svensson, Per-Arne Wiberg, Urban Bilstrup (2010). A low power-long range active RFID-system consisting of active RFID backscatter transponders. IEEE International Conference on RFID-Technology and Applications, RFID-TA 2010, 17 - 19 June 2010 Guangzhou, China.
Fahad Islam Cheema, Zain Ul-Abdin, Bertil Svensson (2010). A Design Methodology for Resource to Performance Tradeoff Adjustment in FPGAs. 7th FPGAworld Conference, FPGAworld 2010, Copenhagen, 6 September 2010.
Fulong Chen, Walid Taha, Lei Deng (2010). Multi-Stage Programming for High-Level Description of Circuit Families. 3rd International Congress on Image and Signal Processing (CISP), 16-18 October 2010, Yantai, China.
Jawad Masood, Matteo Zoppi, Rezia Molfino (2010). Application of Pseudo-Elastic Wire for Hybrid Cutting Robotic Tool. 41st International Symposium on and 2010 6th German Conference on Robotics (ROBOTIK), June 7-9, 2010, Munich, Germany.
Julien Bruneau, Charles Consel, Marcia O'Malley, Walid Taha, Wail Masry Hannourah (2010). Preliminary Results in Virtual Testing for Smart Building. MOBIQUITOUS 2010, 7th International ICST Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, Sydney, Australia, 6-9 December, 2010.
Katrin Sjöberg, Johan Karedal, Marie Moe, Øyvind Kristiansen, Runar Søråsen, Elisabeth Uhlemann, Fredrik Tufvesson, Knut Evensen, Erik Ström (2010). Measuring and using the RSSI of IEEE 802.11p. 17th World Congress on Intelligent Transport Systems (ITS), Busan, Korea, October 25-29, 2010.
Katrin Sjöberg-Bilstrup, Elisabeth Uhlemann, Erik G. Ström (2010). Scalability issues of the MAC methods STDMA and CSMA of IEEE 802.11p when used in VANETs. IEEE International Conference on Communications Workshops, Cape Town, South Africa, May 2010.