Oscar Ljungkrantz

According to our database, Oscar Ljungkrantz authored at least 17 papers between 2006 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

SIMPPAAL: A Framework for Statistical Model Checking of Industrial Simulink Models.

Predrag Filipovikj, Nesredin Mahmud, Cristina Seceleanu, Guillermo Rodríguez-Navas, Oscar Ljungkrantz, Henrik Lönn

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification, 2024

2018

Organisation and communication problems in automotive requirements engineering.

Grischa Liebel, Matthias Tichy, Eric Knauss, Oscar Ljungkrantz, Gerald Stieglbauer

Requir. Eng., 2018

2017

Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic.

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems.

Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn

Proceedings of the FM 2016: Formal Methods, 2016

ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking.

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, 2016

2015

ReSA: An ontology-based requirement specification language tailored to automotive systems.

Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz

Proceedings of the 10th IEEE International Symposium on Industrial Embedded Systems, 2015

2014

An empirical study of control logic specifications for programmable logic controllers.

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Amir Hossein Ebrahimi

Empir. Softw. Eng., 2014

Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach.

Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2012

Towards Industrial Formal Specification of Programmable Safety Systems.

Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan, Martin Fabian

IEEE Trans. Control. Syst. Technol., 2012

Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems.

Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson

Proceedings of the Computer Safety, Reliability, and Security, 2012

2011

On Formal Specification and Verification of Function Block Applications in Industrial Control Logic Development.

Oscar Ljungkrantz

PhD thesis, 2011

2010

Formal Specification and Verification of Industrial Control Logic Components.

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Chengyin Yuan

IEEE Trans Autom. Sci. Eng., 2010

2008

Formal specification and verification of components for industrial logic control programming.

Oscar Ljungkrantz, Knut Åkesson, Martin Fabian

Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2007

Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers.

Oscar Ljungkrantz, Knut Åkesson, Johan Richardsson, Kristin Andersson

Proceedings of the 2007 IEEE International Conference on Robotics and Automation, 2007

A Study of Industrial Logic Control Programming using Library Components.

Oscar Ljungkrantz, Knut Åkesson

Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006

Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime.

Goran Cengic, Oscar Ljungkrantz, Knut Åkesson

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

A Framework for Component Based Distributed Control Software Development Using IEC 61499.

Goran Cengic, Oscar Ljungkrantz, Knut Åkesson

Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006