Publications

From CERES
Jump to: navigation, search


CERES publications (Journal)

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.

Bih-Yuan Ku, Elisabeth Uhlemann (2011). [[Publications:|]]. IEEE Vehicular Technology Magazine.

Dmitri Moltchanov, Alexey Vinel, Jakub Jakubiak, Yevgeni Koucheryavy (2011). Synchronous Relaying in Vehicular Ad-Hoc Networks. International Journal of Wireless Networks and Broadband Technologies.

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.

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.

Björn Nilsson, Lars Bengtsson, Bertil Svensson (2010). An Energy and Application Scenario Aware Active RFID Protocol. 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.

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.

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.

Christian Lengauer, Walid Taha (2006). Preface. Science of Computer Programming.

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, 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.

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). 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.

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.

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 Willemse (2013). Decomposability in Input Output Conformance Testing. Proceedings of the 8th Workshop on Model-Based Testing (MBT 2013), Rom, Italy, 17th March 2013.

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.

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.

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). 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.

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.

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.

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.

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). 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.

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.

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, 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.

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, 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). 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.

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.

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.

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, 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.

… further results


Student Theses

under construction