Search

Your search keyword '"Pettersson, Paul"' showing total 645 results
Start Over Author "Pettersson, Paul"

Refine your results

more »

more »

more »

more »
645 results on '"Pettersson, Paul"'

1. All About Time

Author

Graf, Susanne, Pettersson, Paul, Steffen, Bernhard, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Graf, Susanne, editor, and Pettersson, Paul, editor

Published
2025
Full Text
View/download PDF

2. To Sifu - Supervision, Mentorship and Lifelong Bond

Author

Fersman, Elena, Pettersson, Paul, Goos, Gerhard, Series Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Graf, Susanne, editor, and Pettersson, Paul, editor

Published
2025
Full Text
View/download PDF

3. Kollektive Gefährdungslagen im Asylrecht

Author

Pettersson, Paul

Subjects
Law, Administrative Law & Regulatory Practice, thema EDItEUR::L Law::LN Laws of specific jurisdictions and specific areas of law::LND Constitutional and administrative law: general
Abstract

Im Asylrecht werden gleiche Tatsachenfragen von den Gerichten häufig unterschiedlich beantwortet. Die Uneinheitlichkeit betrifft ‚kollektive Gefährdungslagen‘ wie die Gefährdung syrischer Wehrdienstentzieher oder alleinstehender Männer in Afghanistan. Paul Pettersson verdeutlicht anhand eines Korpus von Gerichtsentscheidungen zum Irak die große Bedeutung kollektiver Gefährdungslagen für die asylrechtliche Gefahrenprognose und leitet zu einer systematischen Prüfung an. Anschließend stellt er mit Methoden der juristischen Netzwerkanalyse den Kommunikationsprozess der Gerichte über Länderleitentscheidungen dar. Die neue Tatsachenkompetenz des BVerwG wird aus Sicht des Autors die grundlegenden Probleme nicht lösen. Stattdessen sollte die diskursive Aushandlung der Tatsachenfragen zwischen den Gerichten und dem BAMF gestärkt werden.

Published
2023
Full Text
View/download PDF

4. Assisting the implementation of screening for type 1 diabetes by using artificial intelligence on publicly available data

Author

Teixeira, Pedro F., Battelino, Tadej, Carlsson, Anneli, Gudbjörnsdottir, Soffia, Hannelius, Ulf, von Herrath, Matthias, Knip, Mikael, Korsgren, Olle, Elding Larsson, Helena, Lindqvist, Anton, Ludvigsson, Johnny, Lundgren, Markus, Nowak, Christoph, Pettersson, Paul, Pociot, Flemming, Sundberg, Frida, Åkesson, Karin, Lernmark, Åke, and Forsander, Gun

Published
2024
Full Text
View/download PDF

5. Working with Humans

Author

Fersman, Elena, Pettersson, Paul, Karapantelakis, Athanasios, Fersman, Elena, Pettersson, Paul, and Karapantelakis, Athanasios

Published
2023
Full Text
View/download PDF

7. My Role in Diversity

Author

Fersman, Elena, Pettersson, Paul, Karapantelakis, Athanasios, Fersman, Elena, Pettersson, Paul, and Karapantelakis, Athanasios

Published
2023
Full Text
View/download PDF

10. Managing Relationships

Author

Fersman, Elena, Pettersson, Paul, Karapantelakis, Athanasios, Fersman, Elena, Pettersson, Paul, and Karapantelakis, Athanasios

Published
2023
Full Text
View/download PDF

11. My Creative Side

Author

Fersman, Elena, Pettersson, Paul, Karapantelakis, Athanasios, Fersman, Elena, Pettersson, Paul, and Karapantelakis, Athanasios

Published
2023
Full Text
View/download PDF

13. Baby Steps

Author

Fersman, Elena, Pettersson, Paul, Karapantelakis, Athanasios, Fersman, Elena, Pettersson, Paul, and Karapantelakis, Athanasios

Published
2023
Full Text
View/download PDF

15. Kollektive Gefährdungslagen im Asylrecht : Dogmatik der Gefahrenprognose und Vereinheitlichung der Entscheidungspraxis durch Länderleitentscheidungen

Author

Pettersson, Paul

Subjects
Law / Administrative Law & Regulatory Practice
Abstract

