Publications

Sortér efter: Dato | Forfatter | Titel

Larsen, P. G., Daniel Macedo, H. & Fitzgerald, J. (2008). Incremental Development of a Distributed Real-Time Model of a Cardiac Pacing System Using VDM. I FM 2008: Formal Methods: 15th International Symposium on Formal Methods

Larsen, P. G., Fitzgerald, J. & Sahara, S. (red.) (2008). Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. University of Newcastle upon Tyne. Technical Report Series Nr. CS-TR-1099 http://www.cs.ncl.ac.uk/publications/trs/papers/1099.pdf

Amor, R., Schultz, C. P. L., Lobb, B. & Guesgen, H. W. (2008). Qualitative design support for engineering and architecture. Advanced Engineering Informatics, 23(1), 68-80. https://doi.org/10.1016/j.aei.2008.07.003

Larsen, P. G. & Fitzgerald, J. (2008). Recent Industrial Applications of VDM in Japan. Afhandling præsenteret på FACS 2007 Christmas Workshop: Formal Methods in Industry, London, Storbritannien. http://www.bcs.org/server.php?show=conWebDoc.18557

Larsen, P. G., Fitzgerald, J. & Sahara, S. (2008). VDM Tools advances in support for formal modeling in VDM: Advances in Support for Formal Modeling in VDM. ACM SIGPLAN Notices, 43(2), 3-11. http://portal.acm.org/citation.cfm?id=1361214

Larsen, P. G., Fitzgerald, J. & Verhoef, M. (2008). Vienna Development Method. I B. W. Wah (red.), Wiley Encyclopedia of Computer Science and Engineering Wiley.

