Main Page - Revision history

Wortmann at 16:00, 7 June 2018

Wortmann — Thu, 07 Jun 2018 16:00:28 GMT

← Older revision		Revision as of 16:00, 7 June 2018
Line 57:		Line 57:

	=== Tools and Demonstrations on Software Engineering in Robotics (16:00 - 17:00) ===		=== Tools and Demonstrations on Software Engineering in Robotics (16:00 - 17:00) ===
-	* Sebastian Wrede and Dennis Wigand - A Model-based Specification and Analysis Architecture for Real-Time Robotics Systems (16:00 - 16:15)	+	* Sebastian Wrede and Dennis Wigand - A Model-based Specification and Analysis Architecture for Real-Time Robotics Systems (16:00 - 16:15): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/RoSE2018_Tool_Demo_dwigand_small.pdf Presentation]
	* Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci - AADL2ROS: a toolchain for automatic code generation (16:15 - 16:30)		* Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci - AADL2ROS: a toolchain for automatic code generation (16:15 - 16:30)
	* Nico Hochgeschwender and Loïc Gammaitoni - Exploring the Design Space of Robot Perception Systems (16:30 - 16:45): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Exploring_the_Design_Space_of_Robot_Perception_Systems.pdf Presentation], [https://www.dropbox.com/sh/v053u1wzbv5m8xm/AACgHqyZfiuyt0XnrhMj6KEaa?dl=0&preview=RPSL_Design_Space_Exploration_using_Lightning.mp4 Video]		* Nico Hochgeschwender and Loïc Gammaitoni - Exploring the Design Space of Robot Perception Systems (16:30 - 16:45): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Exploring_the_Design_Space_of_Robot_Perception_Systems.pdf Presentation], [https://www.dropbox.com/sh/v053u1wzbv5m8xm/AACgHqyZfiuyt0XnrhMj6KEaa?dl=0&preview=RPSL_Design_Space_Exploration_using_Lightning.mp4 Video]

Wortmann at 09:59, 1 June 2018

Wortmann — Fri, 01 Jun 2018 09:59:10 GMT

← Older revision		Revision as of 09:59, 1 June 2018
Line 47:		Line 47:

	== Session 3: Swarm Robotics and Visions of Advanced Robotics Software Engineering (14:00 - 15:30) ==		== Session 3: Swarm Robotics and Visions of Advanced Robotics Software Engineering (14:00 - 15:30) ==
-	* Daniel Sykes and Gavin Keighren. Maximising Productivity In Industrial-Scale Environments With Bounded Uncertainty (14:00 - 14:20)	+	* Daniel Sykes and Gavin Keighren. Maximising Productivity In Industrial-Scale Environments With Bounded Uncertainty (14:00 - 14:20): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Industrial-Scale_Environments_With_Bounded_Uncertainty.pdf Presentation]
-	* Darko Bozhinoski and Mauro Birattari. Designing control software for robot swarms (14:20 - 14:35) [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Designing_control_software_for_robot_swarms.pdf Presentation]	+	* Darko Bozhinoski and Mauro Birattari. Designing control software for robot swarms (14:20 - 14:35): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Designing_control_software_for_robot_swarms.pdf Presentation]
	* Giovanni Beltrame, Ettore Merlo, Jacopo Panerati and Carlo Pinciroli. Engineering Safety in Swarm Robotics (14:35 - 14:50): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Engineering_Safety_Swarm_Robotics.pdf Presentation]		* Giovanni Beltrame, Ettore Merlo, Jacopo Panerati and Carlo Pinciroli. Engineering Safety in Swarm Robotics (14:35 - 14:50): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Engineering_Safety_Swarm_Robotics.pdf Presentation]
	* John-Paul Ore, Carrick Detweiler and Sebastian Elbaum. Towards Code-Aware Robotic Simulation (14:50 - 15:05): [https://unl.app.box.com/s/bffduu5gaz681y3m7qbll6rwt6unt6r1 Presentation]		* John-Paul Ore, Carrick Detweiler and Sebastian Elbaum. Towards Code-Aware Robotic Simulation (14:50 - 15:05): [https://unl.app.box.com/s/bffduu5gaz681y3m7qbll6rwt6unt6r1 Presentation]

Wortmann at 05:27, 1 June 2018

Wortmann — Fri, 01 Jun 2018 05:27:13 GMT

← Older revision		Revision as of 05:27, 1 June 2018
Line 59:		Line 59:
	* Sebastian Wrede and Dennis Wigand - A Model-based Specification and Analysis Architecture for Real-Time Robotics Systems (16:00 - 16:15)		* Sebastian Wrede and Dennis Wigand - A Model-based Specification and Analysis Architecture for Real-Time Robotics Systems (16:00 - 16:15)
	* Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci - AADL2ROS: a toolchain for automatic code generation (16:15 - 16:30)		* Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci - AADL2ROS: a toolchain for automatic code generation (16:15 - 16:30)
-	* Nico Hochgeschwender and Loïc Gammaitoni - Exploring the Design Space of Robot Perception Systems (16:30 - 16:45): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Exploring_the_Design_Space_of_Robot_Perception_Systems.pdf Presentation], [https://www.dropbox.com/sh/v053u1wzbv5m8xm/AACgHqyZfiuyt0XnrhMj6KEaa?dl=0&preview=RPSL_Design_Space_Exploration_using_Lightning.mp4 Video]	+	* Nico Hochgeschwender and Loïc Gammaitoni - Exploring the Design Space of Robot Perception Systems (16:30 - 16:45): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Exploring_the_Design_Space_of_Robot_Perception_Systems.pdf Presentation], [https://www.dropbox.com/sh/v053u1wzbv5m8xm/AACgHqyZfiuyt0XnrhMj6KEaa?dl=0&preview=RPSL_Design_Space_Exploration_using_Lightning.mp4 Video]
-	* Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Thorsten Berger - User-friendly specification of robotic missions (16:45 - 17:00)	+	* Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Thorsten Berger - User-friendly specification of robotic missions (16:45 - 17:00): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/User-friendly_specification_of_robotic_missions.pdf Presentation]

	=== Discussion on Challenges and Opportunities (17:00 - 17:25) ===		=== Discussion on Challenges and Opportunities (17:00 - 17:25) ===