Im Asylrecht werden gleiche Tatsachenfragen von den Gerichten häufig unterschiedlich beantwortet. Die Uneinheitlichkeit betrifft ‚kollektive Gefährdungslagen‘ wie die Gefährdung syrischer Wehrdienstentzieher oder alleinstehender Männer in Afghanistan. Paul Pettersson verdeutlicht anhand eines Korpus von Gerichtsentscheidungen zum Irak die große Bedeutung kollektiver Gefährdungslagen für die asylrechtliche Gefahrenprognose und leitet zu einer systematischen Prüfung an. Anschließend stellt er mit Methoden der juristischen Netzwerkanalyse den Kommunikationsprozess der Gerichte über Länderleitentscheidungen dar. Die neue Tatsachenkompetenz des BVerwG wird aus Sicht des Autors die grundlegenden Probleme nicht lösen. Stattdessen sollte die diskursive Aushandlung der Tatsachenfragen zwischen den Gerichten und dem BAMF gestärkt werden.

Published
2023

20. Dilemma - An Instant Lexicographer

Author

Karlgren, Hans, Karlgren, Jussi, Nordström, Magnus, Pettersson, Paul, and Wahrolén, Bengt

Subjects
Computer Science - Computation and Language
Abstract

Dilemma is intended to enhance quality and increase productivity of expert human translators by presenting to the writer relevant lexical information mechanically extracted from comparable existing translations, thus replacing - or compensating for the absence of - a lexicographer and stand-by terminologist rather than the translator. Using statistics and crude surface analysis and a minimum of prior information, Dilemma identifies instances and suggests their counterparts in parallel source and target texts, on all levels down to individual words. Dilemma forms part of a tool kit for translation where focus is on text structure and over-all consistency in large text volumes rather than on framing sentences, on interaction between many actors in a large project rather than on retrieval of machine-stored data and on decision making rather than on application of given rules. In particular, the system has been tuned to the needs of the ongoing translation of European Community legislation into the languages of candidate member countries. The system has been demonstrated to and used by professional translators with promising results., Comment: 3 pages, LaTeX, in proceedings of COLING 94

Published
1994

21. Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

Author

Enoiu, Eduard P., Sundmark, Daniel, Čaušević, Adnan, Feldt, Robert, Pettersson, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Wotawa, Franz, editor, Nica, Mihai, editor, and Kushik, Natalia, editor

Published
2016
Full Text
View/download PDF

23. Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions

Author

Čaušević, Aida, Seceleanu, Cristina, Pettersson, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2014
Full Text
View/download PDF

24. Using Logic Coverage to Improve Testing Function Block Diagrams

Author

Enoiu, Eduard Paul, Sundmark, Daniel, Pettersson, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Yenigün, Hüsnü, editor, Yilmaz, Cemal, editor, and Ulrich, Andreas, editor

Published
2013
Full Text
View/download PDF

25. Verifying MARTE/CCSL Mode Behaviors Using UPPAAL

Author

Suryadevara, Jagadish, Seceleanu, Cristina, Mallet, Frédéric, Pettersson, Paul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hierons, Robert M., editor, Merayo, Mercedes G., editor, and Bravetti, Mario, editor

Published
2013
Full Text
View/download PDF

26. Checking Correctness of Services Modeled as Priced Timed Automata

Author

Čaušević, Aida, Seceleanu, Cristina, Pettersson, Paul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Margaria, Tiziana, editor

Published
2012
Full Text
View/download PDF

27. Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems

Author

Hatvani, Leo, Pettersson, Paul, Seceleanu, Cristina, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, de Lara, Juan, editor, and Zisman, Andrea, editor

Published
2012
Full Text
View/download PDF

28. Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT

Author

Kang, Eun-Young, Schobbens, Pierre-Yves, Pettersson, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Flammini, Francesco, editor, Bologna, Sandro, editor, and Vittorini, Valeria, editor

Published
2011
Full Text
View/download PDF

29. An Architecture-Based Verification Technique for AADL Specifications

Author

Johnsen, Andreas, Pettersson, Paul, Lundqvist, Kristina, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Crnkovic, Ivica, editor, Gruhn, Volker, editor, and Book, Matthias, editor

Published
2011
Full Text
View/download PDF

30. Quality of Service-Oriented Software Systems (QUASOSS 2010)

Author

Koziolek, Heiko, Becker, Steffen, Happe, Jens, Pettersson, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Dingel, Juergen, editor, and Solberg, Arnor, editor

