|
Dr.-Ing. Nikola Milanovic Humboldt University, Berlin Institute for Informatics Chair of Computer Architecture and Communication |
"It is forbidden to
spit on cats in plague-time." A. Camus, The Plague |
+49 30 2093 3029 (fax)
- Service composition and dependability
- Component based software
- Formal specification and proving software correctness
- Wireless communication
- Mobile ad hoc networks
- Performance of Web Service invocation over UMTS
- Generative communication for modeling service interactions
A. Polze, N. Milanovic, M. Schoebel
Technical Report, HPI, University of Potsdam, 2006.
Service
Engineering Design Patterns
Milanovic N.
Proceedings of the IEEE International Symposium on Service Oriented
System Engineering, Shanghai, China, 2006.
(Best Paper Award)
Contract-based Web Service Composition
Milanovic N.
Doctoral dissertation, Humboldt University Berlin, 2006.
Search Strategies for Automatic Web Service
Composition
Milanovic N., Malek M.
International Journal of Web Services Research, 3(2), 2006.
Architectural Support
for Automatic Service Composition
Milanovic N., Malek M.
Proceedings of the IEEE International Conference on
Services Computing (SCC 2005), Orlando, Florida, USA, 2005.
Contract-based Web Service Composition
Framework with Correctness Guarantees
Milanovic N.
Proceedings of the 2nd International Service Availability
Symposium (ISAS), Berlin, Germany, 2005.
Prediction of Partitioning in Location-aware Mobile Ad Hoc Networks
Milic B., Milanovic N., Malek M.
Proceedings of the Hawaii International Conference
on System Sciences, HICSS-38, (Minitrack on Quality of Service in Mobile and
Wireless Networks), Hawaii, USA, 2005.
CERO: CE Robots Community
Ibach P., Milanovic N., Richling J., Stantchev V., Wiesner A., Malek M.
IEE Proceedings Software, Special Issue on Embedded Systems, 2005.
Current
Solutions for Web Service Composition
Milanovic N., Malek M.
IEEE Internet Computing, November/December 2004.
Routing and Security in Mobile Ad Hoc Networks
Milanovic N., Malek M., Davidson A., Milutinovic V.
IEEE Computer, February 2004.
Lightweight Services for Embedded Systems
Milanovic N., Richling J., Malek M.
Proceedings of the 2nd IEEE Workshop
on Software Technologies for Embedded and Ubiquitous Computing Systems (WSTFEUS
2004), Vienna, Austria, 2004.
Extracting Functional and Non-functional
Contracts From Java Classes and Enterprise Java Beans
Milanovic N., Malek M.
Proceedings of the Workshop on Architecting Dependable Systems (WADS 2004)
at the International Conference on Dependable Systems and Networks (DSN 2004), Florence, Italy, 2004.
Verifying Correctness of Web Services Composition
Milanovic N., Malek M.
Proceedings of the 11th Infofest, Budva, Montenegro 2004.
Composability Concept for Dependable Embedded Systems
Bluetooth Ad-hoc Sensor Network.
Werner M., Richling J., Milanovic N., Stantchev V.
Proceedings of the International Workshop on Dependable Embedded
Systems at the 22nd Symposium on Reliable Distributed Systems (SRDS
2003), Florence, Italy, 2003.
Towards Adaptive and Composable Services
Milanovic N., Stantchev V., Richling J., Malek M.
Proceedings of the International IPSI Conference (IPSI 2003),
Sveti Stefan, Montenegro, 2003.
Milanovic N., Radovanovic A., Cukanovic B., Beric A., Tesovic N.
Proceedings of the IX Telecommunications Forum TELFOR, Belgrade,
Serbia, 2001.
Ad-hoc
Networks and the Wireless Internet
in "Mastering E-Business Infrastructure" (Copyright Kluwer Academics
Press, 2003)
Ad-hoc Networks and
the Mobile Business on the Internet
in "E-Business and E-Challenges" (Copyright IOS Press, 2002)
IEEE CSIDC 2001 Project Report: Ad-Hoc Multihop Sensor Network
Internet Automation
TPC IEEE Wireless Communications and Networking Conference WCNC 2007