Wortmann at 11:40, 31 May 2018

Wortmann — Thu, 31 May 2018 11:40:51 GMT

← Older revision		Revision as of 11:40, 31 May 2018
Line 52:		Line 52:
	* John-Paul Ore, Carrick Detweiler and Sebastian Elbaum. Towards Code-Aware Robotic Simulation (14:50 - 15:05): [https://unl.app.box.com/s/bffduu5gaz681y3m7qbll6rwt6unt6r1 Presentation]		* John-Paul Ore, Carrick Detweiler and Sebastian Elbaum. Towards Code-Aware Robotic Simulation (14:50 - 15:05): [https://unl.app.box.com/s/bffduu5gaz681y3m7qbll6rwt6unt6r1 Presentation]
	* Neil Ernst, Rick Kazman and Philip Bianco. Towards Rapid Composition with Confidence in Robotics Software (15:05 - 15:20): [https://speakerdeck.com/neilernst/towards-rapid-composition-with-confidence-in-robotics-software Presentation]		* Neil Ernst, Rick Kazman and Philip Bianco. Towards Rapid Composition with Confidence in Robotics Software (15:05 - 15:20): [https://speakerdeck.com/neilernst/towards-rapid-composition-with-confidence-in-robotics-software Presentation]
-	* Ivano Malavolta, Sara Ljungblad - Challenges in Software Engineering in Robotics (15:20 - 15:30)	+	* Ivano Malavolta, Sara Ljungblad - Challenges in Software Engineering in Robotics (15:20 - 15:30): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Challenges_in_Robotics_Software_Engineering.pdf Presentation]

	== Session 4: Tools, Discussion, and Closing (16:00 - 17:30) ==		== Session 4: Tools, Discussion, and Closing (16:00 - 17:30) ==

Wortmann at 10:05, 31 May 2018

Wortmann — Thu, 31 May 2018 10:05:55 GMT

← Older revision		Revision as of 10:05, 31 May 2018
Line 50:		Line 50:
	* Darko Bozhinoski and Mauro Birattari. Designing control software for robot swarms (14:20 - 14:35) [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Designing_control_software_for_robot_swarms.pdf Presentation]		* Darko Bozhinoski and Mauro Birattari. Designing control software for robot swarms (14:20 - 14:35) [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Designing_control_software_for_robot_swarms.pdf Presentation]
	* Giovanni Beltrame, Ettore Merlo, Jacopo Panerati and Carlo Pinciroli. Engineering Safety in Swarm Robotics (14:35 - 14:50): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Engineering_Safety_Swarm_Robotics.pdf Presentation]		* Giovanni Beltrame, Ettore Merlo, Jacopo Panerati and Carlo Pinciroli. Engineering Safety in Swarm Robotics (14:35 - 14:50): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Engineering_Safety_Swarm_Robotics.pdf Presentation]
