rebuilding site Thu Jan 4 11:12:41 CET 2024

ebjohnsen · Jan 4, 2024 · cca9634 · cca9634
1 parent e1c79af
commit cca9634
Show file tree

Hide file tree

Showing 568 changed files with 6,558 additions and 1,815 deletions.
diff --git a/404.html b/404.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -826,13 +826,13 @@ <h2>Joint Papers</h2>
 
       <li><a href="/talk/en-digital-tvilling-for-oslofjorden/">En digital tvilling for Oslofjorden</a></li>
 
-      <li><a href="/talk/the-semantically-reflected-digital-twin/">The Semantically Reflected Digital Twin</a></li>
+      <li><a href="/publication/24-aol/">Simulating User Journeys with Active Objects</a></li>
 
       <li><a href="/publication/">Publications</a></li>
 
-      <li><a href="/publication/23-ictac/">Denotational Semantics for Symbolic Execution</a></li>
+      <li><a href="/talk/the-semantically-reflected-digital-twin/">The Semantically Reflected Digital Twin</a></li>
 
-      <li><a href="/talk/ifm-2023/">iFM 2023</a></li>
+      <li><a href="/publication/23-ictac/">Denotational Semantics for Symbolic Execution</a></li>
 
   </ul>
 
@@ -893,7 +893,7 @@ <h2>Joint Papers</h2>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/achim-streit/index.html b/authors/achim-streit/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -882,7 +882,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/albert-mingkun-yang/index.html b/authors/albert-mingkun-yang/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/alexandra-silva/index.html b/authors/alexandra-silva/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -882,7 +882,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/amir-taherkordi/index.html b/authors/amir-taherkordi/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -882,7 +882,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/amy-murphy/index.html b/authors/amy-murphy/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -882,7 +882,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/anastasia-gkolfi/index.html b/authors/anastasia-gkolfi/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -894,7 +894,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/andrea-borgarelli/index.html b/authors/andrea-borgarelli/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/andreas-griesmayer/index.html b/authors/andreas-griesmayer/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/andreas-kohn/index.html b/authors/andreas-kohn/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -882,7 +882,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/andrzej/index.html b/authors/andrzej/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -1015,7 +1015,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/arild-b.-torjusen/index.html b/authors/arild-b.-torjusen/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/arild-waaler/index.html b/authors/arild-waaler/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -890,7 +890,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/asmund-aqissiaq-arild-kløvstad/index.html b/authors/asmund-aqissiaq-arild-kløvstad/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/bernhard-beckert/index.html b/authors/bernhard-beckert/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -882,7 +882,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/bernhard-k.-aichernig/index.html b/authors/bernhard-k.-aichernig/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/bin-chen/index.html b/authors/bin-chen/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/bing-xu/index.html b/authors/bing-xu/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -882,7 +882,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/bjarne-holen/index.html b/authors/bjarne-holen/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/carlos-hernandez-corbato/index.html b/authors/carlos-hernandez-corbato/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -886,7 +886,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/christoph-luth/index.html b/authors/christoph-luth/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -890,7 +890,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>
 
 

diff --git a/authors/christoph-seidl/index.html b/authors/christoph-seidl/index.html
@@ -1,6 +1,6 @@
 <!DOCTYPE html>
 <!-- This site was created with Wowchemy. https://www.wowchemy.com -->
-<!-- Last Published: December 20, 2023 --><html lang="en-us" >
+<!-- Last Published: January 4, 2024 --><html lang="en-us" >
 
 
 <head>
@@ -882,7 +882,7 @@ <h3>Joint Papers</h3>
 
 
   <p class="powered-by copyright-license-text">
-    © 2023 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
+    © 2024 Einar Broch Johnsen. This work is licensed under <a href="https://creativecommons.org/licenses/by-nc-nd/4.0" rel="noopener noreferrer" target="_blank">CC BY NC ND 4.0</a>
   </p>