E-LIB Suche - Ergebnisse für: Aravantinos, Vincent

1

Making the Relationship between Uncertainty Estimation and ..:

, In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE),

Aravantinos, Vincent ; Schlicht, Peter - p. 1139-1144 , 2020

Link: https://doi.org/10.23919..

2

Making the relationship between uncertainty estimation and ..:

, In: Proceedings of the 23rd Conference on Design, Automation and Test in Europe,

Aravantinos, Vincent ; Schlicht, Peter - p. 1139-1144 , 2020

Link: https://dl.acm.org/doi/1..

3

Roadmap to Skill Based Systems Engineering:

, In: 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),

Evers, Kathrin ; Seyler, Jan R. ; Aravantinos, Vincent.. - p. 1093-1100 , 2019

Link: https://doi.org/10.1109/..

4

Tool support for live formal verification:

, In: Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems,

Aravantinos, Vincent ; Kanav, Sudeep - p. 145-155 , 2017

Link: https://dl.acm.org/doi/1..

5

Factory Product Lines : Tackling the Compatibility Probl..:

, In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems,

Bayha, Andreas ; Lúcio, Levi ; Aravantinos, Vincent.. - p. 57-64 , 2016

Link: https://dl.acm.org/doi/1..

6

Formal Analysis of Optical Systems:

Khan-Afshar, Sanaz ; Siddique, Umair ; Mahmoud, Mohamed Yousri...
Mathematics in Computer Science. 8 (2014) 1 - p. 39-70 , 2014

Link: https://doi.org/10.1007/..

7

Simplified handling of iterated term schemata:

Aravantinos, Vincent ; Caferra, Ricardo ; Peltier, Nicolas
Annals of Mathematics and Artificial Intelligence. 58 (2010) 3-4 - p. 155-183 , 2010

Link: https://doi.org/10.1007/..

8

Generic Analysis of Model Product Lines via Constraint Lift..:

Bayha, Andreas ; Aravantinos, Vincent
http://arxiv.org/abs/2008.11427. , 2020

Link: http://arxiv.org/abs/200..

9

What the Constant Velocity Model Can Teach Us About Pedestr..:

Schöller, Christoph ; Aravantinos, Vincent ; Lay, Florian.
http://arxiv.org/abs/1903.07933. , 2019

Link: http://arxiv.org/abs/190..

10

From Specifications to Behavior: Maneuver Verification in a..:

Esterle, Klemens ; Aravantinos, Vincent ; Knoll, Alois
http://arxiv.org/abs/1905.00708. , 2019

Link: http://arxiv.org/abs/190..

11

Capability-based semantic interoperability of manufacturing..:

Perzylo, Alexander ; Grothoff, Julian ; Lucio, Levi...
https://mediatum.ub.tum.de/1483048. , 2019

Link: https://mediatum.ub.tum...

12

From Specifications to Behavior: Maneuver Verification in a..:

Esterle, Klemens ; Aravantinos, Vincent ; Knoll, Alois
https://mediatum.ub.tum.de/1488180. , 2019

Link: https://mediatum.ub.tum...

13

Platforms4CPS, Key Outcomes and Recommendations:

Thompson, Haydn ; Reimann, Meike ; Ramos-Hernandez, Daniela...
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-241157. , 2018

Link: http://urn.kb.se/resolve..

14

Traceability of Deep Neural Networks:

Aravantinos, Vincent ; Diehl, Frederik
http://arxiv.org/abs/1812.06744. , 2018

Link: http://arxiv.org/abs/181..

15

Formal Analysis of Optical Systems:

Khan-Afshar, Sanaz ; Siddique, Umair ; Mahmoud, Mohamed Yousri...
http://arxiv.org/abs/1403.3039. , 2014

Link: http://arxiv.org/abs/140..