Adrian Pop

Orcid: 0000-0003-0091-1181

According to our database1, Adrian Pop authored at least 23 papers between 2004 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
Property Probes: Source Code Based Exploration of Program Analysis Results.
Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, 2022

2019
Controller Design for a Magnetic Levitation Kit using OpenModelica's Integration with the Julia Language.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

A New OpenModelica Compiler High Performance Frontend.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

OMSimulator - Integrated FMI and TLM-based Co-simulation with Composite Model Editing and SSP.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

OMJulia: An OpenModelica API for Julia-Modelica Interaction.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

MetaModelica - A Symbolic-Numeric Modelica Language and Comparison to Julia.
Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

Towards introducing just-in-time compilation in a Modelica compiler.
Proceedings of the EOOLT '19: 9th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2019

2018
Fast switch into a trustworthy virtual machine for running security-sensitive applications.
Proceedings of the IEEE International Conference on Automation, 2018

2017
Large Scale Training through Spoken Tutorials to Promote and use OpenModelica.
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

Traceability Support in OpenModelica Using Open Services for Lifecycle Collaboration (OSLC).
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

Development of a Thermodynamic Engine in OpenModelica.
Proceedings of the 12th International Modelica Conference, Prague, Czech Republic, 2017

Towards an OpenModelica-based sensitivity analysis platform including optimization-driven strategies.
Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2017

Traceability and impact analysis in requirement verification.
Proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, 2017

2015
Efficient Provisioning of a Trustworthy Environment for Security-Sensitive Applications.
Proceedings of the Trust and Trustworthy Computing - 8th International Conference, 2015

2009
Formal Semantics Based Translator Generation and Tool Development in Practice.
Proceedings of the 20th Australian Software Engineering Conference (ASWEC 2009), 2009

2008
Integrated Model-Driven Development Environments for Equation-Based Object-Oriented Languages.
PhD thesis, 2008

The Impreciseness of UML and Implications for ModelicaML.
Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools, 2008

Towards Integrated Model-Driven Testing of SCADA Systems Using the Eclipse Modeling Framework and Modelica.
Proceedings of the 19th Australian Software Engineering Conference (ASWEC 2008), 2008

2007
Towards Unified System Modeling with the ModelicaML UML Profile.
Proceedings of the 1st International Workshop on Equation-Based Object-Oriented Languages and Tools, 2007

2006
An Eclipse-based Integrated Environment for Developing Executable Structural Operational Semantics Specifications.
Proceedings of the Third Workshop on Structural Operational Semantics, 2006

MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language.
Proceedings of the Modular Programming Languages, 7th Joint Modular Languages Conference, 2006

2005
Debugging natural semantics specifications.
Proceedings of the Sixth International Workshop on Automated Debugging, 2005

2004
Composition of XML Dialects: A ModelicaXML Case Study.
Proceedings of the Software Composition Workshop, 2004


  Loading...