Published
2011
Full Text
View/download PDF

32. Modeling and Reasoning about Service Behaviors and Their Compositions

Author

Čaušević, Aida, Seceleanu, Cristina, Pettersson, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Margaria, Tiziana, editor

Published
2010
Full Text
View/download PDF

33. Bridging the Semantic Gap between Abstract Models of Embedded Systems

Author

Suryadevara, Jagadish, Kang, Eun-Young, Seceleanu, Cristina, Pettersson, Paul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Grunske, Lars, editor, Reussner, Ralf, editor, and Plasil, Frantisek, editor

Published
2010
Full Text
View/download PDF

34. Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT

Author

Håkansson, John, Carlson, Jan, Monot, Aurelien, Pettersson, Paul, Slutej, Davor, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Cha, Sungdeok (Steve), editor, Choi, Jin-Young, editor, Kim, Moonzoo, editor, Lee, Insup, editor, and Viswanathan, Mahesh, editor

Published
2008
Full Text
View/download PDF

35. Testing Real-Time Systems Using UPPAAL

Author

Hessel, Anders, Larsen, Kim G., Mikucionis, Marius, Nielsen, Brian, Pettersson, Paul, Skou, Arne, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hierons, Robert M., editor, Bowen, Jonathan P., editor, and Harman, Mark, editor

Published
2008
Full Text
View/download PDF

36. Model-Based Testing of a WAP Gateway: An Industrial Case-Study

Author

Hessel, Anders, Pettersson, Paul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Brim, Luboš, editor, Haverkort, Boudewijn, editor, Leucker, Martin, editor, and van de Pol, Jaco, editor

Published
2007
Full Text
View/download PDF

37. Partial Order Reduction for Verification of Real-Time Components

Author

Håkansson, John, Pettersson, Paul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Raskin, Jean-François, editor, and Thiagarajan, P. S., editor

Published
2007
Full Text
View/download PDF

38. Model Checking Timed Automata with Priorities Using DBM Subtraction

Author

David, Alexandre, Håkansson, John, Larsen, Kim G., Pettersson, Paul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Asarin, Eugene, editor, and Bouyer, Patricia, editor

Published
2006
Full Text
View/download PDF

39. Inference of Event-Recording Automata Using Timed Decision Trees : (Extended Abstract)

Author

Grinchtein, Olga, Jonsson, Bengt, Pettersson, Paul, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Baier, Christel, editor, and Hermanns, Holger, editor

Published
2006
Full Text
View/download PDF

41. Specifying and Generating Test Cases Using Observer Automata

Author

Blom, Johan, Hessel, Anders, Jonsson, Bengt, Pettersson, Paul, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Dough, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Grabowski, Jens, editor, and Nielsen, Brian, editor

Published
2005
Full Text
View/download PDF

43. Time-Optimal Test Cases for Real-Time Systems

Author

Hessel, Anders, Larsen, Kim G., Nielsen, Brian, Pettersson, Paul, Skou, Arne, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Larsen, Kim Guldstrand, editor, and Niebert, Peter, editor

Published
2004
Full Text
View/download PDF

46. Schedulability Analysis Using Two Clocks

Author

Fersman, Elena, Mokrushin, Leonid, Pettersson, Paul, Yi, Wang, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Garavel, Hubert, editor, and Hatcliff, John, editor

Published
2003
Full Text
View/download PDF

49. UppaaL Implementation Secrets

Author

Behrmann, Gerd, Bengtsson, Johan, David, Alexandre, Larsen, Kim G., Pettersson, Paul, Yi, Wang, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Damm, Werner, editor, and Olderog, Ernst -Rüdiger, editor

Published
2002
Full Text
View/download PDF

50. UPPAAL - Now, Next, and Future

Author

Amnell, Tobias, Behrmann, Gerd, Bengtsson, Johan, D’Argenio, Pedro R., David, Alexandre, Fehnker, Ansgar, Hune, Thomas, Jeannet, Bertrand, Larsen, Kim G., Möller, M. Oliver, Pettersson, Paul, Weise, Carsten, Yi, Wang, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, Cassez, Franck, editor, Jard, Claude, editor, Rozoy, Brigitte, editor, and Ryan, Mark Dermot, editor

Published
2001
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results