default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaul Pettersson
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[b1]Elena Fersman
, Paul Pettersson, Athanasios Karapantelakis:
Confessions of an AI Brain. Springer 2023, ISBN 978-3-031-25934-0, pp. 1-178
2010 – 2019
- 2017
- [j19]Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson:
Using mutation to design tests for aspect-oriented models. Inf. Softw. Technol. 81: 112-130 (2017) - [j18]Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson:
Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. 133: 216-242 (2017) - [c86]Andreas Johnsen, Gordana Dodig Crnkovic, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson:
Risk-Based Decision-Making Fallacies: Why Present Functional Safety Standards are Not Enough. ICSA Workshops 2017: 153-160 - [c85]Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Paul Pettersson:
A Comparative Study of Manual and Automated Testing for Industrial Control Software. ICST 2017: 412-417 - [c84]Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson:
AQAT: The Architecture Quality Assurance Tool for Critical Embedded Systems. ISSRE 2017: 260-270 - [c83]Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm:
Experience Report: Evaluating Fault Detection Effectiveness and Resource Efficiency of the Architecture Quality Assurance Framework and Tool. ISSRE 2017: 271-281 - 2016
- [j17]Eduard Paul Enoiu, Adnan Causevic, Thomas J. Ostrand, Elaine J. Weyuker, Daniel Sundmark, Paul Pettersson:
Automated test generation using model checking: an industrial evaluation. Int. J. Softw. Tools Technol. Transf. 18(3): 335-353 (2016) - [c82]Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson:
A Controlled Experiment in Testing of Safety-Critical Embedded Software. ICST 2016: 1-11 - [c81]Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt, Paul Pettersson:
Mutation-Based Test Generation for PLC Embedded Software Using Model Checking. ICTSS 2016: 155-171 - [c80]Andreas Johnsen, Kristina Lundqvist, Kaj Hänninen, Paul Pettersson, Martin Torelm:
AQAF: An Architecture Quality Assurance Framework for Systems Modeled in AADL. QoSA 2016: 31-40 - 2015
- [j16]Raluca Marinescu, Cristina Seceleanu, Hélène Le Guen, Paul Pettersson:
Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs. Adv. Comput. 98: 89-140 (2015) - [j15]Cristina Cerschi Seceleanu, Paul Pettersson:
Foreword. J. Log. Algebraic Methods Program. 84(1): 1 (2015) - [c79]Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark:
Mutating aspect-oriented models to test cross-cutting concerns. ICST Workshops 2015: 1-10 - 2014
- [j14]Leo Hatvani, Alexandre David, Cristina Cerschi Seceleanu, Paul Pettersson:
Adaptive Task Automata with Earliest-Deadline-First Scheduling. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [c78]Raluca Marinescu, Mehrdad Saadatmand, Alessio Bucaioni, Cristina Cerschi Seceleanu, Paul Pettersson:
A Model-Based Testing Framework for Automotive Embedded Systems. EUROMICRO-SEAA 2014: 38-47 - [c77]Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions. ISoLA (2) 2014: 74-87 - [c76]Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Kaj Hänninen:
Regression verification of AADL models through slicing of system dependence graphs. QoSA 2014: 103-112 - 2013
- [j13]Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson:
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120: 127-138 (2013) - [j12]Leo Hatvani, Cristina Cerschi Seceleanu, Paul Pettersson:
Modeling and analysis of adaptive embedded systems using adaptive task automata. SIGBED Rev. 10(1): 43-47 (2013) - [c75]Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson:
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. FTSCS 2013: 229-245 - [c74]Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson:
MOS: An integrated model-based and search-based testing tool for Function Block Diagrams. CMSBSE@ICSE 2013: 55-60 - [c73]Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson:
Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker. ICST Workshops 2013: 158-167 - [c72]Eduard Paul Enoiu, Daniel Sundmark, Paul Pettersson:
Using Logic Coverage to Improve Testing Function Block Diagrams. ICTSS 2013: 1-16 - [c71]Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson:
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM 2013: 1-15 - [c70]Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
An Analyzable Model of Automated Service Negotiation. SOSE 2013: 125-136 - [p1]Alexandre David, Gerd Behrmann, Peter E. Bulychev, Joakim Byg, Thomas Chatain, Kim G. Larsen, Paul Pettersson, Jacob Illum Rasmussen, Jirí Srba, Wang Yi, Kenneth Yrke Jørgensen, Didier Lime, Morgan Magnin, Olivier H. Roux, Louis-Marie Traonouez:
Tools for Model-Checking Timed Systems. Communicating Embedded Systems 2013: 165-225 - 2012
- [c69]Leo Hatvani, Paul Pettersson, Cristina Cerschi Seceleanu:
Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems. FASE 2012: 115-129 - [c68]Andreas Johnsen, Kristina Lundqvist, Paul Pettersson, Omar Jaradat:
Automated Verification of AADL-Specifications Using UPPAAL. HASE 2012: 130-138 - [c67]Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Paul Pettersson:
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT. ICECCS 2012: 328-337 - [c66]Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
Checking Correctness of Services Modeled as Priced Timed Automata. ISoLA (2) 2012: 308-322 - 2011
- [j11]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Developing UPPAAL over 15 years. Softw. Pract. Exp. 41(2): 133-142 (2011) - [c65]Paul Pettersson:
Formal Methods Applied in Industry - On the Commercialisation of the UPPAAL Tool. COMPSAC 2011: 450-451 - [c64]Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
Pattern-Driven Support for Designing Component-Based Architectural Models. ECBS 2011: 187-196 - [c63]Mikael Asberg, Paul Pettersson, Thomas Nolte:
Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling. ECRTS 2011: 172-181 - [c62]Andreas Johnsen, Paul Pettersson, Kristina Lundqvist:
An Architecture-Based Verification Technique for AADL Specifications. ECSA 2011: 105-113 - [c61]Stefan Björnander, Cristina Cerschi Seceleanu, Kristina Lundqvist, Paul Pettersson:
ABV - A Verifier for the Architecture Analysis and Design Language (AADL). ICECCS 2011: 355-360 - [c60]Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic:
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. QSIC 2011: 156-165 - [c59]Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson:
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256 - 2010
- [c58]Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson:
Bridging the Semantic Gap between Abstract Models of Embedded Systems. CBSE 2010: 55-73 - [c57]Shuhao Li, Paul Pettersson:
Verification and controller synthesis for resource-constrained real-time systems: Case study of an autonomous truck. ETFA 2010: 1-8 - [c56]Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson:
Modeling and Reasoning about Service Behaviors and Their Compositions. ISoLA (2) 2010: 82-96 - [c55]Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson:
An integrated tool for trade-off analysis of quality-of-service attributes. QUASOSS@MoDELS 2010: 2:1-2:6 - [c54]Heiko Koziolek, Steffen Becker, Jens Happe, Paul Pettersson:
Quality of Service-Oriented Software Systems (QUASOSS 2010). MoDELS (Workshops) 2010: 364-368 - [c53]Andreas Gustavsson, Andreas Ermedahl, Björn Lisper, Paul Pettersson:
Towards WCET Analysis of Multicore Architectures Using UPPAAL. WCET 2010: 101-112 - [e3]Steffen Becker, Jens Happe, Heiko Koziolek, Paul Pettersson:
Proceedings of the 2nd International Workshop on the Quality of Service-Oriented Software Systems, QUASOSS '10, Oslo, Norway, October 4, 2010. ACM 2010, ISBN 978-1-4503-0239-5 [contents]
2000 – 2009
- 2009
- [c52]Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson:
Formal Semantics of the ProCom Real-Time Component Model. EUROMICRO-SEAA 2009: 478-485 - [c51]Cristina Cerschi Seceleanu, Aneta Vulgarakis, Paul Pettersson:
REMES: A Resource Model for Embedded Systems. ICECCS 2009: 84-94 - [c50]Séverine Sentilles, Anders Pettersson, Dag Nyström, Thomas Nolte, Paul Pettersson, Ivica Crnkovic:
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems. ICSE 2009: 607-610 - [c49]Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson:
Analyzing a Pattern-Based Model of a Real-Time Turntable System. FESCA@ETAPS 2009: 161-178 - [e2]Heiko Koziolek, Paul Pettersson, Petr Hnetynka:
Proceedings of the 1st international workshop on Quality of service-oriented software systems, QUASOSS '09, Amsterdam, The Netherlands, August 25, 2009. ACM 2009, ISBN 978-1-60558-709-7 [contents] - 2008
- [c48]John Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej:
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT. ATVA 2008: 252-257 - [c47]Aida Causevic, Paul Pettersson, Cristina Cerschi Seceleanu:
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability. CIMCA/IAWTIC/ISE 2008: 302-308 - [c46]Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
Message from the CORCS 2008 Workshop Organizers. COMPSAC 2008: 1295 - [c45]Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
CORCS 2008 Workshop Organization. COMPSAC 2008: 1296 - [c44]Anders Hessel, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen, Paul Pettersson, Arne Skou:
Testing Real-Time Systems Using UPPAAL. Formal Methods and Testing 2008: 77-117 - [c43]Cristina Cerschi Seceleanu, Paul Pettersson, Hans Hansson:
Scheduling Timed Modules for Correct Resource Sharing. ICST 2008: 102-111 - [c42]Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong:
Anything You Want to Ask about Software Reliability Engineering. ISSRE 2008: 6 - [c41]Séverine Sentilles, Paul Pettersson, Ivica Crnkovic, John Håkansson:
Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems. ASE 2008: 493-494 - [c40]Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Christo Angelov:
Verification of COMDES-II Systems Using UPPAAL with Model Transformation. RTCSA 2008: 153-160 - 2007
- [j10]Elena Fersman, Pavel Krcál, Paul Pettersson, Wang Yi:
Task automata: Schedulability, decidability and undecidability. Inf. Comput. 205(8): 1149-1172 (2007) - [j9]Mikael Åkerholm, Jan Carlson, Johan Fredriksson, Hans Hansson, John Håkansson, Anders Möller, Paul Pettersson, Massimo Tivoli:
The SAVE approach to component-based development of vehicular systems. J. Syst. Softw. 80(5): 655-667 (2007) - [c39]AnnMarie Ericsson, Paul Pettersson, Mikael Berndtsson, Marco Seiriö:
Seamless formal verification of complex event processing applications. DEBS 2007: 50-61 - [c38]John Håkansson, Paul Pettersson:
Partial Order Reduction for Verification of Real-Time Components. FORMATS 2007: 211-226 - [c37]Birgitta Lindström, Paul Pettersson, Jeff Offutt:
Generating Trace-Sets for Model-based Testing. ISSRE 2007: 171-180 - [c36]Anders Hessel, Paul Pettersson:
A Global Algorithm for Model-Based Test Suite Generation. MBT 2007: 47-59 - 2006
- [j8]Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
Schedulability analysis of fixed-priority systems using timed automata. Theor. Comput. Sci. 354(2): 301-317 (2006) - [c35]Olga Grinchtein, Bengt Jonsson, Paul Pettersson:
Inference of Event-Recording Automata Using Timed Decision Trees. CONCUR 2006: 435-449 - [c34]Anders Hessel, Paul Pettersson:
Model-Based Testing of a WAP Gateway: An Industrial Case-Study. FMICS/PDMC 2006: 116-131 - [c33]Alexandre David, John Håkansson, Kim Guldstrand Larsen, Paul Pettersson:
Model Checking Timed Automata with Priorities Using DBM Subtraction. FORMATS 2006: 128-142 - [c32]Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. QEST 2006: 125-126 - 2005
- [j7]Paul Pettersson, Wang Yi:
Guest Editors' Foreword. Nord. J. Comput. 12(2): 67- (2005) - [c31]Jan Carlson, John Håkansson, Paul Pettersson:
SaveCCM: An Analysable Component Model for Real-Time Systems. FACS 2005: 127-140 - [e1]Paul Pettersson, Wang Yi:
Formal Modeling and Analysis of Timed Systems, Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings. Lecture Notes in Computer Science 3829, Springer 2005, ISBN 3-540-30946-2 [contents] - 2004
- [c30]Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson:
Specifying and Generating Test Cases Using Observer Automata. FATES 2004: 125-139 - [c29]Anders Hessel, Paul Pettersson:
A Test Case Generation Algorithm for Real-Time Systems. QSIC 2004: 268-273 - 2003
- [j6]Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems. Real Time Syst. 25(2-3): 255-275 (2003) - [c28]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Real-Time Test Case Generation Using Uppaal. FATES 2003: 114-130 - [c27]Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
TIMES: A Tool for Schedulability Analysis and Code Generation of Real-Time Systems. FORMATS 2003: 60-72 - [c26]Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou:
Time-Optimal Test Cases for Real-Time Systems. FORMATS 2003: 234-245 - [c25]Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
Schedulability Analysis Using Two Clocks. TACAS 2003: 224-239 - 2002
- [j5]Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Automated verification of an audio-control protocol using UPPAAL. J. Log. Algebraic Methods Program. 52-53: 163-181 (2002) - [j4]Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi:
Code Synthesis for Timed Automata. Nord. J. Comput. 9(4): 269-300 (2002) - [c24]Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL Implementation Secrets. FTRTFT 2002: 3-22 - [c23]Elena Fersman, Paul Pettersson, Wang Yi:
Timed Automata with Asynchronous Processes: Schedulability and Decidability. TACAS 2002: 67-82 - [c22]Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, Wang Yi:
TIMES - A Tool for Modelling and Implementation of Embedded Systems. TACAS 2002: 460-464 - 2001
- [j3]Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. Nord. J. Comput. 8(1): 43-64 (2001) - [j2]Magnus Lindahl, Paul Pettersson, Wang Yi:
Formal design and analysis of a gear controller. Int. J. Softw. Tools Technol. Transf. 3(3): 353-368 (2001) - [c21]Kim Guldstrand Larsen, Gerd Behrmann, Ed Brinksma, Ansgar Fehnker, Thomas Hune, Paul Pettersson, Judi Romijn:
As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata. CAV 2001: 493-505 - [c20]Gerd Behrmann, Kim G. Larsen, Oliver Möller, Alexandre David, Paul Pettersson, Wang Yi:
UPPAAL - present and future. CDC 2001: 2881-2886 - [c19]Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson, Judi Romijn, Frits W. Vaandrager:
Minimum-Cost Reachability for Priced Timed Automata. HSCC 2001: 147-161 - [c18]Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, Judi Romijn:
Efficient Guiding Towards Cost-Optimality in UPPAAL. TACAS 2001: 174-188 - 2000
- [c17]Torsten K. Iversen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson, Chris B. Thomasen:
Model-checking real-time control programs: verifying Lego(R) MindstormsTM systems using UPPAAL. ECRTS 2000: 147-155 - [c16]Thomas Hune, Kim Guldstrand Larsen, Paul Pettersson:
Guided Synthesis of Control Programs Using UPPAAL. ICDCS Workshop on Distributed System Validation and Verification 2000: E15-E22 - [c15]Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi:
UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124 - [c14]Fredrik Larsson, Paul Pettersson, Wang Yi:
On Memory-Block Traversal Problems in Model-Checking Timed-Systems. TACAS 2000: 127-141
1990 – 1999
- 1998
- [c13]Magnus Lindahl, Paul Pettersson, Wang Yi:
Formal Design and Analysis of a Gear Controller. TACAS 1998: 281-297 - 1997
- [j1]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL in a Nutshell. Int. J. Softw. Tools Technol. Transf. 1(1-2): 134-152 (1997) - [c12]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
UPPAAL: Status & Developments. CAV 1997: 456-459 - [c11]Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Efficient verification of real-time systems: compact data structure and state-space reduction. RTSS 1997: 14-24 - [c10]Kåre J. Kristoffersen, François Laroussinie, Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
A Compositional Proof of a Real-Time Mutual Exclusion Protocol. TAPSOFT 1997: 565-579 - 1996
- [c9]Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV 1996: 244-256 - [c8]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
UPPAAL in 1995. TACAS 1996: 431-434 - 1995
- [c7]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Model-Checking for Real-Time Systems. FCT 1995: 62-88 - [c6]Johan Bengtsson, Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi:
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems. Hybrid Systems 1995: 232-243 - [c5]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Diagnostic Model-Checking for Real-Time Systems. Hybrid Systems 1995: 575-586 - [c4]Kim Guldstrand Larsen, Paul Pettersson, Wang Yi:
Compositional and Symbolic Model-Checking of Real-Time Systems. RTSS 1995: 76-87 - 1994
- [c3]Jussi Karlgren, Hans Karlgren, Paul Pettersson, Magnus Nordström, Bengt Wahrolén:
DILEMMA: a tool for rapid manual translation. CHI Conference Companion 1994: 129-130 - [c2]Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén:
DILEMMA - An Instant Lexicographer. COLING 1994: 82-84 - [c1]Wang Yi, Paul Pettersson, Mats Daniels:
Automatic verification of real-time communicating systems by constraint-solving. FORTE 1994: 243-258 - [i1]Hans Karlgren, Jussi Karlgren, Magnus Nordström, Paul Pettersson, Bengt Wahrolén:
Dilemma - An Instant Lexicographer. CoRR abs/cmp-lg/9410011 (1994)
Coauthor Index
Kim G. Larsen
aka: Kim Guldstrand Larsen
aka: Kim Guldstrand Larsen
Cristina Cerschi Seceleanu
aka: Cristina Seceleanu
aka: Cristina Seceleanu
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