-	* John-Paul Ore, Carrick Detweiler and Sebastian Elbaum. Towards Code-Aware Robotic Simulation (14:50 - 15:05)	+	* John-Paul Ore, Carrick Detweiler and Sebastian Elbaum. Towards Code-Aware Robotic Simulation (14:50 - 15:05): [https://unl.app.box.com/s/bffduu5gaz681y3m7qbll6rwt6unt6r1 Presentation]
	* Neil Ernst, Rick Kazman and Philip Bianco. Towards Rapid Composition with Confidence in Robotics Software (15:05 - 15:20): [https://speakerdeck.com/neilernst/towards-rapid-composition-with-confidence-in-robotics-software Presentation]		* Neil Ernst, Rick Kazman and Philip Bianco. Towards Rapid Composition with Confidence in Robotics Software (15:05 - 15:20): [https://speakerdeck.com/neilernst/towards-rapid-composition-with-confidence-in-robotics-software Presentation]
	* Ivano Malavolta, Sara Ljungblad - Challenges in Software Engineering in Robotics (15:20 - 15:30)		* Ivano Malavolta, Sara Ljungblad - Challenges in Software Engineering in Robotics (15:20 - 15:30)

Wortmann at 08:11, 31 May 2018

Wortmann — Thu, 31 May 2018 08:11:32 GMT

← Older revision		Revision as of 08:11, 31 May 2018
Line 41:		Line 41:

	== Session 2: Compositional Robotics Software (11:00 - 12:30) ==		== Session 2: Compositional Robotics Software (11:00 - 12:30) ==
-	* Thomas Witte and Matthias Tichy. Checking consistency of robot software architectures in ROS (11:00 - 11:20)	+	* Thomas Witte and Matthias Tichy. Checking consistency of robot software architectures in ROS (11:00 - 11:20): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/checking_consistency_of_robot_software_architectures_in_ROS.pdf Presentation]
	* Gianluca Bardaro, Matteo Matteucci and Andrea Semprebon. A use case in model-based robot development using AADL and ROS (11:20 - 11:40): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/use_case_aadl_ROS.pdf Presentation]		* Gianluca Bardaro, Matteo Matteucci and Andrea Semprebon. A use case in model-based robot development using AADL and ROS (11:20 - 11:40): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/use_case_aadl_ROS.pdf Presentation]
	* Shahar Maoz and Jan Oliver Ringert. On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (11:40 - 12:00): [http://smlab.cs.tau.ac.il/syntech/spectra/ Materials]		* Shahar Maoz and Jan Oliver Ringert. On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (11:40 - 12:00): [http://smlab.cs.tau.ac.il/syntech/spectra/ Materials]

Wortmann: /* Session 2: Compositional Robotics Software (11:00 - 12:30) */

Wortmann — Wed, 30 May 2018 10:20:45 GMT

Session 2: Compositional Robotics Software (11:00 - 12:30)

← Older revision		Revision as of 10:20, 30 May 2018
Line 42:		Line 42:
	== Session 2: Compositional Robotics Software (11:00 - 12:30) ==		== Session 2: Compositional Robotics Software (11:00 - 12:30) ==
	* Thomas Witte and Matthias Tichy. Checking consistency of robot software architectures in ROS (11:00 - 11:20)		* Thomas Witte and Matthias Tichy. Checking consistency of robot software architectures in ROS (11:00 - 11:20)
-	* Gianluca Bardaro, Matteo Matteucci and Andrea Semprebon. A use case in model-based robot development using AADL and ROS (11:20 - 11:40)	+	* Gianluca Bardaro, Matteo Matteucci and Andrea Semprebon. A use case in model-based robot development using AADL and ROS (11:20 - 11:40): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/use_case_aadl_ROS.pdf Presentation]
	* Shahar Maoz and Jan Oliver Ringert. On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (11:40 - 12:00): [http://smlab.cs.tau.ac.il/syntech/spectra/ Materials]		* Shahar Maoz and Jan Oliver Ringert. On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (11:40 - 12:00): [http://smlab.cs.tau.ac.il/syntech/spectra/ Materials]
	* Loli Burgueño, Tanja Mayerhofer, Manuel Wimmer and Antonio Vallecillo. Using Physical Quantities in Robot Software Models (12:00 - 12:20): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Using_Physical_Quantities_in_Robot_Software_Models.pdf Presentation]		* Loli Burgueño, Tanja Mayerhofer, Manuel Wimmer and Antonio Vallecillo. Using Physical Quantities in Robot Software Models (12:00 - 12:20): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Using_Physical_Quantities_in_Robot_Software_Models.pdf Presentation]

Wortmann at 09:24, 30 May 2018

Wortmann — Wed, 30 May 2018 09:24:06 GMT

