Jens Chr. Godskesen

35 papers A* 1B 5C 5Journal 9Unranked 14
YearRankTypeTitle / Venue / Authors
2018 J jnl
Probabilistic bisimulation for realistic schedulers.
Acta Informatica
Lijun Zhang, Pengfei Yang, Lei Song, Holger Hermanns, Christian Eisentraut, David N. Jansen, Jens Chr. Godskesen
2015 B conf
Probabilistic Bisimulation for Realistic Schedulers.
FM
Christian Eisentraut, Jens Chr. Godskesen, Holger Hermanns, Lei Song, Lijun Zhang
2014 B conf
Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes.
VMCAI
Lei Song, Lijun Zhang, Jens Chr. Godskesen
2014 J jnl
Incremental Bisimulation Abstraction Refinement.
ACM Trans. Embed. Comput. Syst.
Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
2013 J jnl
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
Log. Methods Comput. Sci.
Lei Song, Lijun Zhang, Jens Chr. Godskesen
2013 — conf
Incremental Bisimulation Abstraction Refinement.
ACSD
Lei Song, Lijun Zhang, Holger Hermanns, Jens Chr. Godskesen
2012 — conf
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks.
IFIP TCS
Lei Song, Jens Chr. Godskesen
2012 J jnl
Late Weak Bisimulation for Markov Automata
CoRR
Lei Song, Lijun Zhang, Jens Chr. Godskesen
2012 J jnl
The Branching Time Spectrum for Continuous-time MDPs
CoRR
Lei Song, Lijun Zhang, Jens Chr. Godskesen
2011 B conf
Bisimulations Meet PCTL Equivalences for Probabilistic Automata.
CONCUR
Lei Song, Lijun Zhang, Jens Chr. Godskesen
2010 C conf
Observables for Mobile and Wireless Broadcasting Systems.
COORDINATION
Jens Chr. Godskesen
2010 — conf
Probabilistic Mobility Models for Mobile and Wireless Networks.
IFIP TCS
Lei Song, Jens Chr. Godskesen
2009 C conf
Mobility Models and Behavioural Equivalence for Wireless Networks.
COORDINATION
Jens Chr. Godskesen, Sebastian Nanz
2009 — ed.
Proceedings of the First Workshop on Formal Methods for Wireless Systems, FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008
FMWS@CONCUR
Jens Chr. Godskesen, Massimo Merro
2008 — conf
A Calculus for Mobile Ad-hoc Networks with Static Location Binding.
EXPRESS
Jens Chr. Godskesen
2008 — conf
Decidable Fragments of a Higher Order Calculus with Locations.
EXPRESS
Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel
2008 — conf
Preface.
FMWS@CONCUR
Jens Chr. Godskesen, Massimo Merro
2008 — conf
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks.
FOCLASA@ICALP
Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich
2007 C conf
A Calculus for Mobile Ad Hoc Networks.
COORDINATION
Jens Chr. Godskesen
2007 — conf
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.
SecCO@CONCUR
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
2006 J jnl
A CPS encoding of name-passing in Higher-order mobile embedded resources.
Theor. Comput. Sci.
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
2005 — conf
Extending Howe's Method to Early Bisimulations for Typed Mobile Embedded Resources with Local Names.
FSTTCS
Jens Chr. Godskesen, Thomas T. Hildebrandt
2004 — conf
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources.
EXPRESS
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
2004 C conf
Connectivity Testing Through Model-Checking.
FORTE
Jens Chr. Godskesen, Brian Nielsen, Arne Skou
2004 J jnl
Connectivity Testing.
Formal Methods Syst. Des.
Jens Chr. Godskesen
2002 B conf
A Calculus of Mobile Resources.
CONCUR
Jens Chr. Godskesen, Thomas T. Hildebrandt, Vladimiro Sassone
1998 J jnl
Real-time event control in active databases.
J. Syst. Softw.
Lars Bækgaard, Jens Chr. Godskesen
1996 C conf
A Timed Semantics for SDL.
FORTE
Simon Mørk, Jens Chr. Godskesen, Michael R. Hansen, Robin Sharp
1995 — conf
A Formal Framework for Feature Interaction with Emphasis on Testing.
FIW
Jens Chr. Godskesen
1995 B conf
Synthesizing Distinguishing Formulae for Real Time Systems (Extended Abstract).
MFCS
Jens Chr. Godskesen, Kim Guldstrand Larsen
1995 J jnl
Synthesizing Distinguishing Formulae for Real Time Systems.
Nord. J. Comput.
Jens Chr. Godskesen, Kim Guldstrand Larsen
1994 — conf
Automatic verification of real-tim systems using epsilon.
PSTV
Jens Chr. Godskesen, Kim Guldstrand Larsen, Arne Skou
1993 A* conf
Timed Modal Specification - Theory and Tools.
CAV
Karlis Cerans, Jens Chr. Godskesen, Kim Guldstrand Larsen
1992 — conf
Real-Time Calculi and Expansion Theorems.
FSTTCS
Jens Chr. Godskesen, Kim Guldstrand Larsen
1992 — conf
Real-Time Calculi and Expansion Theorems.
NAPAW
Jens Chr. Godskesen, Kim Guldstrand Larsen