×

zbMATH — the first resource for mathematics

International symposium on fundamentals of software engineering. International symposium, FSEN 2007, Tehran, Iran, April 17–19, 2007. Proceedings. (English) Zbl 1138.68001
Lecture Notes in Computer Science 4767. Berlin: Springer (ISBN 978-3-540-75697-2/pbk). xiii, 450 p. (2007).

Show indexed articles as search result.

The articles of this volume will be reviewed individually.
Indexed articles:
Fecher, Harald; Grabe, Immo, Finite abstract models for deterministic transition systems: Fair parallel composition and refinement-preserving logic, 1-16 [Zbl 1141.68505]
Brückner, Ingo; Dräger, Klaus; Finkbeiner, Bernd; Wehrheim, Heike, Slicing abstractions, 17-32 [Zbl 1141.68457]
Torabi Dashti, M.; Krishnan Nair, S.; Jonker, H. L., Nuovo DRM paradiso: Towards a verified fair DRM scheme, 33-48 [Zbl 1141.68492]
Niamanesh, Mahdi; Jalili, Rasool, Formalizing compatibility and substitutability in communication protocols using I/O-constraint automata, 49-64 [Zbl 1141.68345]
Jakubowska, Gizela; Penczek, Wojciech, Is your security protocol on time?, 65-80 [Zbl 1141.68343]
Fokkink, Wan; Kakebeen, Allard; Pang, Jun, Adapting the UPPAAL model of a distributed lift system, 81-97 [Zbl 1141.68506]
Abdulla, Parosh Aziz; Ouaknine, Joël; Quaas, Karin; Worrell, James, Zone-based universality analysis for single-clock timed automata, 98-112 [Zbl 1141.68422]
Razavi, Niloofar; Sirjani, Marjan, Compositional semantics of system-level designs written in SystemC, 113-128 [Zbl 1141.68485]
Aiguier, Marc; Arnould, Agnès; Le Gall, Pascale; Longuet, Delphine, Test selection criteria for quantifier-free first-order specifications, 144-159 [Zbl 1141.68447]
Merayo, Mercedes G.; Núñez, Manuel; Rodriguez, Ismael, Formal testing of systems presenting soft and hard deadlines, 160-174 [Zbl 1141.68477]
Hashemian, Seyyed Vahid; Mavaddat, Farhad, Automatic composition of stateless components: A logical reasoning approach, 175-190 [Zbl 1141.68369]
Chen, Xin; He, Jifeng; Liu, Zhiming; Zhan, Naijun, A model of component-based programming, 191-206 [Zbl 1141.68363]
Bravetti, Mario; Zavattaro, Gianluigi, Contract based multi-party service composition, 207-222 [Zbl 1141.68502]
Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco, Regulating data exchange in service oriented applications, 223-239 [Zbl 1141.68509]
Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio, A behavioural congruence for web services, 240-256 [Zbl 1141.68501]
Montangero, Carlo; Reiff-Marganiec, Stephan; Semini, Laura, Logic-based detection of conflicts in Appel policies, 257-271 [Zbl 1141.68511]
Myreen, Magnus O.; Fox, Anthony C. J.; Gordon, Michael J. C., Hoare logic for ARM machine code, 272-286 [Zbl 1141.68373]
Reniers, Michel A.; van Weerdenburg, Muck, Action abstraction in timed process algebra. The case for an untimed silent step, 287-301 [Zbl 1141.68515]
Acciai, Lucia; Boreale, Michele, Type abstractions of name-passing processes, 302-317 [Zbl 1141.68500]
Merayo, Mercedes G.; Núñez, Manuel; Rodríguez, Ismael, Formal specification of multi-agent systems by using EUSMs, 318-333 [Zbl 1141.68478]
Mousavi, Abdolmajid; Far, Behrouz; Eberlein, Armin; Heidari, Behrouz, Strong safe realizability of message sequence chart specifications, 334-349 [Zbl 1141.68480]
Chen, Zhenyu; Tao, Zhihong; Xu, Baowen; Wang, Lifu, Implication-based approximating bounded model checking, 350-363 [Zbl 1141.68459]
Sangiorgi, Davide; Kobayashi, Naoki; Sumii, Eijiro, Logical bisimulations and functional languages, 364-379 [Zbl 1141.68377]
Yi, Jin; Zhang, Wenhui, Efficient state space reduction for automata by fair simulation, 380-387 [Zbl 1141.68442]
Bianculli, Domenico; Spoletini, Paola; Morzenti, Angelo; Pradella, Matteo; San Pietro, Pierluigi, Model checking temporal metric specifications with Trio2Promela, 388-395 [Zbl 1141.68452]
Pourvatan, Bahman; Rouhy, Nima, An alternative algorithm for constraint automata product, 412-422 [Zbl 1141.68439]
Sharafi, Mehran; Shams Aliee, Fereidoon; Movaghar, Ali, A review on specifying software architectures using extended automata-based models, 423-431 [Zbl 1141.68379]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
68Qxx Theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
Software:
Uppaal
PDF BibTeX XML Cite
Full Text: DOI