← Older revision		Revision as of 09:24, 30 May 2018
Line 43:		Line 43:
	* Thomas Witte and Matthias Tichy. Checking consistency of robot software architectures in ROS (11:00 - 11:20)		* Thomas Witte and Matthias Tichy. Checking consistency of robot software architectures in ROS (11:00 - 11:20)
	* Gianluca Bardaro, Matteo Matteucci and Andrea Semprebon. A use case in model-based robot development using AADL and ROS (11:20 - 11:40)		* Gianluca Bardaro, Matteo Matteucci and Andrea Semprebon. A use case in model-based robot development using AADL and ROS (11:20 - 11:40)
-	* Shahar Maoz and Jan Oliver Ringert. On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (11:40 - 12:00)	+	* Shahar Maoz and Jan Oliver Ringert. On the Software Engineering Challenges of Applying Reactive Synthesis to Robotics (11:40 - 12:00): [http://smlab.cs.tau.ac.il/syntech/spectra/ Materials]
	* Loli Burgueño, Tanja Mayerhofer, Manuel Wimmer and Antonio Vallecillo. Using Physical Quantities in Robot Software Models (12:00 - 12:20): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Using_Physical_Quantities_in_Robot_Software_Models.pdf Presentation]		* Loli Burgueño, Tanja Mayerhofer, Manuel Wimmer and Antonio Vallecillo. Using Physical Quantities in Robot Software Models (12:00 - 12:20): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Using_Physical_Quantities_in_Robot_Software_Models.pdf Presentation]

Wortmann: /* Tools and Demonstrations on Software Engineering in Robotics (16:00 - 17:00) */

Wortmann — Tue, 29 May 2018 12:12:18 GMT

Tools and Demonstrations on Software Engineering in Robotics (16:00 - 17:00)

← Older revision		Revision as of 12:12, 29 May 2018
Line 59:		Line 59:
	* Sebastian Wrede and Dennis Wigand - A Model-based Specification and Analysis Architecture for Real-Time Robotics Systems (16:00 - 16:15)		* Sebastian Wrede and Dennis Wigand - A Model-based Specification and Analysis Architecture for Real-Time Robotics Systems (16:00 - 16:15)
	* Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci - AADL2ROS: a toolchain for automatic code generation (16:15 - 16:30)		* Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci - AADL2ROS: a toolchain for automatic code generation (16:15 - 16:30)
-	* Nico Hochgeschwender and Loïc Gammaitoni - Exploring the Design Space of Robot Perception Systems (16:30 - 16:45):	+	* Nico Hochgeschwender and Loïc Gammaitoni - Exploring the Design Space of Robot Perception Systems (16:30 - 16:45): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Exploring_the_Design_Space_of_Robot_Perception_Systems.pdf Presentation], [https://www.dropbox.com/sh/v053u1wzbv5m8xm/AACgHqyZfiuyt0XnrhMj6KEaa?dl=0&preview=RPSL_Design_Space_Exploration_using_Lightning.mp4 Video]
-	[http://www.se-rwth.de/staff/wortmann/downloads/rose18/Exploring_the_Design_Space_of_Robot_Perception_Systems.pdf Presentation]	+
	* Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Thorsten Berger - User-friendly specification of robotic missions (16:45 - 17:00)		* Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Thorsten Berger - User-friendly specification of robotic missions (16:45 - 17:00)

Wortmann: /* Preliminary Workshop Program */

Wortmann — Tue, 29 May 2018 12:03:59 GMT

Preliminary Workshop Program

← Older revision		Revision as of 12:03, 29 May 2018
Line 59:		Line 59:
	* Sebastian Wrede and Dennis Wigand - A Model-based Specification and Analysis Architecture for Real-Time Robotics Systems (16:00 - 16:15)		* Sebastian Wrede and Dennis Wigand - A Model-based Specification and Analysis Architecture for Real-Time Robotics Systems (16:00 - 16:15)
	* Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci - AADL2ROS: a toolchain for automatic code generation (16:15 - 16:30)		* Gianluca Bardaro, Andrea Semprebon, and Matteo Matteucci - AADL2ROS: a toolchain for automatic code generation (16:15 - 16:30)
-	* Nico Hochgeschwender and Loïc Gammaitoni - Exploring the Design Space of Robot Perception Systems (16:30 - 16:45): [http://www.se-rwth.de/staff/wortmann/downloads/rose18/Exploring_the_Design_Space_of_Robot_Perception_Systems.pdf Presentation]	+	* Nico Hochgeschwender and Loïc Gammaitoni - Exploring the Design Space of Robot Perception Systems (16:30 - 16:45):
		+	[http://www.se-rwth.de/staff/wortmann/downloads/rose18/Exploring_the_Design_Space_of_Robot_Perception_Systems.pdf Presentation]
	* Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Thorsten Berger - User-friendly specification of robotic missions (16:45 - 17:00)		* Claudio Menghi, Sergio Garcia, Patrizio Pelliccione, Thorsten Berger - User-friendly specification of robotic missions (16:45 - 17:00)