Schultz, C. P. L., Amor, R., W. Guesgen, H. & Lobb, B. (2007). A DECISION SUPPORT SOFTWARE TOOL FOR REASONING ABOUT THE SUBJECTIVE IMPRESSIONS OF A LIGHTING INSTALLATION. I 24th CIB W78 Conference (s. 507-513) http://itc.scix.net/data/works/att/w78-2007-077-104-Schultz.pdf

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2007). A Framework for Supporting the Application of Qualitative Spatiotemporal Reasoning. I Proceedings of the Fifth New Zealand Computer Science Research Student Conference (NZCSRSC-07 (s. 39-46) https://pdfs.semanticscholar.org/045e/6fb399904ea415f33f647ce2485a2c042a19.pdf?_ga=2.218962143.791996264.1503304845-1579627791.1498545755

Schultz, C. P. L., Amor, R. & W. Guesgen, H. (2007). A Framework for Supporting the Application of Qualitative Spatiotemporal Reasoning. I Proceedings of the Spatial and Temporal Reasoning AAAI Workshop: Technical report WS-07-12 (s. 34-39)

Schultz, C. P. L., W. Guesgen, H. & Amor, R. (2007). A System for Querying With Qualitative Distances in Networks. I Fuzzy Systems Conference, 2007. FUZZ-IEEE 2007. IEEE International (s. 640-645). IEEE. https://doi.org/10.1109/FUZZY.2007.4295441

Larsen, P. G. & Fitzgerald, J. (2007). Balancing Insight and Effort: the Industrial Uptake of Formal Methods: The Industrial Uptake of Formal Methods. I Formal Methods and Hybrid Real-TIme Systems: Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays (s. 237-254). Springer.

Larsen, P. G. & Verhoef, M. (2007). Interpreting Distributed System Architecture using VDM++ : A Case Study. Afhandling præsenteret på 5th Annual Conference on SYstems Engineering Research, Hoboken, USA. http://sse.stevens.edu/fileadmin/cser/2007/proceedings/13.pdf

Larsen, P. G. & Fitzgerald, J. (2007). Triumphs and Challenges for the Industrial Application of Model-Oriented Formal Methods. University of Newcastle upon Tyne. Technical Report Series Nr. CS-TR-999 http://www.cs.ncl.ac.uk/research/pubs/trs/papers/999.pdf

Larsen, P. G., Fitzgerald, J., Tjell, S. & Verhoef, M. (2007). Validation Support for Distributed Real-Time Embedded Systems in VDM++. University of Newcastle upon Tyne. Technical Report Series Nr. CS-TR-1017

Larsen, P. G. (2006). Coalition C2 Interoperability Challenges. Afhandling præsenteret på 11th International Command and Control Research and Technology Symposium, Cambridge, Storbritannien. http://www.dodccrp.org/events/11th_ICCRTS/html/papers/124.pdf

Schultz, C. P. L., W. Guesgen, H. & Amor, R. (2006). Computer-Human Interaction Issues when Integrating Qualitative Spatial Reasoning into Geographic Information Systems. I Proceeding CHINZ '06 Proceedings of the 7th ACM SIGCHI New Zealand chapter's international conference on Computer-human interaction: design centered HCI (s. 43-51) https://doi.org/10.1145/1152760.1152766

Larsen, P. G., Fitzgerald, J. & Riddle, S. (2006). Learning by Doing: Practical Courses in Lightweight Formal Methods using VDM++. I Technical Report: CS-TR-992

Larsen, P. G., Verhoef, M. & Hooman, J. (2006). Modeling and Validating Distributed Embedded Real-Time Systems with VDM++. I J. Misra, T. Nipkow & E. Sekerinski (red.), FM 2006: Formal Methods: 14th International Symposium on Formal Methods. Proceedings (s. 147-162). Springer.

Fitzgerald, J. S. & Larsen, P. G. (2006). Triumphs and Challenges for Model-Oriented Formal Methods: the VDM++ experience. I Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: ISoLA 2006 IEEE. https://doi.org/10.1109/ISoLA.2006.33

Schultz, C. P. L., R. Clephane, T., W. Guesgen, H. & Amor, R. (2006). UTILISATION OF QUALITATIVE SPATIAL REASONING IN GEOGRAPHIC INFORMATION SYSTEMS. I A. Riedl, W. Kainz & G. A. Elmes (red.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (1 udg., s. 27-42). Springer Berlin, Heidelberg. https://doi.org/10.1007/3-540-35589-8

Larsen, P. G., Bjørner, D. & Keijiro, A. (2005). CSK Corporation Launches VDMTools in Japan. FACS FACTS, (2005-3), 16. http://www.bcs.org/upload/pdf/facts200509_1.pdf

Larsen, P. G., Jørgensen, F. D. & Stadtmueller, J. M. (2005). Untangling Technology Debates on Information Sharing and Interoperability. Poster-session præsenteret på Military Communications Conference 2005, Atlantic City, USA.

Larsen, P. G., S. Fitzgerald, J., Mukherjee, P., Plat, N. & Verhoef, M. (2005). Validated Designs for Object-oriented Systems. Springer.

Larsen, P. G. (2001). Ten Years of Historical Development "Bootstrapping" VDMTools. Journal of Universal Computer Science, 7(8), 692. http://www.jucs.org/jucs_7_8/ten_years_of_historical/Larsen_P_G.pdf

Larsen, P. G., Mukherjee, P., Bousquet, F., Delabre, J. & Paynter, S. (2000). Exploring Timing Properties using VDM++ on an Industrial Application. Afhandling præsenteret på The Second VDM Workshop - in conjunction with ZB 2000, York, Storbritannien. http://www.vdmportal.org/twiki/pub/Main/VDMWorkshop2/vicepaper.pdf

Larsen, P. G., Mukherjee, P. & Sunesen, K. (2000). Using VDMTools to Model and Validate the Cash Dispenser Example. Formal Aspects of Computing, 12(4), 216. http://www.springerlink.com/content/pad3gyqh1kpdfr1r/

Larsen, P. G. & R. Smith, P. (1999). Applications of VDM in Banknote Processing. Afhandling præsenteret på VDM Workshop 1: VDM in Practice!, Toulouse, Frankrig. http://www.vdmportal.org/twiki/bin/view/Main/VDMWorkshop1

Larsen, P. G. & Agerholm, S. (1998). A Lightweight Approach to Formal Methods. Afhandling præsenteret på Workshop on Applicability of Formal Methods, Aarhus, Danmark. http://www.springerlink.com/content/1v07r9n63rh214qm/?p=2f9bb7cb75634baab31693164a7b2c3f&pi=2

Fitzgerald, J. & Larsen, P. G. (1998). Modelling Systems: Practical Tools and Techniques in Software Development. (1 udg.) Cambridge: Cambridge University Press.

Larsen, P. G. (1998). On the Industrial Value of Models. Afhandling præsenteret på 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley, Storbritannien.

Larsen, P. G. (1998). The Return of VDM to Austria. Telematik, 1-6. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.54.3949&rep=rep1&type=pdf

Larsen, P. G. & Aichernig, B. K. (1997). A Proof Obligation Generator for VDM-SL. Afhandling præsenteret på FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Østrig. http://www.springerlink.com/content/j42561575733m23l/?p=5678eeb60fb342a3a76f63ad30c63f85&pi=0

Larsen, P. G. & Agerholm, S. (1997). Modeling and Validating SAFER in VDM-SL. Afhandling præsenteret på Fourth NASA Langley Formal Methods Workshop, Langley, USA. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.56.4157&rep=rep1&type=pdf

Larsen, P. G., Devauchelle, L. & Voss, H. (1997). PICGAL - Lessons Learnt from a Practical Use of Formal Specification to Develop a High-Reliability Software. Afhandling præsenteret på Data Systems in Aerospace, Sevilla, Spanien. http://adsabs.harvard.edu/full/1997ESASP.409..159D

Larsen, P. G., Devauchelle, L. & Voss, H. (1997). PICGAL: Practical Use of Formal Specification to Develop a High Reliability Software. Afhandling præsenteret på FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, Graz, Østrig. http://www.springerlink.com/content/177585277426658t/?p=4e271544acc0424b95f53516dc4e75f8&pi=0

Larsen, P. G., Fitzgerald, J. & Brookes, T. (1996). Applying Formal Specification in Industry. I E E E Software, 13(3), 48-56. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=493020

Larsen, P. G. & Fröhlich, B. (1996). Combining VDM-SL specifications with C++ code. Afhandling præsenteret på FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, Storbritannien. http://www.springerlink.com/content/fw01763650j35744/?p=2112841b637f4041869d9bc8cc4204d9&pi=1

Larsen, P. G., Brookes, T. M. & Fitzgerald, J. S. (1996). Formal and Informal Specifications of a Secure System Component: Final results in a comparative study. Afhandling præsenteret på FME'96 Industrial Benefit and Advances in Formal Methods, Oxford, Storbritannien.

Larsen, P. G. & Hansen, B. S. (1996). Semantics for Underdetermined Expressions. Formal Aspects of Computing, 8(1), 47-66. http://www.springerlink.com/content/102822/?Copyright=1996&sortorder=asc&v=condensed&sw=semantics

Larsen, P. G., Fitzgerald, J. S., Brookes, T. M. & Green, M. A. (1995). Formal Modelling and Simulation in the Development of a Security-critical Message Processing System. Afhandling præsenteret på Anglo-French Workshop in Formal Methods, Modelling and Simulation for System Engineering, St-Quentin en Yvelines, Frankrig. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.73.5053&rep=rep1&type=pdf

Larsen, P. G. & Fitzgerald, J. S. (1995). Formal Specification Techniques in the Commercial Development Process. Afhandling præsenteret på ICSE-17 , Seattle, USA. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.51.8716&rep=rep1&type=pdf

Larsen, P. G. (1995). Towards Proof Rules for the Full Standard VDM Specification Language: Ph.D. Thesis. (1995-160 udg.) Danmarks Tekniske Universitet. IT-TR

Larsen, P. G., Brookes, T. M., Green, M. A. & Fitzgerald, J. S. (1994). A Comparison of the Conventional and Formal Design of a Secure System Component. Afhandling præsenteret på Nordic Seminar on Dependable Computing Systems , Lyngby, Danmark.

Larsen, P. G., Plat, N. & Toetenel, H. (1994). A Formal Semantics of Data Flow Diagrams. Formal Aspects of Computing, 6(6), 586-606. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.57.5990&rep=rep1&type=pdf

Larsen, P. G. (1994). Evaluation of Underdetermined Explicit Expressions. Afhandling præsenteret på Second International Symposium of Formal Methods Europe, Barcelona, Spanien. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.65.6765&rep=rep1&type=pdf

Larsen, P. G., Fitzgerald, J. S. & Brookes, T. M. (1994). Formal and Informal Specifications of a Secure System Component : First Results in a Comparative Study. Afhandling præsenteret på Second International Symposium of Formal Methods Europe, Barcelona, Spanien. http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.62.3901&rep=rep1&type=pdf

Larsen, P. G. (1994). Response to “The Formal Specification of Safety Requirements for Storing Explosives”. Formal Aspects of Computing, 6(5), 565.

Larsen, P. G. (1994). Semantics of Under-determined Expressions. Springer. Formal Aspects of Computing Bind ID-TR 1994-151

Elstrøm, R., Larsen, P. G., Elstrøm, B. & Bøgh Lassen, P. (1994). The IFAD VDM-SL toolbox: a practical approach to formal specifications. ACM SIGPLAN Notices, 29(9), 77. http://delivery.acm.org/10.1145/190000/185028/p77-elmstrom.pdf?ip=130.225.0.242&acc=ACTIVE%20SERVICE&CFID=82297251&CFTOKEN=45878467&__acm__=1327920335_55e27fc4e0d36e1171a9a9c31a69a65b

Larsen, P. G. & Woodcock, J. (red.) (1993). FME'93: Industrial-Strength Formal Methods : First International Symposium of Formal Methods Europe Proceedings, 19-23 April 1993, Odense, Denmark. Springer. Lecture Notes in Computer Science Bind 670

Viser resultater 451 til 500 ud af 508

Forrige