Oscar Ljungkrantz

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