Summary

• Page properties (1 modified, 0 added, 0 removed)

Details

Page properties

Content

...	...	@@ -61,7 +61,10 @@
61	61	(% style="margin-left: 30.0px;" %)
62	62	Fabien Siron, Dumitru Potop-Butucaru, Robert De Simone, Damien Chabrol, and Amira Methni. 2023.[[ Semantics foundations of PsyC based on synchronous Logical Execution Time>>https://dl.acm.org/doi/10.1145/3576914.3587495]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 319–324. [[https:~~/~~/doi.org/10.1145/3576914.3587495>>https://doi.org/10.1145/3576914.3587495]]
63	63
	64	+(% style="margin-left: 30.0px;" %)
	65	+Alexander Schulz-Rosengarten, Reinhard von Hanxleden, Marten Lohstroh, Edward A. Lee, and Soroush Bateni. 2023. [[Polyglot Modal Models through Lingua Franca>>https://dl.acm.org/doi/abs/10.1145/3576914.3587498]]. In Proceedings of Cyber-Physical Systems and Internet of Things Week 2023 (CPS-IoT Week '23). Association for Computing Machinery, New York, NY, USA, 337–342. [[https:~~/~~/doi.org/10.1145/3576914.3587498>>https://doi.org/10.1145/3576914.3587498]] //(There is also a [[long version>>https://arxiv.org/abs/2301.09597]])//
64	64
	67	+
65	65	(% style="margin-left: 30.0px;" %)
66	66	==== **Safety Analysis / Model Checking** ====
67	67
...	...	@@ -108,9 +108,12 @@
108	108	Pascal Fradet, Alain Girault, and Alexandre Honorat. 2023. [[Sequential Scheduling of Dataflow Graphs for Memory Peak Minimization>>https://dl.acm.org/doi/10.1145/3589610.3596280]]. In Proceedings of the 24th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 2023). Association for Computing Machinery, New York, NY, USA, 76–86. [[https:~~/~~/doi.org/10.1145/3589610.3596280>>https://doi.org/10.1145/3589610.3596280]]
109	109
110	110	(% style="margin-left: 30.0px;" %)
111		-Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. 2023. [[Towards Building Verifiable CPS using Lingua Franca>>https://dl.acm.org/doi/10.1145/3609134]]. ACM Trans. Embed. Comput. Syst. 22, 5s, Article 155 (October 2023), 24 pages. https:~/~/doi.org/10.1145/3609134
	114	+Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia. 2023. [[Towards Building Verifiable CPS using Lingua Franca>>https://dl.acm.org/doi/10.1145/3609134]]. ACM Trans. Embed. Comput. Syst. 22, 5s, Article 155 (October 2023), 24 pages. [[https:~~/~~/doi.org/10.1145/3609134>>https://doi.org/10.1145/3609134]]
112	112
	116	+(% style="margin-left: 30.0px;" %)
	117	+Christian Menard, Marten Lohstroh, Soroush Bateni, Matthew Chorlian, Arthur Deng, Peter Donovan, Clément Fournier, Shaokai Lin, Felix Suchert, Tassilo Tanneberger, Hokeun Kim, Jeronimo Castrillon, and Edward A. Lee. 2023. [[High-performance Deterministic Concurrency Using Lingua Franca.>>https://dl.acm.org/doi/10.1145/3617687]] ACM Trans. Archit. Code Optim. 20, 4, Article 48 (December 2023), 29 pages. [[https:~~/~~/doi.org/10.1145/3617687>>https://doi.org/10.1145/3617687]]
113	113
	119	+
114	114	(% style="margin-left: 30.0px;" %)
115	115	==== **Safety Analysis / Testing** ====
116	116
...	...	@@ -120,6 +120,7 @@
120	120	(% style="margin-left: 30.0px;" %)
121	121	(% style="color:#333333" %)A. Gannous, A. Andrews and B. Gallina, [[Toward a Systematic and Safety Evidence Productive Verification Approach for Safety-Critical Systems>>url:https://ieeexplore.ieee.org/document/8539215||shape="rect"]]. (%%)//2018 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)//(% style="color:#333333" %), 2018, pp. 329-336, doi: 10.1109/ISSREW.2018.00026.
122	122
	129	+
123	123	= Schedule =
124	124
125	125	== Dates in the semester ==
...	...	@@ -131,11 +131,11 @@
131	131	Milestone
132	132	)))
133	133	|(((
134		-Tue. 16.04 10:00 CAP4 R.1115
	141	+Tue., 16.04 10:00
135	135	)))|(((
136		-First Meeting/**Kick-Off **with a Latex and EasyChair introduction.
	143	+First Meeting/**Kick-Off **with a Latex and EasyChair introduction. The meeting will take place in room 11.1114/11.1115 in CAP4.
137	137	)))
138		-|(% colspan="1" %)tbd|(% colspan="1" %)(% colspan="1" %)
	145	+|(% colspan="1" %)Tue., 16.04 23:59|(% colspan="1" %)(% colspan="1" %)
139	139	(((
140	140	Deadline for topic selection (via email to Jette).
141	141	)))
...	...	@@ -187,12 +187,15 @@
187	187	)))
188	188	|(% colspan="1" %)(% colspan="1" %)
189	189	(((
190		-tbd, all day
	197	+Mo., 15.07, all day^^1^^
191	191	)))|(% colspan="1" %)(% colspan="1" %)
192	192	(((
193	193	Final presentations
194	194	)))
195	195
	203	+(% class="wikigeneratedid" %)
	204	+//^^1^^preliminary date; please contact us if there are any conflicts with exams//
	205	+
196	196	== The Final Presentations ==
197	197
198	198	The presentation of the prepared topic is held during a block seminar at **tbd**. The attendance at the seminar day is mandatory. Every attending person receives the proceedings of the current semester.