CERES - User contributions [en]

Stella Erlandsson

2017-04-23T18:25:08Z

Nicholas:

{{Person
|Family Name=Erlandsson
|Given Name=Stella
|Title=B.Sc.
|Phone=+46-35167389
|Position=Coordinator of co-operation
|Email=stella.erlandsson@hh.se
|Image=Head-unknown.jpg
|Office=E207
|Affiliation=CC-lab, ITE
}}
{{AssignProjects
|project=ECH- and IT-forensics network, SIP Smartare Elektroniksystem
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}

Old Name of the new project

2016-11-11T11:26:33Z

Nicholas: Nicholas moved page Name of the new project to Old Name of the new project without leaving a redirect

{{StudentProjectTemplate
|Summary=Model-based Design of a Sailboat Autopilot
|Programme=EIS Masters 15hpc
|Keywords=Smart homes, pervasive computing, DiaSuite
|TimeFrame=6 months
|References=Contact instructor
|Prerequisites=DA8003 Cyber-Physical Systems
|Supervisor=Walid Taha
|Examiner=Mohammad Reza Mousavi
|Level=Master
|Status=Open
}}
The core research question is to whether we can use Acumen for model-based design. This thesis aims to demonstrate this using a case study with a prototype sailboat. Technical challenges include modeling, instrumentation, localization, communication, and control

The first component of the work is build a prototype compiler that can target an embedded microcontroller platform (such as an arduino, raspberry pi, etc). This involves first selecting a series of more sophisticated examples that illustrate key features of controllers written within one Acumen object. For the purposes of synthesis the Acumen language itself may be extended with some specialized annotations that support this generation task and do not interfere with the semantics of Acumen models otherwise. Examples of such annotations may include special variable names that can be found on the target platform, special characteristics such as clock rate, etc. Next, corresponding "generated" C or Java code is written by hand and tested extensively. Then, a BNF for a sufficient subset of C or Java is defined in Scala. Next, an interpreter is written for this subset (to enable fast testing of the translator). Then, a translator that automates this translation is written. Then, property-based tests are built for this interpreter. Next, a pretty-printer that generates an ASCII file for compilation on the target domain is built, and all collected examples are used to generate this translation. Finally, a collection of performance benchmarks are developed and used to evaluate the timing accuracy of of the results of the compiler. It should be noted here that this not raw performance, but rather, accuracy in terms of consistency of the timing characteristics and overall behavior of what happens on the target platform compared to what happens on the model. Some data logging and data download capabilities may be added to support this type of comparison.

The second component is to identify related work about sail boat control, to read it, and write a coherent overview of this literature, and position the results in the context of this literature.

The third component of the work is to model the robot in Acumen based on a suitable physical prototype that can be used for physical testing. Data-collection facilities developed in the first part should be used to evaluate the accurate of the simulations and the actual performance of the boat. A clear method should be developed to separate error from measurement and actual error in performance (such as the actual position and direction of the boat).

The fourth component is writing up the results of the work.

References:

* https://www.ensta-bretagne.fr/jaulin/paper_jaulin_irsc12.pdf
* https://www.youtube.com/watch?v=ZkMAR5gP-bw
* https://www.archives-ouvertes.fr/hal-00628434/document
* https://www.ensta-bretagne.fr/jaulin/paper_lebars_irsc12.pdf

Sebastian Kunze

2015-11-13T22:39:31Z

Nicholas:

{{Person
|Family Name=Kunze
|Given Name=Sebastian
|Title=M.Sc.
|Position=Ph.D. Student
|Email=sebastian.kunze@hh.se
|Image=Head-unknown.jpg
|Affiliation=Center for Research on Embedded Systems
|url=http://ceres.hh.se/mediawiki/Sebastian_Kunze
}}
{{AssignProjects
|project=EFFEMBAC
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}

== Research Interests ==

* [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]]

== Qualification ==
* M.Sc. in Software Engineering (Double Degree), Mälardalen University, Västerås, Sweden
* M.Sc. in Informatics (Double Degree), Hochschule Darmstadt - University of Applied Sciences, Darmstadt, Germany
* B.Sc. in Informatics, Hochschule Darmstadt - University of Applied Sciences, Darmstadt, Germany

File:Masoumeh.jpg

2015-08-10T15:01:03Z

Nicholas: Nicholas uploaded a new version of "File:Masoumeh.jpg"

File:Masoumeh.jpg

2015-08-10T14:48:43Z

Nicholas: Nicholas uploaded a new version of "File:Masoumeh.jpg"

Amin Farjudian

2015-05-30T14:20:41Z

Nicholas:

{{Person
|Family Name=Farjudian
|Given Name=Amin
|Title=Dr.
|Position=Assistant Professor
|Email=amin.farjudian@hh.se
|Image=Head-unknown.jpg
}}
{{AssignProjects
|project=ESCHER
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}

Amin Farjudian

2015-05-30T14:20:29Z

Nicholas:

{{Person
|Family Name=Farjudian
|Given Name=Amin
|Title=Dr.
|Position=Assistant Professor
|Email=amin.farjudian@hh.se
|Image=File:Head-unknown.jpg
}}
{{AssignProjects
|project=ESCHER
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}

File:DIT085 final examination march 2015.pdf

2015-03-23T10:17:16Z

Nicholas:

File:DIT085 final examination march 2015 with solutions.pdf

2015-03-23T10:16:45Z

Nicholas:

DIT085

2015-03-23T10:15:02Z

Nicholas:

= Testing and Verification @ Chalmers / GU - Edition 2015 =

==Contact ==

===Lecturer===
[[Mohammad Mousavi]]

* Office: Halmstad University, E 305 (on Fridays at Chalmers: Jupiter, 477)
* Telephone 035 16 71 22 (on Fridays at Chalmers: (031 772) 60 77)
* Email: [mailto:m.r.mousavi@hh.se m.r.mousavi@hh.se]

===Instructors===

Eugene Groshev

* Email: [mailto:groshev@student.chalmers.se groshev@student.chalmers.se]

Björn Olsson

* Email: [mailto:olssonbv@gmail.com olssonbv@gmail.com]

===Schedule===

Lectures: Friday 10:15-12:00, Lindholmen Campus, Patricia, Alfons Hall

Supervised Labs: Fridays 13:00-16:45, Lindholmen Campus, Patricia, Mållgan Hall

==Objectives==

* Knowledge and understanding:
** understand the basic terminology of testing;
** name and describe basic concepts on testing, as well as different testing techniques and approaches
** describe the connection between software development phases and kinds of testing

* Skills and abilities:
** write models in at least one formal specification language;
** construct appropriate and meaningful test cases, and interpret and explain (to stakeholders) the results of the application of such test cases ( using appropriate tools) to practical examples
** plan and produce appropriate documentation for testing
** apply different testing techniques on realistic examples.

* Judgement and approach:
** compare different tools and techniques for testing software, and plan their use in appropriate contexts,
** compare and judge alternatives to testing, such as model checking and runtime verification
** identify and hypothesize about sources of program failures, and reflect on how to better verify the correctness of such programs.

==Assessment==

Assessment is performed in terms of the deliverable of the practical project (software + report) and a written examination.

* To obtain a Pass (Godkänd: G) mark for the course, the student must obtain a Pass mark for both the project report and the written examination.

* To obtain a Pass with Distinction (Väl godkänd : VG) mark for the course, the student must obtain a Pass with Distinction mark for both the project report and the written examination.

* Otherwise, the student will fail the course and obtain a Fail mark (Underkänd: U).

In order to pass the project with distinction, you need to either have pass with distinction in 2 out of the 3 mandatory parts, or 1 pass with distinction
for the mandatory part and a pass for the optional part.
In order to pass the project, you need to pass all 3 mandatory parts of the project.

=== [[media:DIT085_assessment_guide_2015.pdf| Assessment Guide 2015]] ===

=== [[media:DIT085_final_examination_march_2015.pdf| Final Examination 2015]], [[media:DIT085_final_examination_march_2015_with_solutions.pdf| Final Examination 2015 with Solutions]] ===

== Slides and Study Material ==

===Slides===

{| class="wikitable"
|-
! Lecture !! Handouts / Slides !! Other Material
|-
| Lecture 1: Terminology and Functional Testing
January 23, 2015
|| [[media:DIT085_lecture1_handouts_2014.pdf| Handouts]] [[media:DIT085_lecture1_slides_2015.pdf| Slides]] || Chapters 1 and 4 of Ammann and Offutt
|-
| Lecture 2: Functional Testing
Guest Lecture by Micael Andersson, Volvo (Test-Driven Development and jUnit)
January 30, 2015
|| [[media:DIT085_lecture2_part1_handouts_2014.pdf| Handouts]] [[media:DIT085_lecture2_part1_slides_2015.pdf| Slides]]
[[media:DIT085_guest_lecture_junit_slides_2015.pdf|Guest Lecture (jUnit and TDD)]]
|| Chapters 6 and 7 of Jorgensen
[http://dx.doi.org/10.1002%2Fstvr.4370030203 M. Grochtmann and K. Grimm, Classification trees for partition testing]
|-
| Lecture 3: Guest Lecture by Micael Andersson, Volvo (Mocking and Test-Driven Development )
February 6, 2015
||
[[media:DIT085_guest_lecture_mocking_slides_2015.pdf|Guest Lecture (Mocking and TDD)]]
|| [[media:DIT085_tdd_examples_2015.zip| TDD Examples]]
|-
| Lecture 4: Coverage Criteria
February 13, 2015
||
Path Testing: [[media:DIT085_lecture3_handouts_2014.pdf| Handouts]] [[media:DIT085_lecture3_slides_2015.pdf| Slides]]

Data Flow Testing: [[media:DIT085_lecture4_handouts_2014.pdf| Handouts]] [[media:DIT085_lecture4_slides_2015.pdf| Slides]]
|| Chapter 2 Ammann and Offutt
Chapters 9 and 10 of Jorgensen
|-
| Lecture 5: Model Checking
February 20, 2015
||
[[media:DIT085_lecture5_handouts_2015.pdf| Handouts]] [[media:DIT085_lecture5_slides_2015.pdf| Slides]]
||
[[media:intro_uppaal_vaandrager.pdf| F. Vaandrager, A First Introduction to Uppaal]]

[http://www.mbsd.cs.ru.nl/publications/papers/fvaan/handbookuppaal/ Gossip and Jobshop Examples]

[[media:simple_server_2015.zip| Simple Server Example]]

|-
| Lecture 6: UI Testing

Guest Lecture by Emil Alégroth, Chalmers

February 27, 2015
||

[[media:DIT085_vgt_slides_2015.pptx|Visual GUI Testing (Slides in pptx format)]]

||

[http://www.cse.chalmers.se/~algeroth/cheatsheet.html VGT Cheat Sheet] (Examples, Exercises)
|-
| Lecture 7: Slicing and Debugging
March 6, 2015
|| [[media:DIT085_lecture7_handouts_2015.pdf| Handouts]] [[media:DIT085_lecture7_slides_2015.pdf|Slides]]
||
Chapters 5, 6, and 13 of Zeller
[http://dl.acm.org/citation.cfm?id=802557 M. Wiser, Program Slicing]
|-
| Lecture 8: Reviewing Model Examination
March 13, 2015
|| [[media:DIT085_model_examination_2015.pdf| Model Examination]] [[media:DIT085_model_examination_solutions_2015.pdf| Solutions]] ||
|-
|}

===Main Textbook===

* P. Ammann and J. Offutt. Introduction to Software Testing. Cambridge, 2008.

===Recommended Reading Material===

* P.C. Jorgensen. Software Testing: A Craftsman’s Approach. Auerbach Publications, 3rd edition, 2008.

* L. Aceto, A. Ingolfsdottir, K.G. Larsen, and J. Srba. [http://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/reactive-systems-modelling-specification-and-verification Reactive Systems: Modelling, Specification and Verification], Cambridge University Press, 2010.

* A. Zeller. Why Programs Fail? Morgan Kaufmann, 2nd edition, 2009.

* Sujoy Acharya. [http://proxy.lib.chalmers.se/login?url=http://site.ebrary.com/lib/chalmers/Doc?id=10810894 Test-driven development with Mockito].

* Marcin Grzejszczak. [http://proxy.lib.chalmers.se/login?url=http://site.ebrary.com/lib/chalmers/Doc?id=10754161 Instant Mockito].

* F. Vaandrager, [http://www.mbsd.cs.ru.nl/publications/papers/fvaan/handbookuppaal/ A First Introduction to Uppaal]. In J. Tretmans, editor. Quasimodo Handbook. To appear.

* M. Wiser, Program Slicing, Proc. of ICSE'81, pp. 439-449, ACM, 1981.

== Project Description ==

The project is about Test-Driven Development of a [https://www.whatsapp.com/ WhatsApp]-like server- and client-side application, which we call WhatsUpGU.
The final implementation will comprise:

* A connection-based (TCP-IP-based) server implemented in Java, allowing for multi-threaded processing of multiple requests from clients, the server
has an XML interface for adding, editing, and fetching messages, and
* An Android client, able to connect to the server on a TCP IP connection using the XML-based interface protocol and able to deal with communication faults.

From the testing and verification perspective, the project comprises the application of the following techniques:

* test-driven development,
* unit testing using [http://junit.org/ jUnit],
* gathering coverage metrics using [http://www.eclemma.org/ EclEmma] (or similar tools),
* integration testing, including developing stubs using [https://code.google.com/p/mockito/ Mockito] (or similar tools),
* model checking using [http://www.uppaal.org/ Uppaal], and
* UI testing using the [http://www.sikuli.org/ Sikuli] tool.

This is a group project that is to be carried out in '''groups of 4'''.
You need to have formed your groups in GUL and emailed your group structure to the lecturer and both instructors by '''Thursday January 27 at 17:00''';
please put '[DIT085] Group Registration' in the subject line of your email.

The deliverables are to be delivered on the GUL system and discussed orally in the presence of all team members with one of the two instructors.
The deliverables comprise a report and the implementation code: the report should document the major steps in each phase and
code snippets (few concise examples) of how they are implemented and possibly screen shots of the results.
Extensive pieces of program code should not be included in the report.
The most important factors in judging the reports are: their logical structure and sufficiently clear explanation of the steps (all figures and code snippets should be accompanied with clear descriptions).

The deadlines are to be respected and each phase is to be delivered both on GUL and discussed before the deadline.
You may get an extension of one week for at most two phases; for that you need to send an email before the deadline to the instructors.
Sending an email is sufficient for receiving the extension and you need not wait for a response to your email.

As a general principle, when you find an ambiguity in the requirements, make a reasonable assumption and '''document it clearly''' in your report.

===[[DIT085 FAQ 2015|Frequently Asked Questions]]===

{| class="wikitable"
|-
! Practical !! Deadline !! Notes
|-
| [[DIT085 Ed 2015 Practical Phase 1|Phase 1: TDD of a Unit]] || February 13, 2015 23:59 ||
|-
| [[DIT085 Ed 2015 Practical Phase 2|Phase 2: Integration (Testing) of the Server]] || February 27, 2015 23:59 ||
|-
| [[Phase 3: Specification and Model Checking]] || March 06, 2015 23:59 ||
|-
| [[DIT085 Ed 2015 Practical Phase 4|Phase 4: UI Testing]] (Optional, see the rules for pass with distinction) || March 13, 2015 23:59 ||
|-
|}

==Acknowledgment ==

This course is based on the material produced for several earlier editions given at TU Eindhoven, the Netherlands.
Part of the material has been produced (or is based on the produced material) by Judi Romijn and Tim Willemse.

=[[Mohammad Mousavi|Back to Home]]=

Mohammad Reza Mousavi

2015-03-23T10:13:57Z

Nicholas:

{{Person
|Family Name=Mousavi
|Given Name=Mohammad Reza
|Title=Ph.D.
|Phone=+46 35 167122
|Position=Professor
|Email=m.r.mousavi@hh.se
|Image=Mousavi.jpg
|Office=E 305
|Affiliation=Center for Research on Embedded Systems
|url=http://ceres.hh.se/mediawiki/index.php/Mohammad_Mousavi
|position=Professor
|head_image=Mousavi.jpg
|givenname=Mohammadreza
|surname=Mousavi
|ptitle=Professor of Computer Systems Engineering
|office=E 305
|phonenr=+46 35 167122
|email=m.r.mousavi@hh.se
}}
{{AssignSubjectAreas
|SubjectArea=Computer Engineering
}}

__NOTOC__

{{ShowPerson}}

== Research Interests ==

* [[Research in Model-Based Testing and Verification | Model-Based Testing and Verification]]
* [[Research in Structural Operational Semantics | Structural Operational Semantics]]
* Process Algebra

== Publications ==

[[File:maaocs.jpg|200px|thumb|super|[http://mitpress.mit.edu/books/modeling-and-analysis-communicating-systems Modeling and Analysis of Communicating Systems, MIT Press, 2014] ]]

* [[Mohammad Mousavi's Publications | Publication List]]
* [http://www.informatik.uni-trier.de/~ley/pers/hd/m/Mousavi:Mohammad_Reza.html Publications in DBLP]
* [http://scholar.google.se/citations?user=KtpGCS4AAAAJ Google Scholar Profile]

== Courses ==

* Testing and Verification of Embedded Systems (Spring 2015)
* [[DT8021 Ed 2015|Testing and Verification of Embedded Systems]] (Spring 2015)
* [[DIT085|Testing and Verification at Chalmers / GU]] (Spring 2015)
* [[MACS Ed 2014|Modeling and Analysis of Communicating Systems]] (Ph.D. Course)
* [[PA 8001 Ed 2014|Embedded Systems Programming (Fall 2014)]] ([[PA 8001 Ed 2013|2013 Edition]])
* [[How to Referee Scientific Papers]] (Ph.D. Course)
* [[Mohammad Mousavi's Past Courses|Past Courses]]

== Service ==

* [[Mohammad Mousavi's Conferences | Program Committees / Invited Talks]]
* [[Mohammad Mousavi's Journals | Editorships]]
* [[Mohammad Mousavi's Associations | Professional Associations]]

== Past Affiliations ==

* Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands. (Associate Professor 2013, Tenured 2008, Assistant Professor 2005-2012)
* Embedded Software Group, Faculty of Electrical Engineering, Mathematics, and Computer Science, Delft University of Technology, Delft, The Netherlands. (Visiting Faculty 2010-2013)
* Icelandic Center of Excellence for Theoretical Computer Science, Reykjavik University, Reykjavik, Iceland. (Postdoctoral Researcher 2006-2007)
* Department of Electrical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands. (Assistant Professor 2005-2006)


[[Category:staff]]

DT8021 Ed 2015

2015-03-23T10:12:53Z

Nicholas: Created page with " ==Contact == ===Lecturer=== Mohammad Mousavi * Office: E 305 * Telephone 035 16 71 22 * Email: [mailto:m.r.mousavi@hh.se m.r.mousavi@hh.se] ===Schedule=== Lectures..."

==Contact ==

===Lecturer===
[[Mohammad Mousavi]]

* Office: E 305
* Telephone 035 16 71 22
* Email: [mailto:m.r.mousavi@hh.se m.r.mousavi@hh.se]

===Schedule===

Lectures: 2 hours lecture in a week (typically on Mondays from 10:15 to 12:00 at R3144)

Labs: 3 hours in a week

==Objectives==

* Knowledge and understanding
** Explain various classification of test techniques
** Explain behavioral modeling, techniques and model-based testing and test case generation from behavioral models
** Explain the latest research trends in the area of testing and alternatives to testing, particularly, model
checking

* Skills and abilities

** Apply the traditional test techniques to realistic examples
** Write abstract behavioral models for embedded systems
** Use the behavioral models in order to perform model-based testing.

* Judgement and approach
** Analyse the suitability of various test techniques given the test assumptions and test goals
** Analyse research results in the field of testing embedded systems

==Assessment==

Assessment is performed in terms of the deliverable of the paper presentation (oral presentation + report), the practical project (software + report) and a written examination.
Each of these will contribute to one-third of the final mark.

== Slides and Study Material ==

===Slides===

{| class="wikitable"
|-
! Lecture !! Handouts / Slides !! Other Material
|-
| Lecture 1: Terminology and Functional Testing
March 23, 2015
|| || Chapters 1 and 4 of Ammann and Offutt
|-
| Lecture 2: Functional Testing
March 30, 2015
||
|| Chapters 6 and 7 of Jorgensen
[http://dx.doi.org/10.1002%2Fstvr.4370030203 M. Grochtmann and K. Grimm, Classification trees for partition testing]
|-
| Lecture 3: Coverage Criteria
April 1, 2015
||

|| Chapter 2 Ammann and Offutt
Chapters 9 and 10 of Jorgensen
|-
| Lecture 4: Guest Lecture
April 9, 2015
||
||
|-
| Lecture 5: Model Checking

April 13, 2015
||

||

|-
| Lecture 6: UI Testing

April 20, 2015
||

||

|-
| Lecture 7: Slicing and Debugging
April 27, 2015
||
||
Chapters 5, 6, and 13 of Zeller
[http://dl.acm.org/citation.cfm?id=802557 M. Wiser, Program Slicing]

|-
| Presentation of Papers
May 11, 2015
|| ||
|-

|-
| Lecture 8: Reviewing Model Examination
May 18, 2015
|| ||
|-
|}

===Main Textbook===

* P. Ammann and J. Offutt. Introduction to Software Testing. Cambridge, 2008.

===Recommended Reading Material===

* P.C. Jorgensen. Software Testing: A Craftsman’s Approach. Auerbach Publications, 3rd edition, 2008.

* L. Aceto, A. Ingolfsdottir, K.G. Larsen, and J. Srba. [http://www.cambridge.org/us/academic/subjects/computer-science/programming-languages-and-applied-logic/reactive-systems-modelling-specification-and-verification Reactive Systems: Modelling, Specification and Verification], Cambridge University Press, 2010.

* A. Zeller. Why Programs Fail? Morgan Kaufmann, 2nd edition, 2009.

* Sujoy Acharya. [http://proxy.lib.chalmers.se/login?url=http://site.ebrary.com/lib/chalmers/Doc?id=10810894 Test-driven development with Mockito].

* Marcin Grzejszczak. [http://proxy.lib.chalmers.se/login?url=http://site.ebrary.com/lib/chalmers/Doc?id=10754161 Instant Mockito].

* F. Vaandrager, [http://www.mbsd.cs.ru.nl/publications/papers/fvaan/handbookuppaal/ A First Introduction to Uppaal]. In J. Tretmans, editor. Quasimodo Handbook. To appear.

* M. Wiser, Program Slicing, Proc. of ICSE'81, pp. 439-449, ACM, 1981.

== Project Description ==

The project is about Test-Driven Development of a [https://www.whatsapp.com/ WhatsApp]-like client-side application, which we call WhatsUpHH.
The final implementation will comprise an Android TCP-IP-based client implemented in Java, allowing for communication with the server
through an XML interface for adding, editing, and fetching messages.

From the testing and verification perspective, the project comprises the application of the following techniques:

* test-driven development,
* unit testing using [http://junit.org/ jUnit],
* gathering coverage metrics using [http://www.eclemma.org/ EclEmma] (or similar tools),
* integration testing, including developing stubs using [https://code.google.com/p/mockito/ Mockito] (or similar tools), and
* UI testing using the [http://www.sikuli.org/ Sikuli] tool.

This is a group project that is to be carried out in '''groups of 3'''.
You need to have formed your groups and emailed your group structure to the lecturer by '''Thursday March 30 at 17:00''';
please put '[DT8021] Group Registration' in the subject line of your email.

The deliverables comprise a report and the implementation code: the report should document the major steps in each phase and
code snippets (few concise examples) of how they are implemented and possibly screen shots of the results.
Extensive pieces of program code should not be included in the report.
The most important factors in judging the reports are: their logical structure and sufficiently clear explanation of the steps (all figures and code snippets should be accompanied with clear descriptions).

The deadlines are to be respected and each phase is to be delivered using email and discussed before the deadline.
You may get an extension of one week for at most two phases; for that you need to send an email before the deadline to the instructors.
Sending an email is sufficient for receiving the extension and you need not wait for a response to your email.

As a general principle, when you find an ambiguity in the requirements, make a reasonable assumption and '''document it clearly''' in your report.

{| class="wikitable"
|-
! Practical !! Deadline !! Notes
|-
| Phase 1: TDD of a Unit || April 17, 2015 23:59 ||
|-
| Phase 2: Integration (Testing) of the Client || May 1, 2015 23:59 ||
|-
| Phase 3: UI Testing || May 15, 2015 23:59 ||
|-
|}

==Acknowledgment ==

This course is based on the material produced for several earlier editions given at TU Eindhoven, the Netherlands.
Part of the material has been produced (or is based on the produced material) by Judi Romijn and Tim Willemse.

=[[Mohammad Mousavi|Back to Home]]=

Nikita Lyamin

2014-09-09T22:03:45Z

Nicholas:

{{Person
|Family Name=Lyamin
|Given Name=Nikita
|Phone=+4635167929
|Position=PhD Student
|Email=nikita.lyamin@hh.se
|Image=lyamin3.jpeg
|Office=E223B
|Affiliation=Halmstad University
}}
{{AssignProjects
|project=ACDC
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}
{{PublicationsList}}

File:Lyamin3.jpeg

2014-09-09T22:02:56Z

Nicholas:

Nikita Lyamin

2014-09-09T22:02:43Z

Nicholas:

{{Person
|Family Name=Lyamin
|Given Name=Nikita
|Phone=035167929
|Position=PhD Student
|Email=nikita.lyamin@hh.se
|Image=lyamin3.jpeg
|Office=E223B
|Affiliation=Halmstad University
}}
{{AssignProjects
|project=ACDC
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}
{{PublicationsList}}

Nikita Lyamin

2014-09-09T22:01:07Z

Nicholas:

{{Person
|Family Name=Lyamin
|Given Name=Nikita
|Phone=035167929
|Position=PhD Student
|Email=nikita.lyamin@hh.se
|Image=Lyamin2.jpeg
|Office=E223B
|Affiliation=Halmstad University
}}
{{AssignProjects
|project=ACDC
}}
[[Category:Staff]]


{{ShowPerson}}
{{InsertProjects}}
{{PublicationsList}}

File:Lyamin.jpeg

2014-09-09T21:55:43Z

Nicholas:

Publications:Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-channel Schemes

2014-08-03T12:10:45Z

Nicholas:

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Xiaoyan Yin, Xiaomin Ma, Kishor Trivedi, Alexey Vinel
|PID=682995
|Name=Yin, Xiaoyan (Duke University);Ma, Xiaomin (Oral Roberts University);Trivedi, Kishor (Duke University);Vinel, Alexey [alevin] (Tampere University of Technology, Tampere, Finland)
|Title=Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-channel Schemes
|PublicationType=Journal Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=IEEE Transactions on Computers (Print)
|JournalISSN=0018-9340
|Status=published
|Volume=
|Issue=
|HostPublication=
|Conference=
|StartPage=
|EndPage=
|Year=2014
|Edition=
|Pages=
|City=
|Publisher=
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1109/TC.2013.175
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-24258
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Kommunikationssystem (20203);Telekommunikation (20204)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2014-01-01
|PublicationDate=2014-01-01
|LastUpdated=2014-02-25
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:682995}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}

MediaWiki:Common.js

2014-06-26T13:32:15Z

Nicholas:

/* Any JavaScript here will be loaded for all users on every page load. */

jQuery(function($){
console.info("all"); //gives an info message with an 'i' in front of the message
console.info(mw.config.get( 'wgUserId' )); //gives an info message with an 'i' in front of the message

if ( mw.config.get( 'wgUserId' ) == null) {
var str = mw.config.get( 'wgTitle' );
var patt1=/Internal/gi;
console.info("anon"); //gives an info message with an 'i' in front of the message
if (str.match(patt1)) {
document.location.href="http://ceres.hh.se/mediawiki/";
console.info("anon+internal"); //gives an info message with an 'i' in front of the message
$jq(window).attr("location","http://ceres.hh.se/mediawiki/");
var url = "http://ceres.hh.se/mediawiki/";
$(location).attr('href',url);
}
mw.util.addCSS( 'div.hidden_not_loggedin{display:none!important; }' );
mw.util.addCSS( '#p-tb { display: none!important; }' );
mw.util.addCSS( '#contentSub { display: none!important; }' );
mw.util.addCSS( '#ca-protect{ display:none!important; }' );
mw.util.addCSS( '#ca-watch{ display:none!important; }' );
mw.util.addCSS( '#ca-purge{ display:none!important; }' );
mw.util.addCSS( '#ca-history{ display:none!important; }' );
mw.util.addCSS( '#ca-delete{ display:none!important; }' );
mw.util.addCSS( '#ca-move{ display:none!important; }' );
mw.util.addCSS( '#ca-edit{ display:none!important; }' );
mw.util.addCSS( '#ca-talk{ display:none!important; }' );
mw.util.addCSS( '#ca-nstab-main{ display:none!important; }' );
mw.util.addCSS( '.editsection{ display:none!important; }' );
mw.util.addCSS( 'div#footer{ display:none!important; }' );
mw.util.addCSS( '#p-Internal { display: none!important; }' );
mw.util.addCSS( '#ca-viewsource { display: none!important;}' );
mw.util.addCSS( '#ca-form_edit { display: none!important;}' );
mw.util.addCSS( '#jump-to-nav { display: none!important;}' );
mw.util.addCSS( '#mw-editsection-bracket { display: none!important;}' );
mw.util.addCSS( '.printfooter { display: none!important;}' );
mw.util.addCSS( '.mw-jump { display: none!important;}' );
} } );

Template:CompanyOutput

2014-06-26T13:26:26Z

Nicholas:

<includeonly><DIV style="margin-left: 0px; position: relative; margin-top: {{{TopMargin|+30px}}}; margin-bottom: {{{BottomMargin|+30px}}}; margin-right:2ex; border-style: solid; border-width:1px; border-color: #AAAAAA; padding: 2ex; background-color: #transparent;" CLASS="CAISR_CompanyOutput">
<h1 style="display: inline;font-size: 130%; font-weight: bolder; border: none">
[[{{{2}}}]] </h1><br />
[[Image:{{{4}}}|150x80px|left|link={{{1}}}|{{{1}}}]]
'''Webpage''': {{{3}}}<br />
<br />
<br />
</DIV></includeonly><nowiki/>
<noinclude>
See [[Help:Inline queries]] to see how an inline query can use this to format the display of query results.
[[File:{{{4}}}|60px|left|{{{1}}}]]
<pre>
{{#ask: [[Category:Industrial]] [[homepage::+]] [[CompanyImage::+]] [[Contact::+]] [[Contact Email::+]]
| ?Name
| ?homepage
| ?CompanyImage
| ?Contact
| ?Contact Email
| format=template
| template=CompanyOutput
}}
Old: '''Contact''': {{{5}}} ({{{6}}})<br />
</pre>
</noinclude>

Template:CompanyOutput

2014-06-26T13:26:00Z

Nicholas:

<includeonly><DIV style="margin-left: 0px; position: relative; margin-top: {{{TopMargin|+30px}}}; margin-bottom: {{{BottomMargin|+30px}}}; margin-right:2ex; border-style: solid; border-width:1px; border-color: #AAAAAA; padding: 2ex; background-color: #transparent;" CLASS="CAISR_CompanyOutput">
<h1 style="display: inline;font-size: 130%; font-weight: bolder; border: none">
[[{{{2}}}]] </h1><br />
[[Image:{{{4}}}|150x100px|left|link={{{1}}}|{{{1}}}]]
'''Webpage''': {{{3}}}<br />
<br />
<br />
</DIV></includeonly><nowiki/>
<noinclude>
See [[Help:Inline queries]] to see how an inline query can use this to format the display of query results.
[[File:{{{4}}}|60px|left|{{{1}}}]]
<pre>
{{#ask: [[Category:Industrial]] [[homepage::+]] [[CompanyImage::+]] [[Contact::+]] [[Contact Email::+]]
| ?Name
| ?homepage
| ?CompanyImage
| ?Contact
| ?Contact Email
| format=template
| template=CompanyOutput
}}
Old: '''Contact''': {{{5}}} ({{{6}}})<br />
</pre>
</noinclude>

Template:CompanyOutput

2014-06-26T13:25:38Z

Nicholas:

<includeonly><DIV style="margin-left: 0px; position: relative; margin-top: {{{TopMargin|+30px}}}; margin-bottom: {{{BottomMargin|+30px}}}; margin-right:2ex; border-style: solid; border-width:1px; border-color: #AAAAAA; padding: 2ex; background-color: #transparent;" CLASS="CAISR_CompanyOutput">
<h1 style="display: inline;font-size: 130%; font-weight: bolder; border: none">
[[{{{2}}}]] </h1><br />
[[Image:{{{4}}}|150x150px|left|link={{{1}}}|{{{1}}}]]
'''Webpage''': {{{3}}}<br />
<br />
<br />
</DIV></includeonly><nowiki/>
<noinclude>
See [[Help:Inline queries]] to see how an inline query can use this to format the display of query results.
[[File:{{{4}}}|60px|left|{{{1}}}]]
<pre>
{{#ask: [[Category:Industrial]] [[homepage::+]] [[CompanyImage::+]] [[Contact::+]] [[Contact Email::+]]
| ?Name
| ?homepage
| ?CompanyImage
| ?Contact
| ?Contact Email
| format=template
| template=CompanyOutput
}}
Old: '''Contact''': {{{5}}} ({{{6}}})<br />
</pre>
</noinclude>

Template:CompanyOutput

2014-06-26T13:25:09Z

Nicholas:

<includeonly><DIV style="margin-left: 0px; position: relative; margin-top: {{{TopMargin|+30px}}}; margin-bottom: {{{BottomMargin|+30px}}}; margin-right:2ex; border-style: solid; border-width:1px; border-color: #AAAAAA; padding: 2ex; background-color: #transparent;" CLASS="CAISR_CompanyOutput">
<h1 style="display: inline;font-size: 130%; font-weight: bolder; border: none">
[[{{{2}}}]] </h1><br />
[[Image:{{{4}}}|100x150px|left|link={{{1}}}|{{{1}}}]]
'''Webpage''': {{{3}}}<br />
<br />
<br />
</DIV></includeonly><nowiki/>
<noinclude>
See [[Help:Inline queries]] to see how an inline query can use this to format the display of query results.
[[File:{{{4}}}|60px|left|{{{1}}}]]
<pre>
{{#ask: [[Category:Industrial]] [[homepage::+]] [[CompanyImage::+]] [[Contact::+]] [[Contact Email::+]]
| ?Name
| ?homepage
| ?CompanyImage
| ?Contact
| ?Contact Email
| format=template
| template=CompanyOutput
}}
Old: '''Contact''': {{{5}}} ({{{6}}})<br />
</pre>
</noinclude>

Template:CompanyOutput

2014-06-26T13:23:39Z

Nicholas:

<includeonly><DIV style="margin-left: 0px; position: relative; margin-top: {{{TopMargin|+30px}}}; margin-bottom: {{{BottomMargin|+30px}}}; margin-right:2ex; border-style: solid; border-width:1px; border-color: #AAAAAA; padding: 2ex; background-color: #transparent;" CLASS="CAISR_CompanyOutput">
<h1 style="display: inline;font-size: 130%; font-weight: bolder; border: none">
[[{{{2}}}]] </h1><br />
[[Image:{{{4}}}|100px|left|link={{{1}}}|{{{1}}}]]
'''Webpage''': {{{3}}}<br />
<br />
<br />
</DIV></includeonly><nowiki/>
<noinclude>
See [[Help:Inline queries]] to see how an inline query can use this to format the display of query results.
[[File:{{{4}}}|60px|left|{{{1}}}]]
<pre>
{{#ask: [[Category:Industrial]] [[homepage::+]] [[CompanyImage::+]] [[Contact::+]] [[Contact Email::+]]
| ?Name
| ?homepage
| ?CompanyImage
| ?Contact
| ?Contact Email
| format=template
| template=CompanyOutput
}}
Old: '''Contact''': {{{5}}} ({{{6}}})<br />
</pre>
</noinclude>

Template:CompanyOutput

2014-06-26T13:22:33Z

Nicholas:

<includeonly><DIV style="margin-left: 0px; position: relative; margin-top: {{{TopMargin|+30px}}}; margin-bottom: {{{BottomMargin|+30px}}}; margin-right:2ex; border-style: solid; border-width:1px; border-color: #AAAAAA; padding: 2ex; background-color: #transparent;" CLASS="CAISR_CompanyOutput">
<h1 style="display: inline;font-size: 130%; font-weight: bolder; border: none">
[[{{{2}}}]] </h1><br />
[[Image:{{{4}}}|left|link={{{1}}}|{{{1}}}]]
'''Webpage''': {{{3}}}<br />
<br />
<br />
</DIV></includeonly><nowiki/>
<noinclude>
See [[Help:Inline queries]] to see how an inline query can use this to format the display of query results.
[[File:{{{4}}}|60px|left|{{{1}}}]]
<pre>
{{#ask: [[Category:Industrial]] [[homepage::+]] [[CompanyImage::+]] [[Contact::+]] [[Contact Email::+]]
| ?Name
| ?homepage
| ?CompanyImage
| ?Contact
| ?Contact Email
| format=template
| template=CompanyOutput
}}
Old: '''Contact''': {{{5}}} ({{{6}}})<br />
</pre>
</noinclude>

Lucid

2014-06-26T13:19:36Z

Nicholas: Nicholas moved page Imacomp to Lucid

{{Company
|Name=Lucid
|Image=Imacomp logo120.png
|URL=http://lucid.ch/
|Contact=Tor Hildebrand
|Contact Email=tor.hildebrand@gmail.com
}}

Lucid

2014-06-26T13:19:24Z

Nicholas:

{{Company
|Name=Lucid
|Image=Imacomp logo120.png
|URL=http://lucid.ch/
|Contact=Tor Hildebrand
|Contact Email=tor.hildebrand@gmail.com
}}

Adapteva Inc

2014-06-26T13:17:38Z

Nicholas:

[[Category:Industrial]]
{{Company
|Name=Adapteva Inc
|Image=Adapteva.jpg
|URL=http://www.adapteva.com/
| Contact=NA
|Contact Email=none@available.now
}}

Adapteva Inc

2014-06-26T13:16:19Z

Nicholas: Nicholas moved page Adapteva to Adapteva Inc without leaving a redirect

[[Category:Industrial]]
{{Company
|Name=Adapteva Inc
|Image=Adapteva.jpg
|URL=http://www.adapteva.com/
}}

Adapteva Inc

2014-06-26T13:16:09Z

Nicholas:

[[Category:Industrial]]
{{Company
|Name=Adapteva Inc
|Image=Adapteva.jpg
|URL=http://www.adapteva.com/
}}

SAAB

2014-06-26T13:14:14Z

Nicholas: Nicholas moved page Saab to SAAB without leaving a redirect

{{Company
|Name=SAAB
|Image=Saab.jpg
|URL=http://www.saabgroup.com/
|Contact=Per Ericsson
|Contact Email=per.m.ericsson@saabgroup.com
}}

Main Page

2014-06-26T13:08:14Z

Nicholas:

<css>
#ca-protect{ display:none!important; }
#ca-watch{ display:none!important; }
#ca-purge{ display:none!important; }
#ca-history{ display:none!important; }
#ca-delete{ display:none!important; }
#ca-move{ display:none!important; }
#ca-edit{ display:none!important; }
#ca-talk{ display:none!important; }
#ca-nstab-main{ display:none!important; }
#contentSub{ display:none!important; }
div#footer{ display:none!important; }
body.page-Main_Page h1.firstHeading { display:none; }
#p-tb { display: none!important; }
</css>
<div style="float:left!important;"><imagemap>
Image:Ceresfp-v3.png|500px
circle 293 553 247 [[GeneralDescription|GeneralDescription]]
circle 541 990 125 [[Personnel|People]]
rect 706 946 914 1012 [[Personnel|People]]
rect 721 1023 956 1067 [[Personnel|Personnel]]
rect 720 1072 947 1112 [[Alumni|Alumni]]
circle 747 734 125 [[Partners|Partners]]
rect 903 660 1115 729 [[Partners|Partners]]
rect 921 738 1152 784 [[Industrial Partners|Industrial Partners]]
rect 919 787 1158 836 [[Academic|Academic]]
circle 738 376 124 [[Education|Education]]
rect 892 266 1106 339 [[Education|Education]]
rect 899 347 1113 391 [[Courses|Courses]]
rect 901 396 1199 441 [[Subject areas|Subject areas]]
rect 901 445 1253 492 [[Student Projects|Student Projects]]
circle 545 120 133 [[Research|Research]]
rect 678 24 893 97 [[Research|Research]]
rect 699 102 878 148 [[Research Areas|Research Areas]]
rect 698 154 901 199 [[Research Projects|Research Projects]]
rect 697 203 976 251 [[Publications|Publications]]
desc none
</imagemap></div>
{{NewsBox}}
<div style="float:left!important;"><imagemap>
Image:KK_ENG_RGB.gif|314px|alt=KK Foundation
default [[Centre for Applied Intelligent Systems Research - CAISR|CAISR]]
desc none</imagemap></div><div style="clear:both;"> </div>
<div class="hidden_not_loggedin">
{{Message|icon=[[Image:Info.png|20px]]|text='''Logged in user.''' [http://dexal.hh.se:17788/mediawiki/index.php?title=Main_Page&action=edit edit] [http://dexal.hh.se:17788/mediawiki/index.php/Talk:Main_Page comment] [http://ceres.hh.se:9880/mediawiki/index.php?title=Main_Page&action=purge refresh]<br/>'''Create:''' [[Form:NewsForm|News]]<br/>'''[[Internal]]''' pages.}}
</div><nowiki/>

MediaWiki:Common.js

2014-06-26T12:52:06Z

Nicholas: Created page with " /* Any JavaScript here will be loaded for all users on every page load. */ jQuery(function($){ console.info("all"); //gives an info message with an 'i' in front of the mes..."

/* Any JavaScript here will be loaded for all users on every page load. */

jQuery(function($){
console.info("all"); //gives an info message with an 'i' in front of the message
console.info(mw.config.get( 'wgUserId' )); //gives an info message with an 'i' in front of the message

if ( mw.config.get( 'wgUserId' ) == null) {
var str = mw.config.get( 'wgTitle' );
var patt1=/Internal/gi;
console.info("anon"); //gives an info message with an 'i' in front of the message
if (str.match(patt1)) {
document.location.href="http://islab.hh.se/mediawiki/";
console.info("anon+internal"); //gives an info message with an 'i' in front of the message
$jq(window).attr("location","http://islab.hh.se/mediawiki/");
var url = "http://islab.hh.se/mediawiki/";
$(location).attr('href',url);
}
mw.util.addCSS( 'div.hidden_not_loggedin{display:none!important; }' );
mw.util.addCSS( '#p-tb { display: none!important; }' );
mw.util.addCSS( '#contentSub { display: none!important; }' );
mw.util.addCSS( '#ca-protect{ display:none!important; }' );
mw.util.addCSS( '#ca-watch{ display:none!important; }' );
mw.util.addCSS( '#ca-purge{ display:none!important; }' );
mw.util.addCSS( '#ca-history{ display:none!important; }' );
mw.util.addCSS( '#ca-delete{ display:none!important; }' );
mw.util.addCSS( '#ca-move{ display:none!important; }' );
mw.util.addCSS( '#ca-edit{ display:none!important; }' );
mw.util.addCSS( '#ca-talk{ display:none!important; }' );
mw.util.addCSS( '#ca-nstab-main{ display:none!important; }' );
mw.util.addCSS( '.editsection{ display:none!important; }' );
mw.util.addCSS( 'div#footer{ display:none!important; }' );
mw.util.addCSS( '#p-Internal { display: none!important; }' );
mw.util.addCSS( '#ca-viewsource { display: none!important;}' );
mw.util.addCSS( '#ca-form_edit { display: none!important;}' );
mw.util.addCSS( '#jump-to-nav { display: none!important;}' );
mw.util.addCSS( '#mw-editsection-bracket { display: none!important;}' );
mw.util.addCSS( '.printfooter { display: none!important;}' );
mw.util.addCSS( '.mw-jump { display: none!important;}' );
} } );

MediaWiki/Common.css

2014-06-26T12:47:35Z

Nicholas:

#jump-to-nav {
display: none;
}
table.zebra tr:nth-child(odd) {background: #E9E9E9;}

/* Style for horizontal lists (separator following item) */
.skin-monobook .hlist dl,
.skin-modern .hlist dl,
.skin-vector .hlist dl {
line-height: 1.5em;
}
.hlist dl,
.hlist ol,
.hlist ul {
margin: 0;
}
.hlist dd,
.hlist dt,
.hlist li {
display: inline;
margin: 0;
}
/* Display nested lists inline */
.hlist dl dl,
.hlist ol ol,
.hlist ul ul {
display: inline;
}
/* Generate interpuncts */
.hlist dt:after {
content: ":";
}
.hlist dd:after,
.hlist li:after {
content: " ·";
font-weight: bold;
}
.hlist dd:last-child:after,
.hlist dt:last-child:after,
.hlist li:last-child:after {
content: none;
}
/* for IE 8 */
.hlist dd.hlist-last-child:after,
.hlist dt.hlist-last-child:after,
.hlist li.hlist-last-child:after {
content: none;
}
/* Add parens around nested lists */
.hlist dl dl dd:first-child:before,
.hlist ol ol li:first-child:before,
.hlist ul ul li:first-child:before {
content: "(";
}
.hlist dl dl dd:last-child:after,
.hlist ol ol li:last-child:after,
.hlist ul ul li:last-child:after {
content: ")";
font-weight: normal;
}
/* For IE8 */
.hlist dl dl dd.hlist-last-child:after,
.hlist ol ol li.hlist-last-child:after,
.hlist ul ul li.hlist-last-child:after {
content: ")";
font-weight: normal;
}
/* Put numbers in ordered lists */
.hlist.hnum ol li {
counter-increment: level1;
}
.hlist.hnum ol li:before {
content: counter(level1) " ";
}
.hlist.hnum ol ol li {
counter-increment: level2;
}
.hlist.hnum ol ol li:first-child:before {
content: "(" counter(level2) " ";
}
.hlist.hnum ol ol li:before {
content: counter(level2) " ";
}

MediaWiki:CERESNavBar

2014-06-26T04:22:58Z

Nicholas:

'''[[Main Page|Home]]'''
----
'''[[Research]]'''
* [[Research areas|Research Areas]]
* [[Application areas|Application Areas]]
* [[Research Projects|Research Projects]]
* [[Publications|Publications]]
----
'''[[Education]]'''
* [[Courses|Courses]]
* [[Subject areas|Subject areas]]
* [[Student projects|Student Projects]]
----
'''[[Partners]]'''
* [[Industrial Partners|Industrial]]
* [[Academic|Academic]]
----
'''[[Personnel|People]]'''
* [[Personnel|Personnel]]
* [[Alumni|Alumni]]
----
'''[[Contact CERES|Contact]]'''
* [[Contact CERES|Contact CERES]]
----
<div style="color:white;">'''Links'''</div>
* [http://islab.hh.se/ CAISR]
* [http://www.hh.se/ Halmstad University]
* [http://www.hh.se/english/ide.html School of IDE]

MediaWiki:CustomNavBlocks

2014-06-26T04:22:00Z

Nicholas: Created page with "CERESNavBar|"

CERESNavBar|

MediaWiki:CERESNavBar

2014-06-26T04:19:23Z

Nicholas: Created page with " '''Home''' ---- '''Research''' * Research Areas * Application Areas * Research Projects|Research Projects..."

'''[[Main Page|Home]]'''
----
'''[[Research]]'''
* [[Research areas|Research Areas]]
* [[Application areas|Application Areas]]
* [[Research Projects|Research Projects]]
* [[Publications|Publications]]
----
'''[[Education]]'''
* [[Courses|Courses]]
* [[Subject areas|Subject areas]]
* [[Student projects|Student Projects]]
----
'''[[Partners]]'''
* [[Industrial Partners|Industrial]]
* [[Academic|Academic]]
----
'''[[Personnel|People]]'''
* [[Personnel|Personnel]]
* [[Alumni|Alumni]]
----
'''[[Contact Islab|Contact]]'''
* [[Contact Islab|Contact Islab]]
----
<div style="color:white;">'''Links'''</div>
* [http://ceres.hh.se/ CERES]
* [http://www.hh.se/ Halmstad University]
* [http://www.hh.se/english/ide.html School of IDE]

MediaWiki:Sidebar

2014-06-26T04:04:13Z

File:Hh-logo-2013-engx135px.png

2014-03-18T11:50:41Z

Nicholas: