io-port.net

io-port 06018416 de Lara, Juan (ed.); Zisman, Andrea (ed.)

Fundamental approaches to software engineering. 15th international conference, FASE 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. (English)

Lecture Notes in Computer Science 7212. Berlin: Springer (ISBN 978-3-642-28871-5/pbk). xvi, 518~p. EUR~74.90 (2012).

1

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05987250 Aschoff, Rafael; Zisman, Andrea

QoS-driven proactive adaptation of service composition. (English)

Kappel, Gerti (ed.) et al., Service-oriented computing. 9th international conference, ICSOC 2011, Paphos, Cyprus, December 5‒8, 2011 Proceedings. Berlin: Springer (ISBN 978-3-642-25534-2/pbk). Lecture Notes in Computer Science 7084, 421-435 (2011).

2

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05952732 Abramowicz, Witold (ed.); Llorente, Ignacio M. (ed.); Surridge, Mike (ed.); Zisman, Andrea (ed.); Vayssière, Julien (ed.)

Towards a service-based internet. 4th European conference, ServiceWave 2011, Poznan, Poland, October 26‒28, 2011. Proceedings. (English)

Lecture Notes in Computer Science 6994. Berlin: Springer (ISBN 978-3-642-24754-5/pbk). xvii, 338~p. (2011).

3

PDF XML AMS-TeX TEXT BIBTeX

io-port 50061637 Mahbub, Khaled; Spanoudakis, George; Zisman, Andrea

A monitoring approach for runtime service discovery (English)

Autom. Softw. Eng. 18, No. 2, 117-161 (2011).

4

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70308918 Hirzalla, Mamoun; Zisman, Andrea; Cleland-Huang, Jane

Using traceability to support SOA impact analysis (English)

SERVICES, 145-152 (2011).

5

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 70380516 Aschoff, Rafael; Zisman, Andrea

QoS-driven proactive adaptation of service composition (English)

ICSOC, 421-435 (2011).

6

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05824198 Mahbub, Khaled; Zisman, Andrea

Replacement policies for service-based systems. (English)

Dan, Asit (ed.) et al., Service-oriented computing. ICSOC/ServiceWave 2009 workshops. International workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23‒27, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-16131-5/pbk). Lecture Notes in Computer Science 6275, 345-357 (2010).

7

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05807834 Patel, Reema; Borisaniya, Bhavesh; Patel, Avi; Patel, Dhiren; Rajarajan, Muttukrishnan; Zisman, A.

Comparative analysis of formal model checking tools for security protocol verification. (English)

Meghanathan, Natarajan (ed.) et al., Recent trends in network security and applications. Third international conference, CNSA 2010, Chennai, India, July 23‒25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14477-6/pbk; 978-3-642-14478-3/ebook). Communications in Computer and Information Science 89, 152-163 (2010).

8

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 05802974 Siveroni, Igor; Zisman, Andrea; Spanoudakis, George

A UML-based static verification framework for security. (English)

Requir. Eng. 15, No. 1, 95-118 (2010).

9

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 50017437 Spanoudakis, George; Zisman, Andrea

Discovering services during service-based system design using UML (English)

IEEE Trans. Software Eng. 36, No. 3, 371-389 (2010).

10

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 50344350 Lewis, Grace A.; Smith, Dennis B.; Metzger, Andreas; Zisman, Andrea; Pistore, Marco

Report of the 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010) (English)

ACM SIGSOFT Software Engineering Notes 35, No. 5, 30-33 (2010).

11

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70890024 Patel, Reema; Borisaniya, Bhavesh; Patel, Avi; Patel, Dhiren; Rajarajan, Muttukrishnan; Zisman, Andrea

Comparative analysis of formal model checking tools for security protocol verification (English)

CNSA, 152-163 (2010).

12

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70926909 Lewis, Grace A.; Metzger, Andreas; Pistore, Marco; Smith, Dennis B.; Zisman, Andrea

2010 ICSE 2nd international workshop on principles of engineering service-oriented systems (PESOS 2010) (English)

ICSE (2), 429-430 (2010).

13

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70971666 Contreras, Ricardo; Zisman, Andrea

A pattern-based approach for monitor adaptation (English)

SwSTE, 30-37 (2010).

14

PDF XML AMS-TeX TEXT BIBTeX URL

io-port 05672222 Jirapanthong, Waraporn; Zisman, Andrea

XTraQue: traceability for product line systems. (English)

Softw. Syst. Model. 8, No. 1, 117-144 (2009).

15

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70045507 Zisman, Andrea; Spanoudakis, George; Dooley, James

A query language for service discovery (English)

ICSOFT (1), 55-65 (2009).

16

PDF XML AMS-TeX TEXT BIBTeX

io-port 70380188 Mahbub, Khaled; Zisman, Andrea

Replacement policies for service-based systems (English)

ICSOC/ServiceWave Workshops, 345-357 (2009).

17

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70201953 Zisman, Andrea; Spanoudakis, George; Dooley, James

A framework for dynamic service discovery (English)

ASE, 158-167 (2008).

18

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70326312 Filho, Gilberto A. Cysneiros; Zisman, Andrea

Traceability and completeness checking for agent-oriented systems (English)

SAC, 71-77 (2008).

19

PDF XML AMS-TeX TEXT BIBTeX DOI

io-port 70423584 Zisman, Andrea; Dooley, James; Spanoudakis, George

Proactive runtime service discovery (English)

IEEE SCC (1), 237-245 (2008).

20

PDF XML AMS-TeX TEXT BIBTeX URL