Oscar Ljungkrantz

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 4

Top Venues

Requir. Eng.

IEEE Trans. Control. Syst. Technol.

SAFECOMP Workshops

SEFM

Chalmers University of Technology, Gothenburg, Sweden (PHD)

Education History

Chalmers University of Technology, Gothenburg, Sweden

PHD

Publications

Grischa Liebel, Matthias Tichy, Eric Knauss, Oscar Ljungkrantz, Gerald Stieglbauer
Organisation and communication problems in automotive requirements engineering. Requir. Eng. 23 (1) (2018)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
Specification and Semantic Analysis of Embedded Systems Requirements: From Description Logic to Temporal Logic. SEFM (2017)
Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz, Henrik Lönn
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems. FM (2016)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking. FedCSIS (2016)
Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz
ReSA: An ontology-based requirement specification language tailored to automotive systems. SIES (2015)
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Amir Hossein Ebrahimi
An empirical study of control logic specifications for programmable logic controllers. Empir. Softw. Eng. 19 (3) (2014)
Guillermo Rodríguez-Navas, Cristina Cerschi Seceleanu, Hans Hansson, Mattias Nyberg, Oscar Ljungkrantz, Henrik Lönn
Automated Specification and Verification of Functional Safety in Heavy-Vehicles: the VeriSpec Approach. DAC (2014)
Oscar Ljungkrantz, Knut Åkesson, Chengyin Yuan, Martin Fabian
Towards Industrial Formal Specification of Programmable Safety Systems. IEEE Trans. Control. Syst. Technol. 20 (6) (2012)
Oscar Ljungkrantz, Henrik Lönn, Hans Blom, Cecilia Ekelin, Daniel Karlsson
Modelling of Safety-Related Timing Constraints for Automotive Embedded Systems. SAFECOMP Workshops (2012)
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian, Chengyin Yuan
Formal Specification and Verification of Industrial Control Logic Components. IEEE Trans Autom. Sci. Eng. 7 (3) (2010)
Oscar Ljungkrantz, Knut Åkesson, Martin Fabian
Formal specification and verification of components for industrial logic control programming. CASE (2008)
Oscar Ljungkrantz, Knut Åkesson, Johan Richardsson, Kristin Andersson
Implementing a Control System Framework for Automatic Generation of Manufacturing Cell Controllers. ICRA (2007)
Oscar Ljungkrantz, Knut Åkesson
A Study of Industrial Logic Control Programming using Library Components. CASE (2007)
Goran Cengic, Oscar Ljungkrantz, Knut Åkesson
A Framework for Component Based Distributed Control Software Development Using IEC 61499. ETFA (2006)
Goran Cengic, Oscar Ljungkrantz, Knut Åkesson
Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime. ETFA (2006)

Oscar Ljungkrantz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oscar Ljungkrantz